Log4Types.Core.Renderer

Backend-agnostic log rendering.

A `LogRenderer` describes how to build structured output of type `r`
from log fields. Different backends (text, JSON, key-value pairs)
provide different `LogRenderer` implementations. A single `Loggable`
instance works with any renderer.

Definitions

record LogRenderer : Type -> Type

  A backend-agnostic renderer for structured log output.
  
  This is a record (not an interface) so multiple renderers can coexist
  in the same program without orphan instance issues.

Totality: total
Visibility: public export
Constructor: 

MkLogRenderer : (String -> LogParamValue -> r -> r) -> (String -> (r -> r) -> r -> r) -> r -> (r -> r -> r) -> LogRenderer r

Projections:

.addField : LogRenderer r -> String -> LogParamValue -> r -> r

  Add a named field with a primitive value.

.addNested : LogRenderer r -> String -> (r -> r) -> r -> r

  Add a named nested object (the function builds the nested content).

.combine : LogRenderer r -> r -> r -> r

  Merge two outputs.

.empty : LogRenderer r -> r

  The empty output (identity for `combine`).

.addField : LogRenderer r -> String -> LogParamValue -> r -> r

  Add a named field with a primitive value.

Totality: total
Visibility: public export

addField : LogRenderer r -> String -> LogParamValue -> r -> r

  Add a named field with a primitive value.

Totality: total
Visibility: public export

.addNested : LogRenderer r -> String -> (r -> r) -> r -> r

  Add a named nested object (the function builds the nested content).

Totality: total
Visibility: public export

addNested : LogRenderer r -> String -> (r -> r) -> r -> r

  Add a named nested object (the function builds the nested content).

Totality: total
Visibility: public export

.empty : LogRenderer r -> r

  The empty output (identity for `combine`).

Totality: total
Visibility: public export

empty : LogRenderer r -> r

  The empty output (identity for `combine`).

Totality: total
Visibility: public export

.combine : LogRenderer r -> r -> r -> r

  Merge two outputs.

Totality: total
Visibility: public export

combine : LogRenderer r -> r -> r -> r

  Merge two outputs.

Totality: total
Visibility: public export