Contents
Sub modules
| Writer |
| WriterT |
record Tell <W> (W Value) Source #
where
W : Monoid<W>
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 #
where
M : Monad<M>, SemiAlternative<M>
Convert ot a WriterT
method WriterT<W, M, C> SelectMany <M, B, C> (Func<Unit, WriterT<W, M, B>> bind, Func<Unit, B, C> project) Source #
where
M : Monad<M>, SemiAlternative<M>
Convert ot a State
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 State