structured_data.data
Example types showing simple usage of adt.Sum.
-
class
structured_data.data.Either[source]
An ADT that wraps one type, or the other.
-
class
Left
Auto-generated subclass Left of ADT Either.
Takes 1 argument.
-
class
Right
Auto-generated subclass Right of ADT Either.
Takes 1 argument.
-
class
structured_data.data.EitherMixin[source]
Mixin that defines Either semantics.
-
class
structured_data.data.Maybe[source]
An ADT that wraps a value, or nothing.
-
class
Just
Auto-generated subclass Just of ADT Maybe.
Takes 1 argument.
-
class
Nothing
Auto-generated subclass Nothing of ADT Maybe.
Takes 0 arguments.
-
class
structured_data.data.MaybeMixin[source]
Mixin that defines Maybe semantics.
