The OpenD Programming Language

NoneVariant

Gets subtype of algebraic with types for which isErr is true.

template NoneVariant (
T : Algebraic!Types
Types...
) {}

Examples

@reflectErr static struct ErrorS { }
alias V = Variant!(ErrorS, Err!string, long, double, This[]);
static assert(is(NoneVariant!V == Variant!(ErrorS, Err!string)));

Meta