Control.Monad.Trans.MSF.Reader

Contents

• Reader monad
  • Alternative wrapping/unwrapping MSF combinators using generic lifting
  • Auxiliary functions related to ReaderT

Synopsis

• 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

Auxiliary functions related to ReaderT