The OpenD Programming Language

SomeVariant

mir algebraic

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

template SomeVariant (
T : Algebraic!Types
Types...
) {
template Filter(alias pred, args...) via import std.meta : Filter, templateNot;;
template templateNot(alias pred) via import std.meta : Filter, templateNot;;
}

Examples

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

Meta

Source

See Implementation

mir algebraic aliasesenumsfunctionsstructstemplatesvariables
Page generated by adrdox