Contents
- RWSTExtensions
- As <R, W, S, M, A> (this K<RWST<R, W, S, M>, A> ma)
- Run <R, W, S, M, A> ( this K<RWST<R, W, S, M>, A> ma, R env, W output, S state)
- Run <R, W, S, M, A> ( this K<RWST<R, W, S, M>, A> ma, R env, S state)
- Flatten <R, W, S, M, A> (this RWST<R, W, S, M, RWST<R, W, S, M, A>> mma)
- Flatten <R, W, S, M, A> (this RWST<R, W, S, M, K<RWST<R, W, S, M>, A>> mma)
- SelectMany <R, W, S, M, A, B, C> ( this K<M, A> ma, Func<A, K<RWST<R, W, S, M>, B>> bind, Func<A, B, C> project)
- SelectMany <R, W, S, M, A, B, C> ( this K<M, A> ma, Func<A, RWST<R, W, S, M, B>> bind, Func<A, B, C> project)
- SelectMany <R, W, S, M, A, B, C> ( this K<IO, A> ma, Func<A, K<RWST<R, W, S, M>, B>> bind, Func<A, B, C> project)
- SelectMany <R, W, S, M, A, B, C> ( this K<IO, A> ma, Func<A, RWST<R, W, S, M, B>> bind, Func<A, B, C> project)
class RWSTExtensions Source #
Methods
method RWST<R, W, S, M, A> As <R, W, S, M, A> (this K<RWST<R, W, S, M>, A> ma) Source #
method K<M, (A Value, W Output, S State)> Run <R, W, S, M, A> ( this K<RWST<R, W, S, M>, A> ma, R env, W output, S state) Source #
method K<M, (A Value, W Output, S State)> Run <R, W, S, M, A> ( this K<RWST<R, W, S, M>, A> ma, R env, S state) Source #
method RWST<R, W, S, M, A> Flatten <R, W, S, M, A> (this RWST<R, W, S, M, RWST<R, W, S, M, A>> mma) Source #
Monadic join
method RWST<R, W, S, M, A> Flatten <R, W, S, M, A> (this RWST<R, W, S, M, K<RWST<R, W, S, M>, A>> mma) Source #
Monadic join
method RWST<R, W, S, M, C> SelectMany <R, W, S, M, A, B, C> ( this K<M, A> ma, Func<A, K<RWST<R, W, S, 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 RWST<R, W, S, M, C> SelectMany <R, W, S, M, A, B, C> ( this K<M, A> ma, Func<A, RWST<R, W, S, 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 RWST<R, W, S, M, C> SelectMany <R, W, S, M, A, B, C> ( this K<IO, A> ma, Func<A, K<RWST<R, W, S, 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 RWST<R, W, S, M, C> SelectMany <R, W, S, M, A, B, C> ( this K<IO, A> ma, Func<A, RWST<R, W, S, 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 |
| |