withReader -package:avro

withReader :: (r' -> r) -> Reader r a -> Reader r' a
mtl Control.Monad.Reader, transformers Control.Monad.Trans.Reader, relude Relude.Monad.Reexport, monads-tf Control.Monad.Reader, rebase Rebase.Prelude, mtl-prelude MTLPrelude, dunai Control.Monad.Trans.MSF.Reader, can-i-haz Control.Monad.Reader.Has, monadology Control.Monad.Ology.Specific.ReaderT
Execute a computation in a modified environment (a specialization of withReaderT).
withReader :: forall r1 r2 (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => (r1 -> r2) -> Eff (Reader r2 ': es) a -> Eff (Reader r1 ': es) a
effectful-core Effectful.Reader.Dynamic
Deprecated: withReader doesn't work correctly for all potential interpreters
withReader :: forall r1 r2 (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => (r1 -> r2) -> Eff (Reader r2 ': es) a -> Eff (Reader r1 ': es) a
effectful-core Effectful.Reader.Static
Execute a computation in a modified environment.
withReader :: Monad m => t -> MultiGSTT ('Gettable t : tr) m a -> MultiGSTT tr m a
multistate Control.Monad.Trans.MultiGST Control.Monad.Trans.MultiGST.Lazy Control.Monad.Trans.MultiGST.Strict
withReaderT :: forall r' r (m :: Type -> Type) a . (r' -> r) -> ReaderT r m a -> ReaderT r' m a
mtl Control.Monad.Reader, relude Relude.Monad.Reexport, monads-tf Control.Monad.Reader, rebase Rebase.Prelude, mtl-prelude MTLPrelude, dunai Control.Monad.Trans.MSF.Reader, can-i-haz Control.Monad.Reader.Has, monadology Control.Monad.Ology.Specific.ReaderT
Execute a computation in a modified environment (a more general version of local).
withReaderT :: (r' -> r) -> ReaderT r m a -> ReaderT r' m a
transformers Control.Monad.Trans.Reader
Execute a computation in a modified environment (a more general version of local).
withReaderT :: forall (m :: Type -> Type) r2 r1 a . Monad m => (r2 -> r1) -> Stream (ReaderT r1 m) a -> Stream (ReaderT r2 m) a
streamly-core Streamly.Internal.Data.Stream
Modify the environment of the underlying ReaderT monad.
withReader_ :: Monad m => t -> MultiGSTT ('Gettable t : tr) m a -> MultiGSTT tr m ()
multistate Control.Monad.Trans.MultiGST Control.Monad.Trans.MultiGST.Lazy Control.Monad.Trans.MultiGST.Strict
withReaders :: Monad m => HList rs -> MultiGSTT (AppendM (HListMReaders rs) ts) m a -> MultiGSTT ts m a
multistate Control.Monad.Trans.MultiGST Control.Monad.Trans.MultiGST.Lazy