Safe Haskell	Safe-Inferred
Language	Haskell2010

Bluefin.Algae.Reader

Contents

Description

Reader as an algebraic effect

Access to a read-only environment.

Synopsis

data Reader (a :: Type) :: AEffect where
- Ask :: Reader a a
ask :: s :> ss => Handler (Reader a) s -> Eff ss a
runReader :: forall a b ss. a -> (forall s. Handler (Reader a) s -> Eff (s :& ss) b) -> Eff ss b

Operation

data Reader (a :: Type) :: AEffect where Source #

The reader effect.

Constructors

Ask for a value.

ask :: s :> ss => Handler (Reader a) s -> Eff ss a Source #

Ask for a value. Call the Ask operation.

runReader :: forall a b ss. a -> (forall s. Handler (Reader a) s -> Eff (s :& ss) b) -> Eff ss b Source #

Answer Ask operations of the handled computation with a fixed value.