sumtype

SumType is a generic discriminated union implementation that uses design-by-introspection to generate safe and efficient code. Its features include:

Pattern matching.
Support for self-referential types.
Full attribute correctness (pure, @safe, @nogc, and nothrow are inferred whenever possible).
A type-safe and memory-safe API compatible with DIP 1000 (scope).
No dependency on runtime type information (TypeInfo).
Compatibility with BetterC.

Members

Classes

MatchException class MatchException: Thrown by tryMatch when an unhandled type is encountered.

Structs

SumType struct SumType(Types...): A tagged union that can hold a single value from any of a specified set of types.
This struct This: Placeholder used to refer to the enclosing SumType.

Templates

canMatch template canMatch(alias handler, Ts...): True if handler is a potential match for Ts, otherwise false.
match template match(handlers...): Calls a type-appropriate function with the value held in a SumType.
tryMatch template tryMatch(handlers...): Attempts to call a type-appropriate function with the value held in a SumType, and throws on failure.

Variables

isSumType enum bool isSumType(T);: True if T is a SumType or implicitly converts to one, otherwise false.

Meta

Source

See Source File

License

Boost License 1.0

Authors

Paul Backus

modules