Run.Reader

newtype Reader e a

Constructors

• Reader (e -> a)

Instances

• Functor (Reader e)

type READER e r = (reader :: Reader e | r)

_reader :: Proxy "reader"

liftReader :: forall e a r. Reader e a -> Run ((READER e) + r) a

liftReaderAt :: forall proxy t e a r s. IsSymbol s => Cons s (Reader e) t r => proxy s -> Reader e a -> Run r a

ask :: forall e r. Run ((READER e) + r) e

asks :: forall e r a. (e -> a) -> Run ((READER e) + r) a

askAt :: forall proxy t e r s. IsSymbol s => Cons s (Reader e) t r => proxy s -> Run r e

asksAt :: forall proxy t e r s a. IsSymbol s => Cons s (Reader e) t r => proxy s -> (e -> a) -> Run r a

local :: forall e a r. (e -> e) -> Run ((READER e) + r) a -> Run ((READER e) + r) a

localAt :: forall proxy t e a r s. IsSymbol s => Cons s (Reader e) t r => proxy s -> (e -> e) -> Run r a -> Run r a

runReader :: forall e a r. e -> Run ((READER e) + r) a -> Run r a

runReaderAt :: forall proxy t e a r s. IsSymbol s => Cons s (Reader e) t r => proxy s -> e -> Run r a -> Run t a