Contents
- EffExtensions
- >>> (K<Eff<RT>, A> ma, K<Eff<RT>, B> mb)
- * (K<Eff<RT>, Func<A, B>> mf, K<Eff<RT>, A> ma)
- * (K<Eff<RT>, A> ma, K<Eff<RT>, Func<A, B>> mf)
- EffExtensions
- | (K<Eff<RT>, A> lhs, K<Eff<RT>, A> rhs)
- | (K<Eff<RT>, A> lhs, K<Eff, A> rhs)
- | (K<Eff<RT>, A> lhs, Pure<A> rhs)
- EffExtensions
- EffExtensions
- | (K<Eff<RT>, A> lhs, CatchM<Error, Eff<RT>, A> rhs)
- | (K<Eff<RT>, A> lhs, Fail<Error> rhs)
- | (K<Eff<RT>, A> lhs, Error rhs)
- EffExtensions
- EffExtensions
- EffExtensions
class EffExtensions Source #
class EffExtensions Source #
class EffExtensions Source #
class EffExtensions Source #
class EffExtensions Source #
class EffExtensions Source #
Operators
operator >> (K<Eff<RT>, A> ma, Func<A, K<Eff<RT>, B>> f) Source #
Monad bind operator
Parameters
| param | ma | Monad to bind |
| param | f | Binding function |
| returns | Mapped monad | |
operator >> (K<Eff<RT>, A> lhs, K<Eff<RT>, 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 | |