Packages

c

scala.reflect.api.Types

ExistentialTypeExtractor

abstract class ExistentialTypeExtractor extends AnyRef

An extractor class to create and pattern match with syntax ExistentialType(quantified, underlying). Here, quantified are the type variables bound by the existential type and underlying is the type that's existentially quantified.

Source
Types.scala
Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ExistentialTypeExtractor
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ExistentialTypeExtractor()

Abstract Value Members

  1. abstract def unapply(tpe: Universe.ExistentialType): Option[(List[Universe.Symbol], Universe.Type)]

Deprecated Value Members

  1. def apply(quantified: List[Universe.Symbol], underlying: Universe.Type)(implicit token: Universe.CompatToken): Universe.ExistentialType

    Annotations
    @deprecated
    Deprecated

    (Since version 2.11.0) use internal.existentialType instead

    See also

    InternalApi.existentialType