Idris2Doc : Log4Types

Log4Types

(source)
Composable structured logging for Idris 2 applications.

Re-exports all log4types modules.

Reexports

import public Log4Types.ANSI
import public Log4Types.Context
import public Log4Types.Core
import public Log4Types.File
import public Log4Types.Format
import public Log4Types.HasLog
import public Log4Types.IO
import public Log4Types.Message