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).
|
Aliases
| Name | Type | Description |
TypeEnum
|
UnionFieldEnum!U
|
|
TypeOf
|
ReplaceType!(This,U,FT)
|
Maps a kind enumeration value to the corresponding field type.
|
visit
|
taggedalgebraic.visit.visit
|
|
