Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
runReader :: Reader r a -> r -> atransformers Control.Monad.Trans.Reader Runs a Reader and extracts the final value from it. (The inverse of reader.)
runReaderT :: ReaderT r (m :: Type -> Type) a -> r -> m atransformers Control.Monad.Trans.Reader No documentation available.
withReader :: (r' -> r) -> Reader r a -> Reader r' atransformers Control.Monad.Trans.Reader Execute a computation in a modified environment (a specialization of withReaderT).
runReader (withReader f m) = runReader m . f
withReaderT :: forall r' r (m :: Type -> Type) a . (r' -> r) -> ReaderT r m a -> ReaderT r' m atransformers Control.Monad.Trans.Reader Execute a computation in a modified environment (a more general version of local).
runReaderT (withReaderT f m) = runReaderT m . f
class Monad m =>
MonadReader r (m :: Type -> Type) | m -> rmtl Control.Monad.Reader See examples in Control.Monad.Reader. Note, the partially applied function type (->) r is a simple reader monad. See the instance declaration below.
mapReader :: (a -> b) -> Reader r a -> Reader r bmtl Control.Monad.Reader Transform the value returned by a Reader.
mapReaderT :: (m a -> n b) -> ReaderT r m a -> ReaderT r n bmtl Control.Monad.Reader Transform the computation inside a ReaderT.
runReaderT (mapReaderT f m) = f . runReaderT m
runReader :: Reader r a -> r -> amtl Control.Monad.Reader Runs a Reader and extracts the final value from it. (The inverse of reader.)
runReaderT :: ReaderT r m a -> r -> m amtl Control.Monad.Reader No documentation available.
withReader :: (r' -> r) -> Reader r a -> Reader r' amtl Control.Monad.Reader Execute a computation in a modified environment (a specialization of withReaderT).
runReader (withReader f m) = runReader m . f