dotty.tools.dotc.core

Substituters

Related Doc: package core

trait Substituters extends AnyRef

Substitution operations on types. See the corresponding subst and substThis methods on class Type for an explanation.

Self Type
Context
Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Substituters
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. final class SafeSubstMap extends TypeMap

    A map for "cycle safe substitutions" which do not force the denotation of a TypeRef unless the name matches up with one of the substituted symbols.

  2. final class Subst1Map extends DeepTypeMap

  3. final class Subst2Map extends DeepTypeMap

  4. final class SubstBindingMap extends DeepTypeMap

  5. final class SubstDealiasMap extends DeepTypeMap

  6. final class SubstMap extends DeepTypeMap

  7. final class SubstParamMap extends DeepTypeMap

  8. final class SubstParamsMap extends DeepTypeMap

  9. final class SubstRecThisMap extends DeepTypeMap

  10. final class SubstSymMap extends DeepTypeMap

  11. final class SubstThisMap extends DeepTypeMap

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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  5. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean

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

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

    Definition Classes
    AnyRef
  15. final def subst(tp: Type, from: List[Symbol], to: List[Type], theMap: Contexts.Context.SubstMap): Type

  16. final def subst(tp: Type, from: BindingType, to: BindingType, theMap: Contexts.Context.SubstBindingMap): Type

  17. final def subst1(tp: Type, from: Symbol, to: Type, theMap: Contexts.Context.Subst1Map): Type

  18. final def subst2(tp: Type, from1: Symbol, to1: Type, from2: Symbol, to2: Type, theMap: Contexts.Context.Subst2Map): Type

  19. final def substDealias(tp: Type, from: List[Symbol], to: List[Type], theMap: Contexts.Context.SubstDealiasMap): Type

  20. final def substParam(tp: Type, from: ParamType, to: Type, theMap: Contexts.Context.SubstParamMap): Type

  21. final def substParams(tp: Type, from: BindingType, to: List[Type], theMap: Contexts.Context.SubstParamsMap): Type

  22. final def substRecThis(tp: Type, from: Type, to: Type, theMap: Contexts.Context.SubstRecThisMap): Type

  23. final def substSym(tp: Type, from: List[Symbol], to: List[Symbol], theMap: Contexts.Context.SubstSymMap): Type

  24. final def substThis(tp: Type, from: ClassSymbol, to: Type, theMap: Contexts.Context.SubstThisMap): Type

  25. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  26. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped