Substituters
dotty.tools.dotc.core.Substituters$
object Substituters
Substitution operations on types. See the corresponding subst
and
substThis
methods on class Type for an explanation.
Attributes
- Graph
- Supertypes
- Self type
- Substituters.type
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
final class SubstApproxMap(from: List[Symbol], to: List[Type])(using x$3: Context) extends ApproximatingTypeMap
An approximating substitution that can handle wildcards in the to
list
An approximating substitution that can handle wildcards in the to
list
Attributes
- Graph
- Supertypes
final class SubstBindingMap(from: BindingType, to: BindingType)(using x$3: Context) extends DeepTypeMap with BiTypeMap
Attributes
- Graph
- Supertypes
- trait BiTypeMapclass DeepTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
final class SubstParamMap(from: ParamRef, to: Type)(using x$3: Context) extends DeepTypeMap with IdempotentCaptRefMap
Attributes
- Graph
- Supertypes
- trait IdempotentCaptRefMapclass DeepTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass Any
final class SubstParamsMap(from: BindingType, to: List[Type])(using x$3: Context) extends DeepTypeMap with IdempotentCaptRefMap
Attributes
- Graph
- Supertypes
- trait IdempotentCaptRefMapclass DeepTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
final class SubstSymMap(from: List[Symbol], to: List[Symbol])(using x$3: Context) extends DeepTypeMap with BiTypeMap
Attributes
- Graph
- Supertypes
- trait BiTypeMapclass DeepTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
Value members
Concrete methods
final def subst(tp: Type, from: BindingType, to: BindingType, theMap: SubstBindingMap | Null)(using Context): Type
final def substParam(tp: Type, from: ParamRef, to: Type, theMap: SubstParamMap | Null)(using Context): Type
final def substParams(tp: Type, from: BindingType, to: List[Type], theMap: SubstParamsMap | Null)(using Context): Type
final def substRecThis(tp: Type, from: Type, to: Type, theMap: SubstRecThisMap | Null)(using Context): Type
final def substThis(tp: Type, from: ClassSymbol, to: Type, theMap: SubstThisMap | Null)(using Context): Type