Thrown by tryMatch when an unhandled type is encountered.
This placeholder, for use in self-referential types.
A tagged union that can hold a single value from any of a specified set of types.
True if handler is a potential match for Ts, otherwise false.
Calls a type-appropriate function with the value held in a SumType.
Attempts to call a type-appropriate function with the value held in a SumType, and throws on failure.
True if T is a SumType or implicitly converts to one, otherwise false.
SumType is a generic discriminated union implementation that uses design-by-introspection to generate safe and efficient code. Its features include: