- IdentityT <M, A> (K<M, A> Value)
- Pure (A value)
- Lift (K<M, A> value)
- Map <B> (Func<A, B> f)
- MapM <B> (Func<K<M, A>, K<M, B>> f)
- Select <B> (Func<A, B> f)
- Bind <B> (Func<A, IdentityT<M, B>> f)
- Bind <B> (Func<A, K<IdentityT<M>, B>> f)
- Bind <B> (Func<A, Pure<B>> f)
- Bind <B> (Func<A, IO<B>> f)
- SelectMany <B, C> (Func<A, IdentityT<M, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, K<IdentityT<M>, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project)
- >> (IdentityT<M, A> lhs, IdentityT<M, A> rhs)
- >> (IdentityT<M, A> lhs, K<IdentityT<M>, A> rhs)
- >> (IdentityT<M, A> lhs, IdentityT<M, Unit> rhs)
- >> (IdentityT<M, A> lhs, K<IdentityT<M>, Unit> rhs)
- | (IdentityT<M, A> lhs, K<IdentityT<M>, A> rhs)
- | (K<IdentityT<M>, A> lhs, IdentityT<M, A> rhs)
- + (IdentityT<M, A> lhs, K<IdentityT<M>, A> rhs)
- + (K<IdentityT<M>, A> lhs, IdentityT<M, A> rhs)
- IdentityTExt
- IdentityT <M>
record IdentityT <M, A> (K<M, A> Value) Source #
IdentityT monad
type | A | Bound value type |
method IdentityT<M, B> MapM <B> (Func<K<M, A>, K<M, B>> f) Source #
Maps the given monad
param | f | Mapping function |
method IdentityT<M, C> SelectMany <B, C> (Func<A, IdentityT<M, B>> bind, Func<A, B, C> project) Source #
method IdentityT<M, C> SelectMany <B, C> (Func<A, K<IdentityT<M>, B>> bind, Func<A, B, C> project) Source #
method IdentityT<M, C> SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project) Source #
method IdentityT<M, C> SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project) Source #
operator >> (IdentityT<M, A> lhs, IdentityT<M, A> rhs) Source #
Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.
param | lhs | First action to run |
param | rhs | Second action to run |
returns | Result of the second action |
operator >> (IdentityT<M, A> lhs, K<IdentityT<M>, A> rhs) Source #
Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.
param | lhs | First action to run |
param | rhs | Second action to run |
returns | Result of the second action |
operator >> (IdentityT<M, A> lhs, IdentityT<M, Unit> rhs) Source #
Sequentially compose two actions. The second action is a unit returning action, so the result of the first action is propagated.
param | lhs | First action to run |
param | rhs | Second action to run |
returns | Result of the first action |
class IdentityTExt Source #
Identity module