- Put <S> (S Value)
- ToStateful <M> ()
- ToStateT <M> ()
- ToState ()
- SelectMany <M, B, C> (Func<Unit, StateT<S, M, B>> bind, Func<Unit, B, C> project)
- SelectMany <M, B, C> (Func<Unit, K<StateT<S, M>, B>> bind, Func<Unit, B, C> project)
- SelectMany <B, C> (Func<Unit, State<S, B>> bind, Func<Unit, B, C> project)
- SelectMany <B, C> (Func<Unit, K<State<S>, B>> bind, Func<Unit, B, C> project)
- SelectMany <R, W, M, B, C> (Func<Unit, RWST<R, W, S, M, B>> bind, Func<Unit, B, C> project)
- SelectMany <R, W, M, B, C> (Func<Unit, K<RWST<R, W, S, M>, B>> bind, Func<Unit, B, C> project)
- Modify <S> (Func<S, S> f)
- ToStateful <M> ()
- ToStateT <M> ()
- ToState ()
- SelectMany <M, B, C> (Func<Unit, StateT<S, M, B>> bind, Func<Unit, B, C> project)
- SelectMany <M, B, C> (Func<Unit, K<StateT<S, M>, B>> bind, Func<Unit, B, C> project)
- SelectMany <B, C> (Func<Unit, State<S, B>> bind, Func<Unit, B, C> project)
- SelectMany <B, C> (Func<Unit, K<State<S>, B>> bind, Func<Unit, B, C> project)
- SelectMany <R, W, M, B, C> (Func<Unit, RWST<R, W, S, M, B>> bind, Func<Unit, B, C> project)
- SelectMany <R, W, M, B, C> (Func<Unit, K<RWST<R, W, S, M>, B>> bind, Func<Unit, B, C> project)
- Gets <S, A> (Func<S, A> f)
- ToStateful <M> ()
- ToStateT <M> ()
- ToState ()
- SelectMany <M, B, C> (Func<A, StateT<S, M, B>> bind, Func<A, B, C> project)
- SelectMany <M, B, C> (Func<A, K<StateT<S, M>, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, State<S, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, K<State<S>, B>> bind, Func<A, B, C> project)
- SelectMany <R, W, M, B, C> (Func<A, RWST<R, W, S, M, B>> bind, Func<A, B, C> project)
- SelectMany <R, W, M, B, C> (Func<A, K<RWST<R, W, S, M>, B>> bind, Func<A, B, C> project)
Sub modules
State |
StateT |
record Put <S> (S Value) Source #
State put
This is a convenience type that is created by the Prelude put
function. It avoids
the need for lots of generic parameters when used in StateT
and State
based
monads.
type | S | State type |
param | F | Mapping from the environment |
method StateT<S, M, Unit> ToStateT <M> () Source #
Convert to a StateT
method StateT<S, M, C> SelectMany <M, B, C> (Func<Unit, StateT<S, M, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method StateT<S, M, C> SelectMany <M, B, C> (Func<Unit, K<StateT<S, M>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method State<S, C> SelectMany <B, C> (Func<Unit, State<S, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method State<S, C> SelectMany <B, C> (Func<Unit, K<State<S>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method RWST<R, W, S, M, C> SelectMany <R, W, M, B, C> (Func<Unit, RWST<R, W, S, M, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method RWST<R, W, S, M, C> SelectMany <R, W, M, B, C> (Func<Unit, K<RWST<R, W, S, M>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
record Modify <S> (Func<S, S> f) Source #
State modify
This is a convenience type that is created by the Prelude modify
function. It avoids
the need for lots of generic parameters when used in StateT
and State
based
monads.
type | S | State type |
param | f | Mapping from the environment |
method StateT<S, M, Unit> ToStateT <M> () Source #
Convert to a StateT
method StateT<S, M, C> SelectMany <M, B, C> (Func<Unit, StateT<S, M, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method StateT<S, M, C> SelectMany <M, B, C> (Func<Unit, K<StateT<S, M>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method State<S, C> SelectMany <B, C> (Func<Unit, State<S, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method State<S, C> SelectMany <B, C> (Func<Unit, K<State<S>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method RWST<R, W, S, M, C> SelectMany <R, W, M, B, C> (Func<Unit, RWST<R, W, S, M, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
method RWST<R, W, S, M, C> SelectMany <R, W, M, B, C> (Func<Unit, K<RWST<R, W, S, M>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind
record Gets <S, A> (Func<S, A> f) Source #
State modify
This is a convenience type that is created by the Prelude modify
function. It avoids
the need for lots of generic parameters when used in StateT
and State
based
monads.
type | S | State type |
param | f | Mapping from the environment |
method StateT<S, M, C> SelectMany <M, B, C> (Func<A, StateT<S, M, B>> bind, Func<A, B, C> project) Source #
Monadic bind
method StateT<S, M, C> SelectMany <M, B, C> (Func<A, K<StateT<S, M>, B>> bind, Func<A, B, C> project) Source #
Monadic bind
method State<S, C> SelectMany <B, C> (Func<A, State<S, B>> bind, Func<A, B, C> project) Source #
Monadic bind
method State<S, C> SelectMany <B, C> (Func<A, K<State<S>, B>> bind, Func<A, B, C> project) Source #
Monadic bind
method RWST<R, W, S, M, C> SelectMany <R, W, M, B, C> (Func<A, RWST<R, W, S, M, B>> bind, Func<A, B, C> project) Source #
Monadic bind
method RWST<R, W, S, M, C> SelectMany <R, W, M, B, C> (Func<A, K<RWST<R, W, S, M>, B>> bind, Func<A, B, C> project) Source #
Monadic bind