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 #