Control.Monad.Reader.Reader

Definitions

record ReaderT : 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 -> m a)) -> ReaderT stateType m a

Projection: 

.runReaderT' : ReaderT stateType m a -> stateType -> m a

Hints:

Alternative f => Alternative (ReaderT stateType f)

Applicative f => Applicative (ReaderT stateType f)

Functor f => Functor (ReaderT stateType f)

HasIO m => HasIO (ReaderT stateType m)

Monad m => Monad (ReaderT stateType m)

MonadError e m => MonadError e (ReaderT r m)

Monad m => MonadReader stateType (ReaderT stateType m)

MonadState s m => MonadState s (ReaderT r m)

MonadTrans (ReaderT stateType)

MonadWriter w m => MonadWriter w (ReaderT r m)

.runReaderT' : ReaderT stateType m a -> stateType -> m a

Totality: total
Visibility: public export

runReaderT' : ReaderT stateType m a -> stateType -> m a

Totality: total
Visibility: public export

mapReaderT : (m a -> n b) -> ReaderT r m a -> ReaderT r n b

  Transform the computation inside a @ReaderT@.

Totality: total
Visibility: public export

runReaderT : stateType -> ReaderT stateType m a -> m a

  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 -> Reader stateType a -> a

  Unwrap and apply a Reader monad computation

Totality: total
Visibility: public export