Substituters
object Substituters
Substitution operations on types. See the corresponding subst
and
substThis
methods on class Type for an explanation.
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