Control.Monad.Trans.Journal

Contents

Description

Synopsis

JournalT monad transformer

data JournalT w m a

Instances

(Monoid w, Monad m) => MonadJournal w (JournalT w m)
MonadTrans (JournalT w)
Monad m => Monad (JournalT w m)
Functor m => Functor (JournalT w m)
(Monad m, Functor m) => Applicative (JournalT w m)
MonadIO m => MonadIO (JournalT w m)

runJournalT :: (Monoid w, Monad m) => JournalT w m a -> m (a, w)