Contents
- OptionTExtensions
- >>> (K<OptionT<M>, A> ma, K<OptionT<M>, B> mb)
- * (K<OptionT<M>, Func<A, B>> mf, K<OptionT<M>, A> ma)
- * (K<OptionT<M>, A> ma, K<OptionT<M>, Func<A, B>> mf)
- OptionTExtensions
- OptionTExtensions
- OptionTExtensions
- | (K<OptionT<M>, A> lhs, CatchM<Unit, OptionT<M>, A> rhs)
- | (K<OptionT<M>, A> lhs, Fail<Unit> rhs)
- | (K<OptionT<M>, A> lhs, Unit rhs)
- OptionTExtensions
- OptionTExtensions
class OptionTExtensions Source #
class OptionTExtensions Source #
class OptionTExtensions Source #
class OptionTExtensions Source #
class OptionTExtensions Source #
Operators
operator >> (K<OptionT<M>, A> ma, Func<A, K<OptionT<M>, B>> f) Source #
Monad bind operator
Parameters
| param | ma | Monad to bind |
| param | f | Binding function |
| returns | Mapped monad | |
operator >> (K<OptionT<M>, A> lhs, K<OptionT<M>, B> rhs) Source #
Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.
Parameters
| param | lhs | First action to run |
| param | rhs | Second action to run |
| returns | Result of the second action | |