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