Not all of the monadic types are in this section, but most of them are. The other monadic types are
the collections, and the effect-system monads of Aff, Eff, and Proxy.
Contents
- Identity <A>
- Bottom = default(Identity<A>)
- value
- IsBottom
- Identity (A value)
- Value
- == (Identity<A> lhs, Identity<A> rhs)
- != (Identity<A> lhs, Identity<A> rhs)
- > (Identity<A> lhs, Identity<A> rhs)
- >= (Identity<A> lhs, Identity<A> rhs)
- < (Identity<A> lhs, Identity<A> rhs)
- <= (Identity<A> lhs, Identity<A> rhs)
- Equals (Identity<A> other)
- Equals (object obj)
- GetHashCode ()
- CompareTo (object obj)
- CompareTo (Identity<A> other)
- Map <B> (Func<A, B> f)
- Select <B> (Func<A, B> f)
- Bind <B> (Func<A, Identity<B>> f)
- SelectMany <B> (Func<A, Identity<B>> f)
- SelectMany <B, C> (Func<A, Identity<B>> bind, Func<A, B, C> project)
- Prelude
Sub modules
| Alternative Value Monads |
| Monadic conditionals |
| State and Environment Monads |
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);
Parameters
| type | A | Bound value type |
Fields
field Identity<A> Bottom = default(Identity<A>) Source #
Methods
method int GetHashCode () Source #
method Identity<B> SelectMany <B> (Func<A, Identity<B>> f) Source #
method Identity<C> SelectMany <B, C> (Func<A, Identity<B>> bind, Func<A, B, C> project) Source #
Operators