Idris2Doc : Control.Monad.Reader.Reader

Control.Monad.Reader.Reader

Reader : Type -> Type -> Type
The Reader monad. The ReaderT transformer applied to the Identity monad.
ReaderT : Type -> (Type -> Type) -> Type -> Type
The transformer on which the Reader monad is based
Totality: total
Constructor: 
mapReaderT : (ma -> nb) -> ReaderTrma -> ReaderTrnb
Transform the computation inside a @ReaderT@.
runReader : stateType -> ReaderstateTypea -> a
Unwrap and apply a Reader monad computation
runReaderT : stateType -> ReaderTstateTypema -> ma
Unwrap and apply a ReaderT monad computation