scala3-compiler-bootstrapped/dotty.tools.dotc.core/Substituters

Substituters

object 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