The Choice
type.
Classes
-
-
A tagged union, or sum type.
Operators
-
-
Compares two
Choice
s for ordering. -
Compares two
Choice
s for equality if the types inside satisfyEq
.
Concepts
-
A helper concept that reports if the value in a
Choice
for the givenTag
is null. When true, the accessor and setter methods are not available.