Idris2Doc : Control.Monad.Reader.Interface

Control.Monad.Reader.Interface

Definitions

interfaceMonadReader : Type-> (Type->Type) ->Type
  A computation which runs in a static context and produces an output

Parameters: stateType, m
Constraints: Monad m
Methods:
ask : mstateType
  Get the context
local : (stateType->stateType) ->ma->ma
  `local f c` runs the computation `c` in an environment modified by `f`.

Implementations:
Monadm=>MonadReaderstateType (ReaderTstateTypem)
Monadm=>MonadReaderr (RWSTrwsm)
MonadReaderrm=>MonadReaderr (EitherTem)
MonadReaderrm=>MonadReaderr (MaybeTm)
MonadReaderrm=>MonadReaderr (StateTsm)
MonadReaderrm=>MonadReaderr (WriterTwm)
ask : MonadReaderstateTypem=>mstateType
  Get the context

Totality: total
Visibility: public export
local : MonadReaderstateTypem=> (stateType->stateType) ->ma->ma
  `local f c` runs the computation `c` in an environment modified by `f`.

Totality: total
Visibility: public export
asks : MonadReaderstateTypem=> (stateType->a) ->ma
  Evaluate a function in the context held by this computation

Totality: total
Visibility: public export