| Safe Haskell | Safe-Infered |
|---|
Ganeti.Logging.WriterLog
Description
A pure implementation of MonadLog using MonadWriter
- type LogSeq = Seq (Priority, String)
- type WriterSeq = WriterT LogSeq
- newtype WriterLogT m a = WriterLogT {
- unwrapWriterLogT :: WriterSeq m a
- type WriterLog = WriterLogT Identity
- runWriterLogT :: WriterLogT m a -> m (a, LogSeq)
- runWriterLog :: WriterLog a -> (a, LogSeq)
- execWriterLogT :: MonadLog m => WriterLogT m a -> m a
- dumpLogSeq :: MonadLog m => LogSeq -> m ()
- execWriterLog :: MonadLog m => WriterLog a -> m a
The data type of the monad transformer
newtype WriterLogT m a Source
A monad transformer that adds pure logging capability.
Constructors
| WriterLogT | |
Fields
| |
Instances
| MonadTrans WriterLogT | |
| MonadTransControl WriterLogT | |
| MonadBase IO m => MonadBase IO (WriterLogT m) | |
| MonadBaseControl IO m => MonadBaseControl IO (WriterLogT m) | |
| Monad m => Monad (WriterLogT m) | |
| Monad m => Functor (WriterLogT m) | |
| MonadPlus m => MonadPlus (WriterLogT m) | |
| Monad m => Applicative (WriterLogT m) | |
| MonadPlus m => Alternative (WriterLogT m) | |
| MonadIO m => MonadIO (WriterLogT m) | |
| Monad m => MonadLog (WriterLogT m) |
type WriterLog = WriterLogT IdentitySource
runWriterLogT :: WriterLogT m a -> m (a, LogSeq)Source
runWriterLog :: WriterLog a -> (a, LogSeq)Source
execWriterLogT :: MonadLog m => WriterLogT m a -> m aSource
Runs a WriterLogT, and when it finishes, resends all log messages
to the underlying monad that implements MonadLog.
This can be used to delay logging messages, by accumulating them
in WriterLogT, and resending them at the end to the underlying monad.
dumpLogSeq :: MonadLog m => LogSeq -> m ()Source
Sends all log messages to the a monad that implements MonadLog.