Idris2Doc : Control.Monad.Reader.Reader

Control.Monad.Reader.Reader

Reader : Type -> Type -> Type
  The Reader monad. The ReaderT transformer applied to the Identity monad.

Totality: total
recordReaderT : Type -> (Type -> Type) -> Type -> Type
  The transformer on which the Reader monad is based

Totality: total
Constructor: 
MkReaderT : (1 _ : (stateType -> ma)) -> ReaderTstateTypema

Projection: 
.runReaderT' : ReaderTstateTypema -> stateType -> ma
mapReaderT : (ma -> nb) -> ReaderTrma -> ReaderTrnb
  Transform the computation inside a @ReaderT@.

Totality: total
runReader : stateType -> ReaderstateTypea -> a
  Unwrap and apply a Reader monad computation

Totality: total
runReaderT : stateType -> ReaderTstateTypema -> ma
  Unwrap and apply a ReaderT monad computation

Totality: total