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