A dependently typed logging level representation where logging
levels are based on a Natural number range [0,70].
The LogLevel
type allows for semantic constructors to be used
for the majority of logging levels, with an option for custom
levels to be defined.
The logging level design comes from the Log4j/Python family of
loggers.
Compare to logging levels.
Logging levels are natural numbers wrapped in a data type for
convenience.
Several aliases have been defined to aide in semantic use of the
logging levels. These aliases have come from the Log4j/Python
family of loggers.
Log No Events
A fine-grained debug message, typically capturing the flow through
the application.
A general debugging event.
An event for informational purposes.
An event that might possible lead to an error.
An error in the application, possibly recoverable.
A severe error that will prevent the application from continuing.
All events should be logged.
User defined logging level.