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 r a e. Reader e a -> Run (reader :: READER e | r) a

#liftReaderAt Source

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

#ask Source

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

#askAt Source

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

#local Source

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

#localAt Source

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

#runReader Source

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

#runReaderAt Source

runReaderAt :: forall s r a e t. IsSymbol s => Cons s (READER e) t r => SProxy s -> e -> Run r a -> Run t a
Modules
Run
Run.Choose
Run.Except
Run.Internal
Run.Reader
Run.State
Run.Writer