Contents
- Tell <W> (W Value)
- ToWritable <M> ()
- ToWriterT <M> ()
- ToWriter ()
- SelectMany <M, B, C> (Func<Unit, WriterT<W, M, B>> bind, Func<Unit, B, C> project)
- SelectMany <M, B, C> (Func<Unit, K<WriterT<W, M>, B>> bind, Func<Unit, B, C> project)
- SelectMany <B, C> (Func<Unit, Writer<W, B>> bind, Func<Unit, B, C> project)
- SelectMany <B, C> (Func<Unit, K<Writer<W>, B>> bind, Func<Unit, B, C> project)
- SelectMany <R, S, M, B, C> (Func<Unit, RWST<R, W, S, M, B>> bind, Func<Unit, B, C> project)
- SelectMany <R, S, M, B, C> (Func<Unit, K<RWST<R, W, S, M>, B>> bind, Func<Unit, B, C> project)
Sub modules
| Writer |
| WriterT |
record Tell <W> (W 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 WriterT and State based
monads.
Parameters
| type | S | State type |
| param | F | Mapping from the environment |
Methods
method WriterT<W, M, Unit> ToWriterT <M> () Source #
Convert to a WriterT
method WriterT<W, M, C> SelectMany <M, B, C> (Func<Unit, WriterT<W, M, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind with WriterT
method WriterT<W, M, C> SelectMany <M, B, C> (Func<Unit, K<WriterT<W, M>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind with WriterT
method Writer<W, C> SelectMany <B, C> (Func<Unit, Writer<W, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind with Writer
method Writer<W, C> SelectMany <B, C> (Func<Unit, K<Writer<W>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind with Writer
method RWST<R, W, S, M, C> SelectMany <R, S, M, B, C> (Func<Unit, RWST<R, W, S, M, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind with RWST
method RWST<R, W, S, M, C> SelectMany <R, S, M, B, C> (Func<Unit, K<RWST<R, W, S, M>, B>> bind, Func<Unit, B, C> project) Source #
Monadic bind with RWST