Control.Effect.Reader

Definitions

data ReaderE : Type -> (Type -> Type) -> Type -> Type

  Reader effect.

Totality: total
Visibility: public export
Constructor: 

Ask : ReaderE r m r

Hints:

Algebra sig m => Algebra (ReaderE s :+: sig) (ReaderT s m)

Functor (\r => ReaderE r m r)

ask : Inj (ReaderE r) sig => Algebra sig m => m r

  Read the value within a monadic context that supports it.

Visibility: public export

HintReader : Algebra sig m => Algebra (ReaderE s :+: sig) (ReaderT s m)

Visibility: public export