Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
These
The coproduct of a coproduct (
) and its product ( ), represented as a . |
Try
A
Monad of the evaluation outcome of an expression that might throw. |
Unit
The empty return type.
|
Class and Description |
---|
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Unit
The empty return type.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Unit
The empty return type.
|
Class and Description |
---|
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Unit
The empty return type.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
Unit
The empty return type.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
Unit
The empty return type.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
Class and Description |
---|
Either
The binary tagged union, implemented as a specialized
CoProduct2 . |
Maybe
The optional type, representing a potentially absent value.
|
Unit
The empty return type.
|
Class and Description |
---|
Maybe
The optional type, representing a potentially absent value.
|