Moduleeffectful-core-2.3.0.1Haskell2010

Effectful.Reader.Dynamic

The dynamically dispatched variant of the Reader effect.

Note: unless you plan to change interpretations at runtime, it's recommended to use the statically dispatched variant, i.e. Effectful.Reader.Static.

1 type
5 values

Packageeffectful-core-2.3.0.1
Exports6
LanguageHaskell2010
LicenceBSD-3-Clause
SourceDynamic.hs

Effect

1 declaration

datadata Reader r (a :: Type -> Type) b where

Constructors

Ask :: Reader r a r
Local :: (r -> r) -> a b -> Reader r a b

Instances1DispatchOf

type DispatchOf (Reader r) = 'DynamicDefined in effectful-core-2.3.0.1 · Effectful.Reader.Dynamic

Handlers

valuerunReader

:: r
The initial environment.
-> Eff (Reader r ': es) a
-> Eff es a

Run the Reader effect with the given initial environment (via Effectful.Reader.Static).

valuewithReader

:: (r1 -> r2)
The function to modify the environment.
-> Eff (Reader r2 ': es) a
Computation to run in the modified environment.
-> Eff (Reader r1 ': es) a

Execute a computation in a modified environment.

Operations

valueask :: (HasCallStack, Reader r :> es) => Eff es r

Fetch the value of the environment.

valueasks

:: (HasCallStack, Reader r :> es)
=> (r -> a)
The function to apply to the environment.
-> Eff es a

Retrieve a function of the current environment.

asks f ≡ f <$> ask

valuelocal

:: (HasCallStack, Reader r :> es)
=> (r -> r)
The function to modify the environment.
-> Eff es a
-> Eff es a

Execute a computation in a modified environment.

runReader r (local f m) ≡ runReader (f r) m