Copyright	(C) Dimitri Sabadie
License	BSD3
Maintainer	dimitri.sabadie@gmail.com
Stability	stable
Portability	portable
Safe Haskell	None
Language	Haskell2010

Control.Monad.Trans.Journal

Contents

JournalT monad transformer
Re-exported

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.

Synopsis

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

data JournalT w m a Source #

Transformer version of MonadJournal.

Instances

MonadBase b m => MonadBase b (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods liftBase :: b α -> JournalT w m α Source #
(Monoid w, MonadBaseControl b m) => MonadBaseControl b (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Associated Types type StM (JournalT w m) a :: Type Source # Methods liftBaseWith :: (RunInBase (JournalT w m) b -> b a) -> JournalT w m a Source # restoreM :: StM (JournalT w m) a -> JournalT w m a Source #
MonadWriter w' m => MonadWriter w' (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods writer :: (a, w') -> JournalT w m a Source # tell :: w' -> JournalT w m () Source # listen :: JournalT w m a -> JournalT w m (a, w') Source # pass :: JournalT w m (a, w' -> w') -> JournalT w m a Source #
MonadState s m => MonadState s (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods get :: JournalT w m s Source # put :: s -> JournalT w m () Source # state :: (s -> (a, s)) -> JournalT w m a Source #
MonadReader r m => MonadReader r (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods ask :: JournalT w m r Source # local :: (r -> r) -> JournalT w m a -> JournalT w m a Source # reader :: (r -> a) -> JournalT w m a Source #
MonadError e m => MonadError e (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods throwError :: e -> JournalT w m a Source # catchError :: JournalT w m a -> (e -> JournalT w m a) -> JournalT w m a Source #
(Monoid w, Monad m) => MonadJournal w (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods journal :: w -> JournalT w m () Source # history :: JournalT w m w Source # clear :: JournalT w m () Source #
MonadTrans (JournalT w) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods lift :: Monad m => m a -> JournalT w m a Source #
Monoid w => MonadTransControl (JournalT w) Source #
Instance details Defined in Control.Monad.Trans.Journal Associated Types type StT (JournalT w) a :: Type Source # Methods liftWith :: Monad m => (Run (JournalT w) -> m a) -> JournalT w m a Source # restoreT :: Monad m => m (StT (JournalT w) a) -> JournalT w m a Source #
Monad m => Monad (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods (>>=) :: JournalT w m a -> (a -> JournalT w m b) -> JournalT w m b Source # (>>) :: JournalT w m a -> JournalT w m b -> JournalT w m b Source # return :: a -> JournalT w m a Source # fail :: String -> JournalT w m a Source #
Functor m => Functor (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods fmap :: (a -> b) -> JournalT w m a -> JournalT w m b Source # (<$) :: a -> JournalT w m b -> JournalT w m a Source #
Monad m => Applicative (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods pure :: a -> JournalT w m a Source # (<>) :: JournalT w m (a -> b) -> JournalT w m a -> JournalT w m b Source # liftA2 :: (a -> b -> c) -> JournalT w m a -> JournalT w m b -> JournalT w m c Source # (>) :: JournalT w m a -> JournalT w m b -> JournalT w m b Source # (<*) :: JournalT w m a -> JournalT w m b -> JournalT w m a Source #
MonadIO m => MonadIO (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods liftIO :: IO a -> JournalT w m a Source #
MonadPlus m => Alternative (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods empty :: JournalT w m a Source # (<\|>) :: JournalT w m a -> JournalT w m a -> JournalT w m a Source # some :: JournalT w m a -> JournalT w m [a] Source # many :: JournalT w m a -> JournalT w m [a] Source #
MonadPlus m => MonadPlus (JournalT w m) Source #
Instance details Defined in Control.Monad.Trans.Journal Methods mzero :: JournalT w m a Source # mplus :: JournalT w m a -> JournalT w m a -> JournalT w m a Source #
type StT (JournalT w) a Source #
Instance details Defined in Control.Monad.Trans.Journal type StT (JournalT w) a = (a, w)
type StM (JournalT w m) a Source #
Instance details Defined in Control.Monad.Trans.Journal type StM (JournalT w m) a = ComposeSt (JournalT w) m a

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