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.

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