scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/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

Type members

Classlikes

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

Attributes

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

Attributes

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

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Supertypes
class DeepTypeMap
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
Show all

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