Modulepolysemy-zoo-0.8.2.0Haskell2010

Polysemy.Reader.More

datadata Reader i (m :: Type -> Type) a where

An effect corresponding to ReaderT.

valueask :: Member (Reader i) r => Sem r i

Get the environment.

valuelocal :: Member (Reader i) r => (i -> i) -> Sem r a -> Sem r a

Transform the environment.

valuerunReader :: i -> Sem (Reader i ': r) a -> Sem r a

Run a Reader effect with a constant value.

valueasks :: Member (Reader i) r => (i -> j) -> Sem r j

Apply a function to the environment and return the result.

valueinputToReader :: Member (Reader i) r => Sem (Input i ': r) a -> Sem r a

Transform an Input effect into a Reader effect.

Interpretations

1 declaration

valuerunReaderFixSem

Runs a Reader effect by running a monadic action once, after the Sem has completed, and then providing the result to each request recursively.