Control.Monad.Trans.MSF.Writer

Contents

• Writer monad
• Alternative running/wrapping MSF combinators using generic lifting
  • Wrapping/unwrapping functions

Synopsis

• writerS :: (Monad m, Monoid s) => MSF m a (s, b) -> MSF (WriterT s m) a b
• runWriterS :: Monad m => MSF (WriterT s m) a b -> MSF m a (s, b)
• writerS' :: (Monad m, Monoid s) => MSF m a (s, b) -> MSF (WriterT s m) a b
• runWriterS' :: (Monoid s, Functor m, Monad m) => MSF (WriterT s m) a b -> MSF m a (s, b)
• writerS'' :: (Monad m, Monoid w) => MSF m a (w, b) -> MSF (WriterT w m) a b
• runWriterS'' :: (Monoid s, Functor m, Monad m) => MSF (WriterT s m) a b -> MSF m a (s, b)
• wrapMSFWriterT :: (Monoid s, Monad m) => (a -> m ((s, b), ct)) -> a -> WriterT s m (b, ct)
• unwrapMSFWriterT :: (Monad m, Functor m) => (a -> WriterT s m (b, ct)) -> a -> m ((s, b), ct)
• module Control.Monad.Trans.Writer.Strict

Writer monad

Alternative running/wrapping MSF combinators using generic lifting

Wrapping/unwrapping functions