MonadLib.Monads

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

Monad (Reader i)

Functor (Reader i)

MonadFix (Reader i)

Applicative (Reader i)

RunReaderM (Reader i) i

ReaderM (Reader i) i

BaseM (Reader i) (Reader i)

data Writer i a

Instances

Monoid i => Monad (Writer i)

Monoid i => Functor (Writer i)

Monoid i => MonadFix (Writer i)

Monoid i => Applicative (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

Monad (State i)

Functor (State i)

MonadFix (State i)

Applicative (State i)

StateM (State i) i

BaseM (State i) (State i)

data Exception i a

Instances

Monad (Exception i)

Functor (Exception i)

MonadFix (Exception i)

Applicative (Exception i)

RunExceptionM (Exception i) i

ExceptionM (Exception i) i

BaseM (Exception i) (Exception i)

data Cont i a

Instances

Monad (Cont i)

Functor (Cont i)

Applicative (Cont i)

ContM (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