Dotty Documentation

0.2.0-bin-SNAPSHOT

trait Substituters

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

[-] Constructors

[-] Members

[+] final class SafeSubstMap

A map for "cycle safe substitutions" which do not force the denotation of a TypeRef unless the name matches up with one of the substituted symbols.

[+] final class Subst1Map
[+] final class Subst2Map
[+] final class SubstBindingMap
[+] final class SubstDealiasMap
[+] final class SubstMap
[+] final class SubstParamMap
[+] final class SubstParamsMap
[+] final class SubstRecThisMap
[+] final class SubstSymMap
[+] final class SubstThisMap
[+] private def existsStatic ( syms: List [ Symbol ] ) : Boolean
[+] final def subst ( tp: Type , from: BindingType , to: BindingType , theMap: SubstBindingMap ) : Type
[+] final def subst ( tp: Type , from: List [ Symbol ] , to: List [ Type ] , theMap: SubstMap ) : Type
[+] final def subst1 ( tp: Type , from: Symbol , to: Type , theMap: Subst1Map ) : Type
[+] final def subst2 ( tp: Type , from1: Symbol , to1: Type , from2: Symbol , to2: Type , theMap: Subst2Map ) : Type
[+] final def substDealias ( tp: Type , from: List [ Symbol ] , to: List [ Type ] , theMap: SubstDealiasMap ) : Type
[+] final def substParam ( tp: Type , from: ParamRef , to: Type , theMap: SubstParamMap ) : Type
[+] final def substParams ( tp: Type , from: BindingType , to: List [ Type ] , theMap: SubstParamsMap ) : Type
[+] final def substRecThis ( tp: Type , from: Type , to: Type , theMap: SubstRecThisMap ) : Type
[+] final def substSym ( tp: Type , from: List [ Symbol ] , to: List [ Symbol ] , theMap: SubstSymMap ) : Type
[+] final def substThis ( tp: Type , from: ClassSymbol , to: Type , theMap: SubstThisMap ) : Type