Effectful.Reader
Description
The Reader as an effect.
Reader
data Reader r Source #
Provide access to a read only value of type r.
r
runReader :: r -> Eff (Reader r ': es) a -> Eff es a Source #
ask :: Reader r :> es => Eff es r Source #
local :: Reader r :> es => (r -> r) -> Eff es a -> Eff es a Source #
reader :: Reader r :> es => (r -> a) -> Eff es a Source #
asks :: Reader r :> es => (r -> a) -> Eff es a Source #