Idris2Doc : Log4Types.Core

Log4Types.Core

(source)
Core algebra for composable logging, refined by dependent types.

Re-exports all core modules.

Reexports

import public Log4Types.Core.Action
import public Log4Types.Core.Loggable
import public Log4Types.Core.TestLog
import public Log4Types.Core.Renderer
import public Log4Types.Core.Severity
import public Log4Types.Core.Value