| Copyright | (C) Dimitri Sabadie |
|---|---|
| License | BSD3 |
| Maintainer | dimitri.sabadie@gmail.com |
| Stability | stable |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Control.Monad.Trans.Journal
Description
Monad transformer version of MonadJournal. JournalT provides
journaling over a monad.
This modules defines a few useful instances. Check the list below for further information.
- data JournalT w m a
- runJournalT :: (Monoid w, Monad m) => JournalT w m a -> m (a, w)
- evalJournalT :: (Monoid w, Monad m) => JournalT w m a -> m a
- execJournalT :: (Monoid w, Monad m) => JournalT w m a -> m w
- module Control.Monad.Journal.Class
JournalT monad transformer
Transformer version of MonadJournal.
Instances
| MonadBase b m => MonadBase b (JournalT w m) Source | |
| (Monoid w, MonadBaseControl b m) => MonadBaseControl b (JournalT w m) Source | |
| MonadError e m => MonadError e (JournalT w m) Source | |
| MonadReader r m => MonadReader r (JournalT w m) Source | |
| MonadState s m => MonadState s (JournalT w m) Source | |
| MonadWriter w' m => MonadWriter w' (JournalT w m) Source | |
| (Monoid w, Monad m) => MonadJournal w (JournalT w m) Source | |
| MonadTrans (JournalT w) Source | |
| Monoid w => MonadTransControl (JournalT w) Source | |
| Monad m => Monad (JournalT w m) Source | |
| Functor m => Functor (JournalT w m) Source | |
| Monad m => Applicative (JournalT w m) Source | |
| MonadPlus m => Alternative (JournalT w m) Source | |
| MonadPlus m => MonadPlus (JournalT w m) Source | |
| MonadIO m => MonadIO (JournalT w m) Source | |
| type StT (JournalT w) a = (a, w) Source | |
| type StM (JournalT w m) a = ComposeSt (JournalT w) m a Source |
runJournalT :: (Monoid w, Monad m) => JournalT w m a -> m (a, w) Source
Retrieve the value and the log history.
evalJournalT :: (Monoid w, Monad m) => JournalT w m a -> m a Source
Only retrieve the value.
execJournalT :: (Monoid w, Monad m) => JournalT w m a -> m w Source
Only retrieve the log history.
Re-exported
module Control.Monad.Journal.Class