Idris2Doc : Log4Types.Core.Value

Log4Types.Core.Value

(source)
Typed primitive values for structured log fields.

`LogParamValue` preserves type fidelity so that numbers remain
numbers and booleans remain booleans in structured output (e.g. JSON),
rather than everything being stringified.

Definitions

data LogParamValue : Type
  A primitive value that can appear in a structured log field.

Totality: total
Visibility: public export
Constructors:
StrVal : String -> LogParamValue
IntVal : Integer -> LogParamValue
FloatVal : Double -> LogParamValue
BoolVal : Bool -> LogParamValue
NullVal : LogParamValue

Hints:
Eq LogParamValue
Loggable LogParamValue
Show LogParamValue