The OpenD Programming Language

TypeOf

taggedalgebraic taggedunion

Maps a kind enumeration value to the corresponding field type.

kind must be a value of the TaggedAlgebraic!T.Kind enumeration.

template TypeOf (
alias kind
) if (
is(typeof(kind) == enum)
) {
alias FieldTypeTuple = Fields via import std.traits : FieldTypeTuple, TemplateArgsOf;;
alias TemplateArgsOf(T : Base!Args, alias Base, Args...) = Args via import std.traits : FieldTypeTuple, TemplateArgsOf;;
alias ReplaceType(From, To, T...) = ReplaceTypeUnless!(false_, From, To, T) via import std.typecons : ReplaceType;;
}

Examples

static struct S {
	int a;
	string b;
	string c;
}
alias TU = TaggedUnion!S;

static assert(is(TypeOf!(TU.Kind.a) == int));
static assert(is(TypeOf!(TU.Kind.b) == string));
static assert(is(TypeOf!(TU.Kind.c) == string));

Meta

Source

See Implementation

taggedalgebraic taggedunion structstemplates
Page generated by adrdox