withReader -package:dunai

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, 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, 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
decodeContainerWithReaderSchema :: forall a . FromAvro a => Schema -> ByteString -> [Either String a]
avro Data.Avro
Decodes the container as a list of values of the requested type. The provided reader schema will be de-conflicted with the schema embedded with the container. Errors are reported as a part of the list and the list will stop at first error. This means that the consumer will get all the "good" content from the container until the error is detected, then this error and then the list is finished.