- Ask <Env, A> (Func<Env, A> F)
- ToReadable <M> ()
- ToReader ()
- ToReaderT <M> ()
- ToRWST <W, S, M> ()
- SelectMany <M, B, C> (Func<A, K<M, B>> bind, Func<A, B, C> project)
- SelectMany <M, B, C> (Func<A, ReaderT<Env, M, B>> bind, Func<A, B, C> project)
- SelectMany <M, B, C> (Func<A, K<ReaderT<Env, M>, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Reader<Env, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, K<Reader<Env>, B>> bind, Func<A, B, C> project)
- SelectMany <W, S, M, B, C> ( Func<A, RWST<Env, W, S, M, B>> bind, Func<A, B, C> project)
- SelectMany <W, S, M, B, C> ( Func<A, K<RWST<Env, W, S, M>, B>> bind, Func<A, B, C> project)
- AskExtensions
Sub modules
Reader |
ReaderT |
record Ask <Env, A> (Func<Env, A> F) Source #
Reader ask
This is a convenience type that is created by the Prelude ask
function. It avoids
the need for lots of generic parameters when used in ReaderT
and Reader
based
monads.
type | Env | Reader environment type |
type | A | Type to map to |
param | F | Mapping from the environment |
method K<M, A> ToReadable <M> () Source #
Use a Readable
trait to convert to an M<A>
method ReaderT<Env, M, A> ToReaderT <M> () Source #
Convert to a ReaderT
method RWST<Env, W, S, M, A> ToRWST <W, S, M> () Source #
Convert to a RWS
Convert to a RWST
method K<M, C> SelectMany <M, B, C> (Func<A, K<M, B>> bind, Func<A, B, C> project) Source #
Monadic bind with any Reader
method ReaderT<Env, M, C> SelectMany <M, B, C> (Func<A, ReaderT<Env, M, B>> bind, Func<A, B, C> project) Source #
Monadic bind with ReaderT
method ReaderT<Env, M, C> SelectMany <M, B, C> (Func<A, K<ReaderT<Env, M>, B>> bind, Func<A, B, C> project) Source #
Monadic bind with ReaderT
method Reader<Env, C> SelectMany <B, C> (Func<A, Reader<Env, B>> bind, Func<A, B, C> project) Source #
Monadic bind with Reader
method Reader<Env, C> SelectMany <B, C> (Func<A, K<Reader<Env>, B>> bind, Func<A, B, C> project) Source #
Monadic bind with Reader
method RWST<Env, W, S, M, C> SelectMany <W, S, M, B, C> ( Func<A, RWST<Env, W, S, M, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
type | B | Intermediate bound value type |
type | C | Target bound value type |
param | bind | Monadic bind function |
param | project | Projection function |
returns |
|
method RWST<Env, W, S, M, C> SelectMany <W, S, M, B, C> ( Func<A, K<RWST<Env, W, S, M>, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
type | B | Intermediate bound value type |
type | C | Target bound value type |
param | bind | Monadic bind function |
param | project | Projection function |
returns |
|
class AskExtensions Source #
method K<M, C> SelectMany <Env, M, A, B, C> ( this K<M, A> ma, Func<A, Ask<Env, B>> bind, Func<A, B, C> project) Source #
Monadic bind with any Reader