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)

Defined in MonadLib.Monads

Methods

(>>=) :: Reader i a -> (a -> Reader i b) -> Reader i b

(>>) :: Reader i a -> Reader i b -> Reader i b

return :: a -> Reader i a

fail :: String -> Reader i a

Functor (Reader i)

Defined in MonadLib.Monads

Methods

fmap :: (a -> b) -> Reader i a -> Reader i b

(<$) :: a -> Reader i b -> Reader i a

MonadFix (Reader i)

Defined in MonadLib.Monads

Methods

mfix :: (a -> Reader i a) -> Reader i a

Applicative (Reader i)

Defined in MonadLib.Monads

Methods

pure :: a -> Reader i a

(<*>) :: Reader i (a -> b) -> Reader i a -> Reader i b

liftA2 :: (a -> b -> c) -> Reader i a -> Reader i b -> Reader i c

(*>) :: Reader i a -> Reader i b -> Reader i b

(<*) :: Reader i a -> Reader i b -> Reader i a

RunReaderM (Reader i) i

Defined in MonadLib.Monads

Methods

local :: i -> Reader i a -> Reader i a

ReaderM (Reader i) i

Defined in MonadLib.Monads

Methods

ask :: Reader i i

BaseM (Reader i) (Reader i)

Defined in MonadLib.Monads

Methods

inBase :: Reader i a -> Reader i a

data Writer i a

Instances

Monoid i => Monad (Writer i)

Defined in MonadLib.Monads

Methods

(>>=) :: Writer i a -> (a -> Writer i b) -> Writer i b

(>>) :: Writer i a -> Writer i b -> Writer i b

return :: a -> Writer i a

fail :: String -> Writer i a

Monoid i => Functor (Writer i)

Defined in MonadLib.Monads

Methods

fmap :: (a -> b) -> Writer i a -> Writer i b

(<$) :: a -> Writer i b -> Writer i a

Monoid i => MonadFix (Writer i)

Defined in MonadLib.Monads

Methods

mfix :: (a -> Writer i a) -> Writer i a

Monoid i => Applicative (Writer i)

Defined in MonadLib.Monads

Methods

pure :: a -> Writer i a

(<*>) :: Writer i (a -> b) -> Writer i a -> Writer i b

liftA2 :: (a -> b -> c) -> Writer i a -> Writer i b -> Writer i c

(*>) :: Writer i a -> Writer i b -> Writer i b

(<*) :: Writer i a -> Writer i b -> Writer i a

Monoid i => RunWriterM (Writer i) i

Defined in MonadLib.Monads

Methods

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

Monoid i => WriterM (Writer i) i

Defined in MonadLib.Monads

Methods

put :: i -> Writer i ()

Monoid i => BaseM (Writer i) (Writer i)

Defined in MonadLib.Monads

Methods

inBase :: Writer i a -> Writer i a

data State i a

Instances

Monad (State i)

Defined in MonadLib.Monads

Methods

(>>=) :: State i a -> (a -> State i b) -> State i b

(>>) :: State i a -> State i b -> State i b

return :: a -> State i a

fail :: String -> State i a

Functor (State i)

Defined in MonadLib.Monads

Methods

fmap :: (a -> b) -> State i a -> State i b

(<$) :: a -> State i b -> State i a

MonadFix (State i)

Defined in MonadLib.Monads

Methods

mfix :: (a -> State i a) -> State i a

Applicative (State i)

Defined in MonadLib.Monads

Methods

pure :: a -> State i a

(<*>) :: State i (a -> b) -> State i a -> State i b

liftA2 :: (a -> b -> c) -> State i a -> State i b -> State i c

(*>) :: State i a -> State i b -> State i b

(<*) :: State i a -> State i b -> State i a

StateM (State i) i

Defined in MonadLib.Monads

Methods

get :: State i i

set :: i -> State i ()

BaseM (State i) (State i)

Defined in MonadLib.Monads

Methods

inBase :: State i a -> State i a

data Exception i a

Instances

Monad (Exception i)

Defined in MonadLib.Monads

Methods

(>>=) :: Exception i a -> (a -> Exception i b) -> Exception i b

(>>) :: Exception i a -> Exception i b -> Exception i b

return :: a -> Exception i a

fail :: String -> Exception i a

Functor (Exception i)

Defined in MonadLib.Monads

Methods

fmap :: (a -> b) -> Exception i a -> Exception i b

(<$) :: a -> Exception i b -> Exception i a

MonadFix (Exception i)

Defined in MonadLib.Monads

Methods

mfix :: (a -> Exception i a) -> Exception i a

Applicative (Exception i)

Defined in MonadLib.Monads

Methods

pure :: a -> Exception i a

(<*>) :: Exception i (a -> b) -> Exception i a -> Exception i b

liftA2 :: (a -> b -> c) -> Exception i a -> Exception i b -> Exception i c

(*>) :: Exception i a -> Exception i b -> Exception i b

(<*) :: Exception i a -> Exception i b -> Exception i a

RunExceptionM (Exception i) i

Defined in MonadLib.Monads

Methods

try :: Exception i a -> Exception i (Either i a)

ExceptionM (Exception i) i

Defined in MonadLib.Monads

Methods

raise :: i -> Exception i a

BaseM (Exception i) (Exception i)

Defined in MonadLib.Monads

Methods

inBase :: Exception i a -> Exception i a

data Cont i a

Instances

Monad (Cont i)

Defined in MonadLib.Monads

Methods

(>>=) :: Cont i a -> (a -> Cont i b) -> Cont i b

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

return :: a -> Cont i a

fail :: String -> Cont i a

Functor (Cont i)

Defined in MonadLib.Monads

Methods

fmap :: (a -> b) -> Cont i a -> Cont i b

(<$) :: a -> Cont i b -> Cont i a

Applicative (Cont i)

Defined in MonadLib.Monads

Methods

pure :: a -> Cont i a

(<*>) :: Cont i (a -> b) -> Cont i a -> Cont i b

liftA2 :: (a -> b -> c) -> Cont i a -> Cont i b -> Cont i c

(*>) :: Cont i a -> Cont i b -> Cont i b

(<*) :: Cont i a -> Cont i b -> Cont i a

ContM (Cont i)

Defined in MonadLib.Monads

Methods

callWithCC :: ((a -> Label (Cont i)) -> Cont i a) -> Cont i a

BaseM (Cont i) (Cont i)

Defined in MonadLib.Monads

Methods

inBase :: Cont i a -> Cont i a

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