Contents
- FinTExtensions
- >>> (K<FinT<M>, A> ma, K<FinT<M>, B> mb)
- * (K<FinT<M>, Func<A, B>> mf, K<FinT<M>, A> ma)
- * (K<FinT<M>, A> ma, K<FinT<M>, Func<A, B>> mf)
- FinTExtensions
- FinTExtensions
- FinTExtensions
- | (K<FinT<M>, A> lhs, CatchM<Error, FinT<M>, A> rhs)
- | (K<FinT<M>, A> lhs, Fail<Error> rhs)
- | (K<FinT<M>, A> lhs, Error rhs)
- FinTExtensions
- FinTExtensions
- FinExtensions
class FinTExtensions Source #
class FinTExtensions Source #
class FinTExtensions Source #
class FinTExtensions Source #
class FinTExtensions Source #
Operators
operator >> (K<FinT<M>, A> ma, Func<A, K<FinT<M>, B>> f) Source #
Monad bind operator
Parameters
| param | ma | Monad to bind |
| param | f | Binding function |
| returns | Mapped monad | |
operator >> (K<FinT<M>, A> lhs, K<FinT<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 | |
class FinExtensions Source #
Operators
operator + (K<FinT<M>, A> lhs, K<FinT<M>, A> rhs) Source #
Semigroup combine operator: an associative binary operation.
Parameters
| param | lhs | Left-hand side operand |
| param | rhs | Right-hand side operand |
| returns | ||
operator + (K<FinT<M>, A> lhs, Pure<A> rhs) Source #
Semigroup combine operator: an associative binary operation.
Parameters
| param | lhs | Left-hand side operand |
| param | rhs | Right-hand side operand |
| returns | ||