
  0 | ||| Composable structured logging for Idris 2 applications.
  1 | |||
  2 | ||| Re-exports all log4types modules.
  3 | module Log4Types
  4 | 
  5 | import public Log4Types.ANSI
  6 | import public Log4Types.Context
  7 | import public Log4Types.Core
  8 | import public Log4Types.File
  9 | import public Log4Types.Format
 10 | import public Log4Types.HasLog
 11 | import public Log4Types.IO
 12 | import public Log4Types.Message
 13 |