Module

Control.Monad.Transformerless.Reader

Package: purescript-transformerless
Repository: thimoteus/purescript-transformerless

#Reader Source

type Reader r = Function r

#runReader Source

runReader :: forall a r. Reader r a -> r -> a

#withReader Source

withReader :: forall a r2 r1. (r2 -> r1) -> Reader r1 a -> Reader r2 a

#mapReader Source

mapReader :: forall b a r. (a -> b) -> Reader r a -> Reader r b

#(|->) Source

Operator alias for Control.Monad.Transformerless.Reader.mapReader (left-associative / precedence 4)

#applyR Source

applyR :: forall b a r. Reader r (a -> b) -> Reader r a -> Reader r b

#(~) Source

Operator alias for Control.Monad.Transformerless.Reader.applyR (left-associative / precedence 4)

#pureR Source

pureR :: forall a r. a -> Reader r a

#bindR Source

bindR :: forall b a r. Reader r a -> (a -> Reader r b) -> Reader r b

#(>>-) Source

Operator alias for Control.Monad.Transformerless.Reader.bindR (left-associative / precedence 1)

#local Source

local :: forall a r. (r -> r) -> Reader r a -> Reader r a

#ask Source

ask :: forall r. Reader r r

Modules: Control.Comonad.Transformerless.Env; Control.Comonad.Transformerless.Store; Control.Comonad.Transformerless.Traced; Control.Monad.Transformerless.Cont; Control.Monad.Transformerless.Except; Control.Monad.Transformerless.RWS; Control.Monad.Transformerless.Reader; Control.Monad.Transformerless.State; Control.Monad.Transformerless.Writer; Data.Functor.Pairing.Transformerless