Substitute

Substitute σx into σ, replacing all type variables with name x. This function is primarily used by Π's specialize function. Structs and Classes can implement SubstituteImpl(σx, x) to allow specialization.

template Substitute (

σx

string x

) {

alias Substitute = σ;

alias Substitute = SubstituteNative!(σx, x, σ);

alias Substitute = Substitute!(σx, x, PointerTarget!σ)*;

alias Substitute = σ.SubstituteImpl!(σx, x);

alias Substitute = σ;

}

Members

Aliases

Substitute alias Substitute = σ: Undocumented in source.
Substitute alias Substitute = SubstituteNative!(σx, x, σ): Undocumented in source.
Substitute alias Substitute = Substitute!(σx, x, PointerTarget!σ)*: Undocumented in source.
Substitute alias Substitute = σ.SubstituteImpl!(σx, x): Undocumented in source.
Substitute alias Substitute = σ: Undocumented in source.

Examples

static assert(is(Substitute!(Object, "x", α!("x")*) == Object*));
static assert(is(Substitute!(Object, "x",
        α!("x") function(α!("x"))) == Object function(Object)));

Substitute

Members

Aliases

Examples

Meta

Source