| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell98 |
Control.Monad.Logger
Contents
Description
This module provides the facilities needed for a decoupled logging system.
The MonadLogger class is implemented by monads that give access to a logging facility. If you're defining a custom monad, then you may define an instance of MonadLogger that routes the log messages to the appropriate place (e.g., that's what yesod-core's GHandler does). Otherwise, you may use the LoggingT monad included in this module (see runStderrLoggingT). To simply discard log message, use NoLoggingT.
As a user of the logging facility, we provide you some convenient Template Haskell splices that use the MonadLogger class. They will record their source file and position, which is very helpful when debugging. See logDebug for more information.
- class Monad m => MonadLogger m where
- class (MonadLogger m, MonadIO m) => MonadLoggerIO m where
- data LogLevel
- type LogSource = Text
- data LogStr :: *
- class ToLogStr msg where
- newtype LoggingT m a = LoggingT {}
- runStderrLoggingT :: MonadIO m => LoggingT m a -> m a
- runStdoutLoggingT :: MonadIO m => LoggingT m a -> m a
- runChanLoggingT :: MonadIO m => Chan (Loc, LogSource, LogLevel, LogStr) -> LoggingT m a -> m a
- unChanLoggingT :: (MonadLogger m, MonadIO m) => Chan (Loc, LogSource, LogLevel, LogStr) -> m ()
- withChannelLogger :: (MonadBaseControl IO m, MonadIO m) => Int -> LoggingT m a -> LoggingT m a
- filterLogger :: (LogSource -> LogLevel -> Bool) -> LoggingT m a -> LoggingT m a
- newtype NoLoggingT m a = NoLoggingT {
- runNoLoggingT :: m a
- logDebug :: Q Exp
- logInfo :: Q Exp
- logWarn :: Q Exp
- logError :: Q Exp
- logOther :: Text -> Q Exp
- logDebugSH :: Q Exp
- logInfoSH :: Q Exp
- logWarnSH :: Q Exp
- logErrorSH :: Q Exp
- logOtherSH :: Text -> Q Exp
- logDebugS :: Q Exp
- logInfoS :: Q Exp
- logWarnS :: Q Exp
- logErrorS :: Q Exp
- logOtherS :: Q Exp
- liftLoc :: Loc -> Q Exp
- logDebugN :: MonadLogger m => Text -> m ()
- logInfoN :: MonadLogger m => Text -> m ()
- logWarnN :: MonadLogger m => Text -> m ()
- logErrorN :: MonadLogger m => Text -> m ()
- logOtherN :: MonadLogger m => LogLevel -> Text -> m ()
- logDebugNS :: MonadLogger m => Text -> Text -> m ()
- logInfoNS :: MonadLogger m => Text -> Text -> m ()
- logWarnNS :: MonadLogger m => Text -> Text -> m ()
- logErrorNS :: MonadLogger m => Text -> Text -> m ()
- logOtherNS :: MonadLogger m => Text -> LogLevel -> Text -> m ()
- logDebugCS :: MonadLogger m => CallStack -> Text -> m ()
- logInfoCS :: MonadLogger m => CallStack -> Text -> m ()
- logWarnCS :: MonadLogger m => CallStack -> Text -> m ()
- logErrorCS :: MonadLogger m => CallStack -> Text -> m ()
- logOtherCS :: MonadLogger m => CallStack -> LogLevel -> Text -> m ()
- defaultLogStr :: Loc -> LogSource -> LogLevel -> LogStr -> LogStr
- data Loc :: * = Loc {}
MonadLogger
class Monad m => MonadLogger m where Source #
A Monad which has the ability to log messages in some manner.
Methods
monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> m () Source #
monadLoggerLog :: (MonadTrans t, MonadLogger (t m), ToLogStr msg) => Loc -> LogSource -> LogLevel -> msg -> t m () Source #
Instances
| MonadLogger m => MonadLogger (MaybeT m) Source # | |
| MonadLogger m => MonadLogger (ListT m) Source # | |
| MonadLogger m => MonadLogger (ResourceT m) Source # | |
| MonadIO m => MonadLogger (LoggingT m) Source # | |
| Monad m => MonadLogger (NoLoggingT m) Source # | |
| (MonadLogger m, Monoid w) => MonadLogger (WriterT w m) Source # | |
| (MonadLogger m, Monoid w) => MonadLogger (WriterT w m) Source # | |
| MonadLogger m => MonadLogger (StateT s m) Source # | |
| MonadLogger m => MonadLogger (StateT s m) Source # | |
| (MonadLogger m, Error e) => MonadLogger (ErrorT e m) Source # | |
| MonadLogger m => MonadLogger (ExceptT e m) Source # | |
| MonadLogger m => MonadLogger (IdentityT * m) Source # | |
| MonadLogger m => MonadLogger (ReaderT * r m) Source # | |
| MonadLogger m => MonadLogger (ConduitM i o m) Source # | |
| MonadLogger m => MonadLogger (ContT * r m) Source # | |
| (MonadLogger m, Monoid w) => MonadLogger (RWST r w s m) Source # | |
| (MonadLogger m, Monoid w) => MonadLogger (RWST r w s m) Source # | |
| MonadLogger m => MonadLogger (Pipe l i o u m) Source # | |
class (MonadLogger m, MonadIO m) => MonadLoggerIO m where Source #
An extension of MonadLogger for the common case where the logging action is a simple IO action. The advantage of using this typeclass is that the logging function itself can be extracted as a first-class value, which can make it easier to manipulate monad transformer stacks, as an example.
Since 0.3.10
Methods
askLoggerIO :: m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) Source #
Request the logging function itself.
Since 0.3.10
askLoggerIO :: (MonadTrans t, MonadLogger (t m), MonadIO (t m)) => t m (Loc -> LogSource -> LogLevel -> LogStr -> IO ()) Source #
Request the logging function itself.
Since 0.3.10
Instances
Constructors
| LevelDebug | |
| LevelInfo | |
| LevelWarn | |
| LevelError | |
| LevelOther Text |
Re-export from fast-logger
Log message builder. Use (<>) to append two LogStr in O(1).
Helper transformer
Monad transformer that adds a new logging function.
Since 0.2.2
Instances
runStderrLoggingT :: MonadIO m => LoggingT m a -> m a Source #
Run a block using a MonadLogger instance which prints to stderr.
Since 0.2.2
runStdoutLoggingT :: MonadIO m => LoggingT m a -> m a Source #
Run a block using a MonadLogger instance which prints to stdout.
Since 0.2.2
runChanLoggingT :: MonadIO m => Chan (Loc, LogSource, LogLevel, LogStr) -> LoggingT m a -> m a Source #
Run a block using a MonadLogger instance which writes tuples to an unbounded channel.
The tuples can be extracted (ie. in another thread) with unChanLoggingT or a custom extraction funtion, and written to a destination.
Since: 0.3.17
unChanLoggingT :: (MonadLogger m, MonadIO m) => Chan (Loc, LogSource, LogLevel, LogStr) -> m () Source #
Read logging tuples from an unbounded channel and log them into a MonadLoggerIO monad, forever.
For use in a dedicated thread with a channel fed by runChanLoggingT.
Since: 0.3.17
Arguments
| :: (MonadBaseControl IO m, MonadIO m) | |
| => Int | Number of messages to keep |
| -> LoggingT m a | |
| -> LoggingT m a |
Within the LoggingT monad, capture all log messages to a bounded channel of the indicated size, and only actually log them if there is an exception.
Since 0.3.2
filterLogger :: (LogSource -> LogLevel -> Bool) -> LoggingT m a -> LoggingT m a Source #
Only log messages passing the given predicate function.
This can be a convenient way, for example, to ignore debug level messages.
Since 0.3.13
newtype NoLoggingT m a Source #
Monad transformer that disables logging.
Since 0.2.4
Constructors
| NoLoggingT | |
Fields
| |
Instances
| MonadTrans NoLoggingT Source # | |
| MonadTransControl NoLoggingT Source # | |
| MonadBaseControl b m => MonadBaseControl b (NoLoggingT m) Source # | |
| MonadBase b m => MonadBase b (NoLoggingT m) Source # | |
| MonadError e m => MonadError e (NoLoggingT m) Source # | |
| MonadState s m => MonadState s (NoLoggingT m) Source # | |
| MonadWriter w m => MonadWriter w (NoLoggingT m) Source # | |
| Monad m => Monad (NoLoggingT m) Source # | |
| Monad m => Functor (NoLoggingT m) Source # | |
| Monad m => Applicative (NoLoggingT m) Source # | |
| MonadIO m => MonadIO (NoLoggingT m) Source # | |
| MonadActive m => MonadActive (NoLoggingT m) Source # | |
| MonadThrow m => MonadThrow (NoLoggingT m) Source # | |
| MonadCatch m => MonadCatch (NoLoggingT m) Source # | |
| MonadMask m => MonadMask (NoLoggingT m) Source # | |
| MonadResource m => MonadResource (NoLoggingT m) Source # | |
| MonadIO m => MonadLoggerIO (NoLoggingT m) Source # | |
| Monad m => MonadLogger (NoLoggingT m) Source # | |
| type StT NoLoggingT a Source # | |
| type StM (NoLoggingT m) a Source # | |
TH logging
Generates a function that takes a Text and logs a LevelDebug message. Usage:
$(logDebug) "This is a debug log message"
logOther :: Text -> Q Exp Source #
Generates a function that takes a Text and logs a LevelOther message. Usage:
$(logOther "My new level") "This is a log message"
TH logging of showable values
logDebugSH :: Q Exp Source #
Generates a function that takes a 'Show a => a' and logs a LevelDebug message. Usage:
$(logDebugSH) (Just "This is a debug log message")
Since: 0.3.18
logErrorSH :: Q Exp Source #
See logDebugSH
logOtherSH :: Text -> Q Exp Source #
Generates a function that takes a 'Show a => a' and logs a LevelOther message. Usage:
$(logOtherSH "My new level") "This is a log message"
TH logging with source
Generates a function that takes a LogSource and Text and logs a LevelDebug message. Usage:
$logDebugS "SomeSource" "This is a debug log message"
Generates a function that takes a LogSource, a level name and a Text and logs a LevelOther message. Usage:
$logOtherS "SomeSource" "My new level" "This is a log message"
TH util
Non-TH logging
logDebugN :: MonadLogger m => Text -> m () Source #
logInfoN :: MonadLogger m => Text -> m () Source #
logWarnN :: MonadLogger m => Text -> m () Source #
logErrorN :: MonadLogger m => Text -> m () Source #
Non-TH logging with source
logDebugNS :: MonadLogger m => Text -> Text -> m () Source #
logErrorNS :: MonadLogger m => Text -> Text -> m () Source #
logOtherNS :: MonadLogger m => Text -> LogLevel -> Text -> m () Source #
Callstack logging
logDebugCS :: MonadLogger m => CallStack -> Text -> m () Source #
logInfoCS :: MonadLogger m => CallStack -> Text -> m () Source #
See logDebugCS
Since: 0.3.19
logWarnCS :: MonadLogger m => CallStack -> Text -> m () Source #
See logDebugCS
Since: 0.3.19
logErrorCS :: MonadLogger m => CallStack -> Text -> m () Source #
See logDebugCS
Since: 0.3.19
logOtherCS :: MonadLogger m => CallStack -> LogLevel -> Text -> m () Source #
See logDebugCS
Since: 0.3.19