Module

Run.Reader

Package: purescript-run
Repository: natefaubion/purescript-run

#Reader Source

newtype Reader e a

Constructors

Reader (e -> a)

Instances

Functor (Reader e)

#READER Source

type READER e = FProxy (Reader e)

#_reader Source

_reader :: SProxy "reader"

#liftReader Source

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

#ask Source

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

#local Source

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

#runReader Source

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

Modules: Run; Run.Choose; Run.Except; Run.Internal; Run.Reader; Run.State; Run.Writer