Contents
record Fail <E> (E Value) Source #
Represents an error value.
On its own this doesn't do much, but allows other monads to convert from it and provide binding extensions that mean it can be lifted into other monads without specifying lots of extra generic arguments.
Parameters
| type | E | Bound value type |
| param | Value | Bound value |
Methods
method Either<E, C> SelectMany <B, C> (Func<Unit, Pure<B>> bind, Func<Unit, B, C> project) Source #
method Option<C> SelectMany <B, C> (Func<Unit, Option<B>> bind, Func<Unit, B, C> project) Source #