Idris2Doc : Control.Monad.Reader.Reader

Control.Monad.Reader.Reader

Definitions

recordReaderT : Type-> (Type->Type) ->Type->Type
  A monad transformer extending an inner monad with access to an environment.

The environment is the same for all actions in a sequence, but may be
changed within scopes created by `Control.Monad.Reader.local`.

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

Projection: 
.runReaderT' : ReaderTstateTypema->stateType->ma

Hints:
Alternativef=>Alternative (ReaderTstateTypef)
Applicativef=>Applicative (ReaderTstateTypef)
Functorf=>Functor (ReaderTstateTypef)
HasIOm=>HasIO (ReaderTstateTypem)
Monadm=>Monad (ReaderTstateTypem)
MonadErrorem=>MonadErrore (ReaderTrm)
Monadm=>MonadReaderstateType (ReaderTstateTypem)
MonadStatesm=>MonadStates (ReaderTrm)
MonadTrans (ReaderTstateType)
MonadWriterwm=>MonadWriterw (ReaderTrm)
.runReaderT' : ReaderTstateTypema->stateType->ma
Totality: total
Visibility: public export
runReaderT' : ReaderTstateTypema->stateType->ma
Totality: total
Visibility: public export
mapReaderT : (ma->nb) ->ReaderTrma->ReaderTrnb
  Transform the computation inside a @ReaderT@.

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

Totality: total
Visibility: public export
Reader : Type->Type->Type
  A monad that can access an environment.

This is `ReaderT` applied to `Identity`.

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

Totality: total
Visibility: public export