:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulefoundation-0.0.30Haskell2010
The Reader monad transformer.
This is useful to keep a non-modifiable value in a context
type family ReaderContext (m :: Type -> Type)ask :: m (ReaderContext m)MonadReader m => MonadReader (ExceptT e m)Defined in foundation-0.0.30 · Foundation.Monad.ExceptMonad m => MonadReader (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderReader Transformer
MonadTrans (ReaderT r)Defined in foundation-0.0.30 · Foundation.Monad.ReaderMonad m => Monad (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderFunctor m => Functor (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.Reader(Monad m, MonadFix m) => MonadFix (ReaderT s m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderApplicative m => Applicative (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderMonadIO m => MonadIO (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderMonadFailure m => MonadFailure (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderMonadThrow m => MonadThrow (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderMonadBracket m => MonadBracket (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderMonadCatch m => MonadCatch (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.ReaderMonad m => MonadReader (ReaderT r m)Defined in foundation-0.0.30 · Foundation.Monad.Readertype Failure (ReaderT r m) = Failure mDefined in foundation-0.0.30 · Foundation.Monad.Readertype ReaderContext (ReaderT r m) = rDefined in foundation-0.0.30 · Foundation.Monad.Reader