dotty.tools.dotc.core.Substituters

SubstParamsMap

Related Doc: package Substituters

final class SubstParamsMap extends DeepTypeMap

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SubstParamsMap
  2. DeepTypeMap
  3. TypeMap
  4. Function1
  5. AnyRef
  6. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SubstParamsMap(from: BindingType, to: List[Type])

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. def apply(tp: Type): Type

    Definition Classes
    SubstParamsMapTypeMap → Function1
  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. def clone(): AnyRef

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Can be overridden.

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

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

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

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

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

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

    Map this function over given type

    Map this function over given type

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

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

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

    Definition Classes
    AnyRef
  41. def stopAtStatic: Boolean

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

    Definition Classes
    AnyRef
  43. def toString(): String

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

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from DeepTypeMap

Inherited from TypeMap

Inherited from (Type) ⇒ Type

Inherited from AnyRef

Inherited from Any

Ungrouped