Control.Monad.Trans.MSF.Writer

Writer monad

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)

Alternative running/wrapping MSF combinators using generic lifting

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)

Wrapping/unwrapping functions

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