Instances1DispatchOf
type DispatchOf (Reader r) = 'DynamicDefined in effectful-core-2.7.1.2 · Effectful.Internal.Effect.Dynamic
Moduleeffectful-core-2.7.1.2GHC2021
Effectful.Reader.Dynamic
The dynamically dispatched variant of the Reader effect.
Note: unless you plan to change interpretations at runtime or you need the
Control.Monad.Reader.MonadReader instance for compatibility with existing
code, it's recommended to use the statically dispatched variant,
i.e. Effectful.Reader.Static.
Contents
- Packageeffectful-core-2.7.1.2
- Exports6
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceDynamic.hs
Effect
Handlers
Run the Reader effect with the given initial environment.
value
withReader :: HasCallStack=> (r1 -> r2)The function to modify the environment.
-> Eff (Reader r2 ': es) aComputation to run in the modified environment.
-> Eff (Reader r1 ': es) a
Deprecated. withReader doesn't work correctly for all potential interpreters
Execute a computation in a modified environment.
Operations
Fetch the value of the environment.
value
asks :: (HasCallStack, Reader r :> es)=> (r -> a)The function to apply to the environment.
-> Eff es a