Module taggedalgebraic.taggedunion

Generic tagged union and algebraic data type implementations.

Structs

Name	Description
TaggedUnion	Implements a generic tagged union type.
This	Special type used as a placeholder for U within the definition of U to enable self-referential types.
Void	Convenience type that can be used for union fields that have no value (void is not allowed).

Templates

Name	Description
tryVisit	The same as visit, except that failure to handle types is checked at runtime.
visit	Dispatches the value contained on a TaggedUnion to a set of visitors.

Manifest constants

Name	Type	Description
isUnitType

Aliases

Name	Type	Description
TypeEnum	UnionFieldEnum!U
TypeOf	ReplaceType!(This,U,FT)	Maps a kind enumeration value to the corresponding field type.