Log4Types.Core.Severity

Log severity levels and severity-based filtering.

Definitions

data Severity : Type

  Standard severity levels for log messages.
  
  Ordered from least to most severe: Debug < Info < Warning < Error.

Totality: total
Visibility: public export
Constructors:

Debug : Severity

Info : Severity

Warning : Severity

Error : Severity

Hints:

Eq Severity

Ord Severity

Show Severity

filterBySeverity : Applicative m => Severity -> (a -> Severity) -> LogAction m a -> LogAction m a

  Only log messages with severity at or above the given threshold.

Totality: total
Visibility: public export