scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.core/Substituters

Substituters

dotty.tools.dotc.core.Substituters$
object Substituters

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final class Subst1Map(from: Symbol, to: Type)(using x$3: Context) extends DeepTypeMap

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class Subst2Map(from1: Symbol, to1: Type, from2: Symbol, to2: Type)(using x$5: Context) extends DeepTypeMap

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
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

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class SubstBindingMap(from: BindingType, to: BindingType)(using x$3: Context) extends DeepTypeMap with BiTypeMap

Attributes

Graph
Supertypes
trait BiTypeMap
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class SubstMap(from: List[Symbol], to: List[Type])(using x$3: Context) extends DeepTypeMap

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class SubstParamMap(from: ParamRef, to: Type)(using x$3: Context) extends DeepTypeMap with IdempotentCaptRefMap

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class SubstParamsMap(from: BindingType, to: List[Type])(using x$3: Context) extends DeepTypeMap with IdempotentCaptRefMap

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class SubstRecThisMap(from: Type, to: Type)(using x$3: Context) extends DeepTypeMap

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class SubstSymMap(from: List[Symbol], to: List[Symbol])(using x$3: Context) extends DeepTypeMap with BiTypeMap

Attributes

Graph
Supertypes
trait BiTypeMap
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
final class SubstThisMap(from: ClassSymbol, to: Type)(using x$3: Context) extends DeepTypeMap

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any

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
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL