| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Control.Monad.Trans.MSF.Reader
Contents
- readerS :: Monad m => MSF m (s, a) b -> MSF (ReaderT s m) a b
- runReaderS :: Monad m => MSF (ReaderT s m) a b -> MSF m (s, a) b
- runReaderS' :: Monad m => MSF (ReaderT s m) a b -> MSF m (s, a) b
- type ReaderWrapper s m = Wrapper (ReaderT s m) m ((,) s) Id
- type ReaderUnwrapper s m = Unwrapper (ReaderT s m) m ((,) s) Id
- wrapReaderT :: ((s, a) -> m b) -> a -> ReaderT s m b
- unwrapReaderT :: (a -> ReaderT s m b) -> (s, a) -> m b
- readerS' :: Monad m => MSF m (s, a) b -> MSF (ReaderT s m) a b
- runReaderS'' :: Monad m => MSF (ReaderT s m) a b -> MSF m (s, a) b
- runReaderS_ :: Monad m => MSF (ReaderT s m) a b -> s -> MSF m a b
- module Control.Monad.Trans.Reader
Reader monad
Alternative wrapping/unwrapping MSF combinators using generic lifting
wrapReaderT :: ((s, a) -> m b) -> a -> ReaderT s m b Source #
unwrapReaderT :: (a -> ReaderT s m b) -> (s, a) -> m b Source #
Auxiliary functions related to ReaderT
module Control.Monad.Trans.Reader