System.Logger.Logger

This module provides a logger that implements the logger interface that is defined in System.Logger.Types.

All the code of this module is in System.Logger.Logger.Internal.

The definitions in System.Logger.Types are re-exported by this module.

Re-Export Logger Interface

module System.Logger.Types

Logger

data Logger a

Instances

Generic (Logger a)

Defined in System.Logger.Logger.Internal

Associated Types

type Rep (Logger a) :: Type -> Type

Methods

from :: Logger a -> Rep (Logger a) x

to :: Rep (Logger a) x -> Logger a

LoggerCtx (Logger a) a

Defined in System.Logger.Logger.Internal

Methods

loggerFunIO :: Logger a -> LogFunctionIO a

setLoggerLevel :: Lens' (Logger a) LogLevel

setLoggerScope :: Lens' (Logger a) LogScope

setLoggerPolicy :: Lens' (Logger a) LogPolicy

withLoggerLevel :: LogLevel -> Logger a -> (Logger a -> α) -> α

withLoggerLabel :: LogLabel -> Logger a -> (Logger a -> α) -> α

withLoggerPolicy :: LogPolicy -> Logger a -> (Logger a -> α) -> α

type Rep (Logger a)

Defined in System.Logger.Logger.Internal

type Rep (Logger a)

withLogger :: (MonadIO μ, MonadBaseControl IO μ) => LoggerConfig -> LoggerBackend a -> (Logger a -> μ α) -> μ α

Provide a computation with a Logger.

Here is an example how this can be used to run a computation with a MonadLog constraint:

withConsoleLogger
    ∷ (MonadIO m, MonadBaseControl IO m)
    ⇒ LogLevel
    → LoggerT T.Text m α
    → m α
withConsoleLogger level inner = do
   withHandleBackend (config ^. logConfigBackend) $ \backend →
       withLogger (config ^. logConfigLogger) backend $ runLoggerT inner
 where
   config = defaultLogConfig
       & logConfigLogger ∘ loggerConfigThreshold .~ level

For detailed information about how backends are executed refer to the documentation of createLogger.

withLogger_

Arguments

:: (MonadIO μ, MonadBaseControl IO μ)

=> (Text -> IO ())

alternate sink for logging exceptions in the logger itself.

-> LoggerConfig

-> LoggerBackend a

-> (Logger a -> μ α)

-> μ α

A version of withLogger that takes as an extra argument a function for logging errors in the logging system.

Since: 0.2

withLogFunction :: (Show a, Typeable a, NFData a, MonadIO μ, MonadBaseControl IO μ) => LoggerConfig -> LoggerBackend a -> (LogFunctionIO a -> μ α) -> μ α

For simple cases, when the logger threshold and the logger scope is constant this function can be used to directly initialize a log function.

withLogFunction_

Arguments

:: (Show a, Typeable a, NFData a, MonadIO μ, MonadBaseControl IO μ)

=> (Text -> IO ())

alternate sink for logging exceptions in the logger itself.

-> LoggerConfig

-> LoggerBackend a

-> (LogFunctionIO a -> μ α)

-> μ α

For simple cases, when the logger threshold and the logger scope is constant this function can be used to directly initialize a log function.

Since: 0.2

LoggerT Monad Transformer

type LoggerT a = LoggerCtxT (Logger a)

runLoggerT :: LoggerT a m α -> Logger a -> m α

runLogT :: (MonadBaseControl IO m, MonadIO m) => LoggerConfig -> LoggerBackend msg -> LoggerT msg m α -> m α

Convenience function that unwraps a MonadLog computation over a newly created Logger

Configuration Types

Logger Configuration

data LoggerConfig

Logger Configuration

Constructors

LoggerConfig

Fields

• _loggerConfigQueueSize :: !Natural
• _loggerConfigThreshold :: !LogLevel

  initial log threshold, can be changed later on

• _loggerConfigScope :: !LogScope

  initial stack of log labels, can be extended later on

• _loggerConfigPolicy :: !LogPolicy

  how to deal with a congested logging pipeline

• _loggerConfigExceptionLimit :: !(Maybe Natural)

  number of consecutive backend exception that can occur before the logger raises an BackendTooManyExceptions exception. If this is Nothing the logger will discard all exceptions. For instance a value of 1 means that an exception is raised when the second exception occurs. A value of 0 means that an exception is raised for each exception.

  Since: 0.2

• _loggerConfigExceptionWait :: !(Maybe Natural)

  number of microseconds to wait after an exception from the backend. If this is Nothing the logger won't wait at all after an exception.

  Since: 0.2

• _loggerConfigExitTimeout :: !(Maybe Natural)

  timeout in microseconds for the logger to flush the queue and deliver all remaining log messages on termination. If this is Nothing termination of the logger blogs until all mesages are delivered.

  Since: 0.2

Instances

Eq LoggerConfig

Defined in System.Logger.Logger.Internal

Methods

(==) :: LoggerConfig -> LoggerConfig -> Bool

(/=) :: LoggerConfig -> LoggerConfig -> Bool

Ord LoggerConfig

Defined in System.Logger.Logger.Internal

Methods

compare :: LoggerConfig -> LoggerConfig -> Ordering

(<) :: LoggerConfig -> LoggerConfig -> Bool

(<=) :: LoggerConfig -> LoggerConfig -> Bool

(>) :: LoggerConfig -> LoggerConfig -> Bool

(>=) :: LoggerConfig -> LoggerConfig -> Bool

max :: LoggerConfig -> LoggerConfig -> LoggerConfig

min :: LoggerConfig -> LoggerConfig -> LoggerConfig

Read LoggerConfig

Defined in System.Logger.Logger.Internal

Methods

readsPrec :: Int -> ReadS LoggerConfig

readList :: ReadS [LoggerConfig]

readPrec :: ReadPrec LoggerConfig

readListPrec :: ReadPrec [LoggerConfig]

Show LoggerConfig

Defined in System.Logger.Logger.Internal

Methods

showsPrec :: Int -> LoggerConfig -> ShowS

show :: LoggerConfig -> String

showList :: [LoggerConfig] -> ShowS

Generic LoggerConfig

Defined in System.Logger.Logger.Internal

Associated Types

type Rep LoggerConfig :: Type -> Type

Methods

from :: LoggerConfig -> Rep LoggerConfig x

to :: Rep LoggerConfig x -> LoggerConfig

NFData LoggerConfig

Defined in System.Logger.Logger.Internal

Methods

rnf :: LoggerConfig -> ()

ToJSON LoggerConfig

Defined in System.Logger.Logger.Internal

Methods

toJSON :: LoggerConfig -> Value

toEncoding :: LoggerConfig -> Encoding

toJSONList :: [LoggerConfig] -> Value

toEncodingList :: [LoggerConfig] -> Encoding

FromJSON (LoggerConfig -> LoggerConfig)

Defined in System.Logger.Logger.Internal

Methods

parseJSON :: Value -> Parser (LoggerConfig -> LoggerConfig)

parseJSONList :: Value -> Parser [LoggerConfig -> LoggerConfig]

type Rep LoggerConfig

Defined in System.Logger.Logger.Internal

type Rep LoggerConfig = D1 ('MetaData "LoggerConfig" "System.Logger.Logger.Internal" "yet-another-logger-0.4.1-J79MEOzaz0waG5wG6Tk1C" 'False) (C1 ('MetaCons "LoggerConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_loggerConfigQueueSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: (S1 ('MetaSel ('Just "_loggerConfigThreshold") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LogLevel) :*: S1 ('MetaSel ('Just "_loggerConfigScope") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LogScope))) :*: ((S1 ('MetaSel ('Just "_loggerConfigPolicy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LogPolicy) :*: S1 ('MetaSel ('Just "_loggerConfigExceptionLimit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural))) :*: (S1 ('MetaSel ('Just "_loggerConfigExceptionWait") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just "_loggerConfigExitTimeout") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural))))))

loggerConfigQueueSize :: Lens' LoggerConfig Natural

loggerConfigThreshold :: Lens' LoggerConfig LogLevel

loggerConfigScope :: Lens' LoggerConfig LogScope

loggerConfigPolicy :: Lens' LoggerConfig LogPolicy

loggerConfigExceptionLimit :: Lens' LoggerConfig (Maybe Natural)

loggerConfigExceptionWait :: Lens' LoggerConfig (Maybe Natural)

loggerConfigExitTimeout :: Lens' LoggerConfig (Maybe Natural)

defaultLoggerConfig :: LoggerConfig

Default Logger configuration

The exception limit for backend exceptions is 10 and the wait time between exceptions is 1000. This means that in case of a defunctioned backend the logger will exist by throwing an exception after at least one second. When the logger is terminated it is granted 1 second to flush the queue and deliver all remaining log messages.

validateLoggerConfig :: ConfigValidation LoggerConfig λ

pLoggerConfig :: MParser LoggerConfig

pLoggerConfig_

Arguments

:: Text

prefix for this and all subordinate command line options.

-> MParser LoggerConfig

A version of pLoggerConfig that takes a prefix for the command line option.

Since: 0.2