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.File.Rotation
import public Log4Types.Format
import public Log4Types.HasLog
import public Log4Types.IO
import public Log4Types.Message