Control.Monad.Eff.Reader

Documentation

data Reader e a where

Constructors

Get :: Reader e e

ask :: Member (Reader e) r => Eff r e

asks :: Member (Reader e) r => (e -> a) -> Eff r a

reader :: Member (Reader e) r => (e -> a) -> Eff r a

local :: forall e r a. Member (Reader e) r => (e -> e) -> Eff r a -> Eff r a

runReader :: e -> Eff (Reader e ': r) a -> Eff r a