Module

Run.Reader

Package
purescript-run
Repository
natefaubion/purescript-run

#Reader Source

newtype Reader e a

Constructors

Instances

#READER Source

type READER e = FProxy (Reader e)

#_reader Source

_reader :: SProxy "reader"

#liftReader Source

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

#liftReaderAt Source

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

#ask Source

ask :: forall e r. Run (reader :: READER e | r) e

#askAt Source

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

#local Source

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

#localAt Source

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

#runReader Source

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

#runReaderAt Source

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