Module

Run.Reader

#Reader 

newtype Reader e a

Constructors

Instances

#READER 

type READER e = FProxy (Reader e)

#_reader 

_reader :: SProxy "reader"

#liftReader 

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

#liftReaderAt 

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

#ask 

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

#askAt 

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

#local 

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

#localAt 

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 

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

#runReaderAt 

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

Modules