- Reader : Type -> Type -> Type
The Reader monad. The ReaderT transformer applied to the Identity monad.
Totality: total- record ReaderT : Type -> (Type -> Type) -> Type -> Type
The transformer on which the Reader monad is based
Totality: total
Constructor: - MkReaderT : (1 _ : (stateType -> m a)) -> ReaderT stateType m a
Projection: - .runReaderT' : ReaderT stateType m a -> stateType -> m a
- mapReaderT : (m a -> n b) -> ReaderT r m a -> ReaderT r n b
Transform the computation inside a @ReaderT@.
Totality: total- runReader : stateType -> Reader stateType a -> a
Unwrap and apply a Reader monad computation
Totality: total- runReaderT : stateType -> ReaderT stateType m a -> m a
Unwrap and apply a ReaderT monad computation
Totality: total