Log4Types.Format

Human-readable text formatting for log output.

Definitions

textRenderer : LogRenderer String

  A LogRenderer that builds key=value text output.
  
  Fields are rendered as `key=value` pairs separated by spaces.
  Nested objects are rendered as `key.subkey=value`.

Totality: total
Visibility: public export

fmtSeverity : Severity -> String

  Format a severity level as a bracketed tag.
  
  ```idris
  fmtSeverity Info == "[INFO]"
  ```

Totality: total
Visibility: public export

formatWith : (msg -> String) -> LogAction m String -> LogAction m msg

  Compose a formatting function with a string log action.
  
  This is `cmap` specialised for the common pattern of
  formatting a message then sending it to a string-based logger.

Totality: total
Visibility: public export