Module Control.Monad.Trans.Reader

Summary of exported operations:

ask
                  :: Monad a => ReaderT b a b

asks
                  :: Monad a => (b -> c) -> ReaderT b a c

reader
                  :: Monad a => (b -> c) -> ReaderT b a c

withReaderT
                  ::  (a -> b) -> ReaderT b c d -> ReaderT a c d

runReader
                  ::  ReaderT a Identity b -> a -> b

newtype ReaderT

Constructor:

Reader

Type synonym: Reader a = ReaderT a Identity

ask :: Monad a => ReaderT b a b

asks :: Monad a => (b -> c) -> ReaderT b a c

reader :: Monad a => (b -> c) -> ReaderT b a c

withReaderT :: (a -> b) -> ReaderT b c d -> ReaderT a c d