Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type MonadReader r = MonadReader r r
- local :: forall r m a. MonadReader r m => (r -> r) -> m a -> m a
- ask :: forall r m. MonadReader r m => m r
- reader :: forall r m a. MonadReader r m => (r -> a) -> m a
- asks :: forall r m a. MonadReader r m => (r -> a) -> m a
- type Reader r = Reader r r
- runReader :: Reader r a -> r -> a
- type ReaderT r = ReaderT r r
- readerT :: (r -> m a) -> ReaderT r m a
- runReaderT :: ReaderT r m a -> r -> m a
MonadReader class
type MonadReader r = MonadReader r r Source
See MonadReader
.
local :: forall r m a. MonadReader r m => (r -> r) -> m a -> m a Source
See local
.
ask :: forall r m. MonadReader r m => m r Source
See ask
.
reader :: forall r m a. MonadReader r m => (r -> a) -> m a Source
See reader
.
asks :: forall r m a. MonadReader r m => (r -> a) -> m a Source
See asks
.
The Reader monad
The ReaderT monad transformer
runReaderT :: ReaderT r m a -> r -> m a Source
See runReaderT
.