Package log4types - Namespaces

• Log4Types

  Composable structured logging for Idris 2 applications.
• Log4Types.ANSI

  ANSI-coloured console output for log4types.
• Log4Types.Context

  Scoped structured context for enriching log messages.
• Log4Types.File

  File-based logging actions.
• Log4Types.Format

  Human-readable text formatting for log output.
• Log4Types.HasLog

  Typeclass-based access to loggers from an environment.
• Log4Types.IO

  Concrete IO-based logging actions.
• Log4Types.Message

  Structured message types for application logging.