more-extensible-effects-0.1.0.4: Initial project template from stack
Control.Monad.Eff.Reader
data Reader e a where Source #
Constructors
ask :: Member (Reader e) r => Eff r e Source #
asks :: Member (Reader e) r => (e -> a) -> Eff r a Source #
reader :: Member (Reader e) r => (e -> a) -> Eff r a Source #
local :: forall e r a. Member (Reader e) r => (e -> e) -> Eff r a -> Eff r a Source #
runReader :: e -> Eff (Reader e ': r) a -> Eff r a Source #