Safe Haskell	Safe
Language	Haskell2010

MonadLib.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 Source #

Instances

Instances details

MonadFix (Reader i) Source #
Instance details Defined in MonadLib.Monads Methods mfix :: (a -> Reader i a) -> Reader i a #
Applicative (Reader i) Source #
Instance details 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 #
Functor (Reader i) Source #
Instance details Defined in MonadLib.Monads Methods fmap :: (a -> b) -> Reader i a -> Reader i b # (<$) :: a -> Reader i b -> Reader i a #
Monad (Reader i) Source #
Instance details 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 #
ReaderM (Reader i) i Source #
Instance details Defined in MonadLib.Monads Methods ask :: Reader i i Source #
RunReaderM (Reader i) i Source #
Instance details Defined in MonadLib.Monads Methods local :: i -> Reader i a -> Reader i a Source #
BaseM (Reader i) (Reader i) Source #
Instance details Defined in MonadLib.Monads Methods inBase :: Reader i a -> Reader i a Source #

data Writer i a Source #

Instances

Instances details

Monoid i => MonadFix (Writer i) Source #
Instance details Defined in MonadLib.Monads Methods mfix :: (a -> Writer i a) -> Writer i a #
Monoid i => Applicative (Writer i) Source #
Instance details 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 => Functor (Writer i) Source #
Instance details Defined in MonadLib.Monads Methods fmap :: (a -> b) -> Writer i a -> Writer i b # (<$) :: a -> Writer i b -> Writer i a #
Monoid i => Monad (Writer i) Source #
Instance details 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 #
Monoid i => RunWriterM (Writer i) i Source #
Instance details Defined in MonadLib.Monads Methods collect :: Writer i a -> Writer i (a, i) Source #
Monoid i => WriterM (Writer i) i Source #
Instance details Defined in MonadLib.Monads Methods put :: i -> Writer i () Source #
Monoid i => BaseM (Writer i) (Writer i) Source #
Instance details Defined in MonadLib.Monads Methods inBase :: Writer i a -> Writer i a Source #

data State i a Source #

Instances

Instances details

MonadFix (State i) Source #
Instance details Defined in MonadLib.Monads Methods mfix :: (a -> State i a) -> State i a #
Applicative (State i) Source #
Instance details 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 #
Functor (State i) Source #
Instance details Defined in MonadLib.Monads Methods fmap :: (a -> b) -> State i a -> State i b # (<$) :: a -> State i b -> State i a #
Monad (State i) Source #
Instance details 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 #
StateM (State i) i Source #
Instance details Defined in MonadLib.Monads Methods get :: State i i Source # set :: i -> State i () Source #
BaseM (State i) (State i) Source #
Instance details Defined in MonadLib.Monads Methods inBase :: State i a -> State i a Source #

data Exception i a Source #

Instances

Instances details

MonadFix (Exception i) Source #
Instance details Defined in MonadLib.Monads Methods mfix :: (a -> Exception i a) -> Exception i a #
Applicative (Exception i) Source #
Instance details 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 #
Functor (Exception i) Source #
Instance details Defined in MonadLib.Monads Methods fmap :: (a -> b) -> Exception i a -> Exception i b # (<$) :: a -> Exception i b -> Exception i a #
Monad (Exception i) Source #
Instance details 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 #
ExceptionM (Exception i) i Source #
Instance details Defined in MonadLib.Monads Methods raise :: i -> Exception i a Source #
RunExceptionM (Exception i) i Source #
Instance details Defined in MonadLib.Monads Methods try :: Exception i a -> Exception i (Either i a) Source #
BaseM (Exception i) (Exception i) Source #
Instance details Defined in MonadLib.Monads Methods inBase :: Exception i a -> Exception i a Source #

data Cont i a Source #

Instances

Instances details

Applicative (Cont i) Source #
Instance details 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 #
Functor (Cont i) Source #
Instance details Defined in MonadLib.Monads Methods fmap :: (a -> b) -> Cont i a -> Cont i b # (<$) :: a -> Cont i b -> Cont i a #
Monad (Cont i) Source #
Instance details 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 #
ContM (Cont i) Source #
Instance details Defined in MonadLib.Monads Methods callWithCC :: ((a -> Label (Cont i)) -> Cont i a) -> Cont i a Source #
BaseM (Cont i) (Cont i) Source #
Instance details Defined in MonadLib.Monads Methods inBase :: Cont i a -> Cont i a Source #

runReader :: i -> Reader i a -> a Source #

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

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

runException :: Exception i a -> Either i a Source #

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

module MonadLib