invariant_future_union library

Extension Types

Union2
Emulate the union of the types X1 and X2.
Union3
Emulate the union of the types X1, X2, and X3.
Union4
Emulate the union of the types X1 .. X4.
Union5
Emulate the union of the types X1 .. X5.
Union6
Emulate the union of the types X1 .. X6.
Union7
Emulate the union of the types X1 .. X7.
Union8
Emulate the union of the types X1 .. X8.
Union9
Emulate the union of the types X1 .. X9.

Extensions

IFutureExtension on Future<T>
UnionInjectExtension on X
Extension on any type that allows it to be coerced to a union type.

Typedefs

IFuture<T> = _IFuture<T, _Inv<T>>

Exceptions / Errors

InvalidUnionTypeException
Thrown when an invalid union type value is detected.