monadLib-3.3.0: A collection of monad transformers. Contents Index

Monads

Description

This module contains a collection of monads that are defined in terms of the monad transformers from MonadLib. The definitions in this module are completely mechanical and so this module may become obsolete if support for automated derivations for instances becomes well supported across implementations.

Documentation

data Reader i a

Instances Functor (Reader i) Monad (Reader i) MonadFix (Reader i) ReaderM (Reader i) i RunReaderM (Reader i) i BaseM (Reader i) (Reader i)

data Writer i a

Instances Monoid i => Functor (Writer i) Monoid i => Monad (Writer i) Monoid i => MonadFix (Writer i) Monoid i => RunWriterM (Writer i) i Monoid i => WriterM (Writer i) i Monoid i => BaseM (Writer i) (Writer i)

data State i a

Instances Functor (State i) Monad (State i) MonadFix (State i) StateM (State i) i BaseM (State i) (State i)

data Exception i a

Instances Functor (Exception i) Monad (Exception i) MonadFix (Exception i) ExceptionM (Exception i) i RunExceptionM (Exception i) i BaseM (Exception i) (Exception i)

data Cont i a

Instances ContM (Cont i) Functor (Cont i) Monad (Cont i) BaseM (Cont i) (Cont i)

runReader :: i -> Reader i a -> a

runWriter :: Writer i a -> (a, i)

runState :: i -> State i a -> (a, i)

runException :: Exception i a -> Either i a

runCont :: (a -> i) -> Cont i a -> i

module MonadLib

Produced by Haddock version 0.8