Copyright | (C) Dimitri Sabadie |
---|---|
License | BSD3 |
Maintainer | dimitri.sabadie@gmail.com |
Stability | stable |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
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
.
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