Package log4types-core - Namespaces

• Log4Types.Core

  Core algebra for composable logging, refined by dependent types.
• Log4Types.Core.Action

  The fundamental LogAction type and combinators.
• Log4Types.Core.Loggable

  The Loggable interface for structured log values.
• Log4Types.Core.TestLog

  In-memory logging for testing.
• Log4Types.Core.Renderer

  Backend-agnostic log rendering.
• Log4Types.Core.Severity

  Log severity levels and severity-based filtering.
• Log4Types.Core.Value

  Typed primitive values for structured log fields.