Substituters
object Substituters
Substitution operations on types. See the corresponding subst
and
substThis
methods on class Type for an explanation.
Type members
Classlikes
final class Subst2Map(from1: Symbol, to1: Type, from2: Symbol, to2: Type)(using `x$5`: Context) extends DeepTypeMap
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
final class SubstBindingMap(from: BindingType, to: BindingType)(using `x$3`: Context) extends DeepTypeMap
final class SubstParamsMap(from: BindingType, to: List[Type])(using `x$3`: Context) extends DeepTypeMap
final class SubstSymMap(from: List[Symbol], to: List[Symbol])(using `x$3`: Context) extends DeepTypeMap
Value members
Concrete methods
final def subst(tp: Type, from: BindingType, to: BindingType, theMap: SubstBindingMap)(using Context): Type
final def subst(tp: Type, from: List[Symbol], to: List[Type], theMap: SubstMap)(using Context): Type
final def subst2(tp: Type, from1: Symbol, to1: Type, from2: Symbol, to2: Type, theMap: Subst2Map)(using Context): Type
final def substParam(tp: Type, from: ParamRef, to: Type, theMap: SubstParamMap)(using Context): Type
final def substParams(tp: Type, from: BindingType, to: List[Type], theMap: SubstParamsMap)(using Context): Type
final def substRecThis(tp: Type, from: Type, to: Type, theMap: SubstRecThisMap)(using Context): Type
final def substSym(tp: Type, from: List[Symbol], to: List[Symbol], theMap: SubstSymMap)(using Context): Type
final def substThis(tp: Type, from: ClassSymbol, to: Type, theMap: SubstThisMap)(using Context): Type