TypeOf

Maps a kind enumeration value to the corresponding field type.

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

static if(__VERSION__ >= 2072)

template TypeOf (

alias kind

) if (

isInstanceOf!(TypeEnum, typeof(kind))

) {

import std.traits : FieldTypeTuple, TemplateArgsOf;;

alias U = TemplateArgsOf!(typeof(kind));

alias TypeOf = FieldTypeTuple!U[kind];

}

Members

Aliases

TypeOf alias TypeOf = FieldTypeTuple!U[kind]: Undocumented in source.
U alias U = TemplateArgsOf!(typeof(kind)): Undocumented in source.

Examples

static struct S {
	int a;
	string b;
	string c;
}
alias TA = TaggedAlgebraic!S;

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

TypeOf

Members

Aliases

Examples

Meta

Source