Log4Types.Context

Scoped structured context for enriching log messages.

A `Context` is a list of named fields that can be attached to every
log message within a scope. Contexts are pure values that compose
by appending.

Definitions

Context : Type

  A structured context: a list of named fields.

Totality: total
Visibility: public export

emptyContext : Context

  The empty context.

Totality: total
Visibility: public export

addField : String -> LogParamValue -> Context -> Context

  Add a primitive field to a context.

Totality: total
Visibility: public export

addStr : String -> String -> Context -> Context

  Add a string field to a context.

Totality: total
Visibility: public export

addInt : String -> Integer -> Context -> Context

  Add an integer field to a context.

Totality: total
Visibility: public export

addBool : String -> Bool -> Context -> Context

  Add a boolean field to a context.

Totality: total
Visibility: public export

addNamespace : String -> Context -> Context

  Add a namespace segment to a context.
  
  Namespaces are stored as string fields with the key "namespace".

Totality: total
Visibility: public export

withContext : Context -> LogAction m Msg -> LogAction m Msg

  Enrich a Msg log action by prepending context fields to every message.

Totality: total
Visibility: public export