dotty.tools.dotc.core.Types

TypeMap

Related Doc: package Types

abstract class TypeMap extends (Type) ⇒ Type

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

Instance Constructors

  1. new TypeMap()(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

  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
  10. def derivedAndOrType(tp: AndOrType, tp1: Type, tp2: Type): Type

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Attributes
    protected
  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): Type

    Can be overridden.

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

    Attributes
    protected
  32. def mapOver(tree: ast.tpd.Tree): ast.tpd.Tree

  33. def mapOver(annot: Annotation): Annotation

  34. def mapOver(scope: Scope): Scope

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

  36. def mapOver(tp: Type): Type

    Map this function over given type

  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
  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
  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 (Type) ⇒ Type

Inherited from AnyRef

Inherited from Any

Ungrouped