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 | Null)(using Context): Type
final def subst(tp: Type, from: List[Symbol], to: List[Type], theMap: SubstMap | Null)(using Context): Type
final def subst1(tp: Type, from: Symbol, to: Type, theMap: Subst1Map | Null)(using Context): Type
final def subst2(tp: Type, from1: Symbol, to1: Type, from2: Symbol, to2: Type, theMap: Subst2Map | 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 substSym(tp: Type, from: List[Symbol], to: List[Symbol], theMap: SubstSymMap | Null)(using Context): Type
final def substThis(tp: Type, from: ClassSymbol, to: Type, theMap: SubstThisMap | Null)(using Context): Type