dotty.tools.dotc.core.Types

DeepTypeMap

Related Doc: package Types

abstract class DeepTypeMap extends TypeMap

A type map that maps also parents and self type of a ClassInfo

Linear Supertypes
TypeMap, (Type) ⇒ Type, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. DeepTypeMap
  2. TypeMap
  3. Function1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DeepTypeMap()(implicit ctx: Context)

Abstract Value Members

  1. abstract def apply(tp: Type): Type

    Definition Classes
    TypeMap → Function1

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

    Definition Classes
    AnyRef → Any
  4. def andThen(f: (Type) ⇒ Type): TypeMap

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

    Definition Classes
    Function1
    Annotations
    @unspecialized()
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def compose[A](g: (A) ⇒ Type): (A) ⇒ Type

    Definition Classes
    Function1
    Annotations
    @unspecialized()
  9. implicit val ctx: Context

    Attributes
    protected
    Definition Classes
    TypeMap
  10. def derivedAndOrType(tp: AndOrType, tp1: Type, tp2: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  11. def derivedAnnotatedType(tp: AnnotatedType, underlying: Type, annot: Annotation): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  12. def derivedAppliedType(tp: HKApply, tycon: Type, args: List[Type]): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  13. def derivedClassInfo(tp: ClassInfo, pre: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  14. def derivedExprType(tp: ExprType, restpe: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  15. def derivedJavaArrayType(tp: JavaArrayType, elemtp: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  16. def derivedMethodType(tp: MethodType, formals: List[Type], restpe: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  17. def derivedPolyType(tp: PolyType, pbounds: List[TypeBounds], restpe: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  18. def derivedRecType(tp: RecType, parent: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  19. def derivedRefinedType(tp: RefinedType, parent: Type, info: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  20. def derivedSelect(tp: NamedType, pre: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  21. def derivedSuperType(tp: SuperType, thistp: Type, supertp: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  22. def derivedTypeAlias(tp: TypeAlias, alias: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  23. def derivedTypeBounds(tp: TypeBounds, lo: Type, hi: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  24. def derivedWildcardType(tp: WildcardType, bounds: Type): Type

    Attributes
    protected
    Definition Classes
    TypeMap
  25. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  26. def equals(arg0: Any): Boolean

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

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

    Definition Classes
    AnyRef → Any
  29. def hashCode(): Int

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

    Definition Classes
    Any
  31. def mapClassInfo(tp: ClassInfo): ClassInfo

    Can be overridden.

    Can be overridden. By default, only the prefix is mapped.

    Definition Classes
    DeepTypeMapTypeMap
  32. def mapOver(tree: ast.tpd.Tree): ast.tpd.Tree

    Definition Classes
    TypeMap
  33. def mapOver(annot: Annotation): Annotation

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

    Definition Classes
    TypeMap
  35. def mapOver(syms: List[Symbol]): List[Symbol]

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

    Map this function over given type

    Map this function over given type

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

    Definition Classes
    AnyRef
  38. final def notify(): Unit

    Definition Classes
    AnyRef
  39. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  40. def stopAtStatic: Boolean

    Attributes
    protected
    Definition Classes
    TypeMap
  41. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  42. def toString(): String

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

    Attributes
    protected
    Definition Classes
    TypeMap
  44. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from TypeMap

Inherited from (Type) ⇒ Type

Inherited from AnyRef

Inherited from Any

Ungrouped