Substituters

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

class Object
trait Matchable
class Any

Type members

Classlikes

final class Subst1Map(from: Symbol, to: Type)(using x$3: Context) extends DeepTypeMap
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 SubstMap(from: List[Symbol], to: List[Type])(using x$3: Context) extends DeepTypeMap
final class SubstParamMap(from: ParamRef, to: Type)(using x$3: Context) extends DeepTypeMap
final class SubstParamsMap(from: BindingType, to: List[Type])(using x$3: Context) extends DeepTypeMap
final class SubstRecThisMap(from: Type, to: Type)(using x$3: Context) extends DeepTypeMap
final class SubstSymMap(from: List[Symbol], to: List[Symbol])(using x$3: Context) extends DeepTypeMap
final class SubstThisMap(from: ClassSymbol, to: Type)(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 subst1(tp: Type, from: Symbol, to: Type, theMap: Subst1Map)(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