Safe Haskell	Safe-Inferred
Language	Haskell2010

Effectful.Labeled.Reader

Contents

Description

Convenience functions for the Labeled Reader effect.

Since: 2.4.0.0

Synopsis

data Reader r :: Effect where
- Ask :: Reader r m r
- Local :: (r -> r) -> m a -> Reader r m a
runReader :: forall label r es a. HasCallStack => r -> Eff (Labeled label (Reader r) : es) a -> Eff es a
ask :: forall label r es. (HasCallStack, Labeled label (Reader r) :> es) => Eff es r
asks :: forall label r es a. (HasCallStack, Labeled label (Reader r) :> es) => (r -> a) -> Eff es a
local :: forall label r es a. (HasCallStack, Labeled label (Reader r) :> es) => (r -> r) -> Eff es a -> Eff es a

Effect

Constructors

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

Instances details

type DispatchOf (Reader r) Source #
Instance details Defined in Effectful.Reader.Dynamic type DispatchOf (Reader r) = 'Dynamic

Handlers

Arguments

:: forall label r es a. HasCallStack
=> r	The initial environment.
-> Eff (Labeled label (Reader r) : es) a
-> Eff es a

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

ask :: forall label r es. (HasCallStack, Labeled label (Reader r) :> es) => Eff es r Source #

Fetch the value of the environment.

Arguments

:: forall label r es a. (HasCallStack, Labeled label (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

Arguments

:: forall label r es a. (HasCallStack, Labeled label (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