- Identity <A> (A Value)
- Pure (A value)
- Traverse <F, B> (Func<A, K<F, B>> f)
- TraverseM <M, B> (Func<A, K<M, B>> f)
- Equals (Identity<A>? other)
- GetHashCode ()
- Map <B> (Func<A, B> f)
- Select <B> (Func<A, B> f)
- Bind <B> (Func<A, Identity<B>> f)
- Bind <B> (Func<A, K<Identity, B>> f)
- SelectMany <B, C> (Func<A, Identity<B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, K<Identity, B>> bind, Func<A, B, C> project)
- CompareTo (Identity<A>? other)
- IdentityExt
- Identity
- Pure <A> (A value)
- bind <A, B> (Identity<A> ma, Func<A, Identity<B>> f)
- map <A, B> (Func<A, B> f, Identity<A> ma)
- apply <A, B> (Identity<Func<A, B>> mf, Identity<A> ma)
- action <A, B> (Identity<A> ma, Identity<B> mb)
- fold <A, S> (Func<A, Func<S, S>> f, S initialState, K<Identity, A> ta)
- foldBack <A, S> (Func<S, Func<A, S>> f, S initialState, K<Identity, A> ta)
- traverse <F, A, B> (Func<A, K<F, B>> f, K<Identity, A> ta)
record Identity <A> (A Value) Source #
Identity monad
Simply carries the bound value through its bind expressions without imparting any additional behaviours. It can be constructed using:
Identity<int> ma = Id(123);
type | A | Bound value type |
method K<M, Identity<B>> TraverseM <M, B> (Func<A, K<M, B>> f) Source #
where
M : Monad<M>
Map each element of a structure to an action, evaluate these actions from left to right, and collect the results.
type | M | Monad trait |
type | B | Bound value (output) |
param | f | |
param | ta | Traversable structure |
method int GetHashCode () Source #
method Identity<C> SelectMany <B, C> (Func<A, Identity<B>> bind, Func<A, B, C> project) Source #
method Identity<C> SelectMany <B, C> (Func<A, K<Identity, B>> bind, Func<A, B, C> project) Source #
class IdentityExt Source #
Identity trait implementation