Log4Types.JSON

JSON backend for log4types structured logging.

Provides a `LogRenderer` that builds `Language.JSON.JSON` values,
and encoding functions for producing JSON log lines from messages.

Definitions

jsonRenderer : LogRenderer JSON

  A LogRenderer that builds JSON objects.
  
  Fields are accumulated as key-value pairs in a `JObject`.
  Nested objects are represented as sub-objects.

Totality: total
Visibility: public export

paramValueToJSON : LogParamValue -> JSON

  Convert a LogParamValue to a JSON value.

Totality: total
Visibility: public export

encodeLoggable : Loggable a => a -> JSON

  Encode any Loggable value as a JSON object.

Totality: total
Visibility: public export

encodeLoggableStr : Loggable a => a -> String

  Encode any Loggable value as a JSON string.

Totality: total
Visibility: public export

jsonLogStdout : (HasIO io, Loggable a) => LogAction io a

  A log action that encodes Loggable values as JSON lines to stdout.

Totality: total
Visibility: public export