Bluefin.Algae.Reader
Contents
Description
Access to a read-only environment.
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.
Ask
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.