scala.tools.nsc.typechecker.Infer

instantiate

object instantiate extends TypeMap

Map every TypeVar to its constraint.inst field. throw a NoInstance exception if a NoType or WildcardType is encountered.

Source
Infer.scala
Linear Supertypes
TypeMap, (Type) ⇒ Type, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. instantiate
  2. TypeMap
  3. Function1
  4. AnyRef
  5. Any
Visibility
  1. Public
  2. All

Type Members

  1. class TypeMapTransformer extends Transformer

    This transformer leaves the tree alone except to remap its types.

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  6. def allEq [T <: AnyRef] (l1: List[T], l2: List[T]): Boolean

    Check whether two lists have elements that are eq-equal

    Check whether two lists have elements that are eq-equal

    Definition Classes
    TypeMap
  7. def andThen [A] (g: (Type) ⇒ A): (Type) ⇒ A

    Definition Classes
    Function1
  8. def apply (tp: Type): Type

    Definition Classes
    instantiate → Function1
  9. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  10. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  11. def coevolveSym (pre: Type, pre1: Type, sym: Symbol): Symbol

    Attributes
    protected
    Definition Classes
    TypeMap
  12. def compose [A] (g: (A) ⇒ Type): (A) ⇒ Type

    Definition Classes
    Function1
  13. val dropNonConstraintAnnotations : Boolean

    Should this map drop annotations that are not type-constraint annotations?

    Should this map drop annotations that are not type-constraint annotations?

    Definition Classes
    TypeMap
  14. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  15. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  16. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  17. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  18. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  19. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  20. def mapOver (tree: Tree, giveup: () ⇒ Nothing): Tree

    Map a tree that is part of an annotation argument.

    Map a tree that is part of an annotation argument. If the tree cannot be mapped, then invoke giveup(). The default is to transform the tree with TypeMapTransformer.

    Definition Classes
    TypeMap
  21. def mapOver (tree: Tree): Option[Tree]

    Definition Classes
    TypeMap
  22. def mapOver (annot: AnnotationInfo): Option[AnnotationInfo]

    Definition Classes
    TypeMap
  23. def mapOver (origSyms: List[Symbol]): List[Symbol]

    Map this function over given list of symbols

    Map this function over given list of symbols

    Definition Classes
    TypeMap
  24. def mapOver (scope: Scope): Scope

    Map this function over given scope

    Map this function over given scope

    Definition Classes
    TypeMap
  25. def mapOver (tp: Type): Type

    Map this function over given type

    Map this function over given type

    Definition Classes
    TypeMap
  26. def mapOverAnnotArgs (args: List[Tree]): List[Tree]

    Map over a set of annotation arguments.

    Map over a set of annotation arguments. If any of the arguments cannot be mapped, then return Nil.

    Definition Classes
    TypeMap
  27. def mapOverAnnotations (annots: List[AnnotationInfo]): List[AnnotationInfo]

    Definition Classes
    TypeMap
  28. def mapOverArgs (args: List[Type], tparams: List[Symbol]): List[Type]

    Definition Classes
    TypeMap
  29. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  30. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  31. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  32. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  33. def toString (): String

    Definition Classes
    Function1 → AnyRef → Any
  34. var variance : Int

    The variance relative to start.

    The variance relative to start. If you want variances to be significant, set variance = 1 at the top of the typemap.

    Definition Classes
    TypeMap
  35. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  36. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  37. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from TypeMap

Inherited from (Type) ⇒ Type

Inherited from AnyRef

Inherited from Any