Contents
- ReaderTExtensions
- As <Env, M, A> (this K<ReaderT<Env, M>, A> ma)
- Run <Env, M, A> (this K<ReaderT<Env, M>, A> ma, Env env)
- Flatten <Env, M, A> (this ReaderT<Env, M, ReaderT<Env, M, A>> mma)
- Flatten <Env, M, A> (this ReaderT<Env, M, K<ReaderT<Env, M>, A>> mma)
- SelectMany <Env, M, A, B, C> ( this K<M, A> ma, Func<A, K<ReaderT<Env, M>, B>> bind, Func<A, B, C> project)
- SelectMany <Env, M, A, B, C> ( this K<M, A> ma, Func<A, ReaderT<Env, M, B>> bind, Func<A, B, C> project)
class ReaderTExtensions Source #
Reader monad extensions
Methods
method ReaderT<Env, M, A> As <Env, M, A> (this K<ReaderT<Env, M>, A> ma) Source #
method K<M, A> Run <Env, M, A> (this K<ReaderT<Env, M>, A> ma, Env env) Source #
Run the reader monad
Parameters
| param | env | Input environment |
| returns | Bound monad | |
method ReaderT<Env, M, A> Flatten <Env, M, A> (this ReaderT<Env, M, ReaderT<Env, M, A>> mma) Source #
Monadic join
method ReaderT<Env, M, A> Flatten <Env, M, A> (this ReaderT<Env, M, K<ReaderT<Env, M>, A>> mma) Source #
Monadic join
method ReaderT<Env, M, C> SelectMany <Env, M, A, B, C> ( this K<M, A> ma, Func<A, K<ReaderT<Env, M>, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |
method ReaderT<Env, M, C> SelectMany <Env, M, A, B, C> ( this K<M, A> ma, Func<A, ReaderT<Env, M, B>> bind, Func<A, B, C> project) Source #
Monad bind operation
Parameters
| type | B | Intermediate bound value type |
| type | C | Target bound value type |
| param | bind | Monadic bind function |
| param | project | Projection function |
| returns |
| |