Control.RIO.Logging

Definitions

data LogLevel : Type

Totality: total
Visibility: public export
Constructors:

Trace : LogLevel

Debug : LogLevel

Info : LogLevel

Warning : LogLevel

Error : LogLevel

Hints:

Eq LogLevel

Interpolation LogLevel

Ord LogLevel

priority : LogLevel -> Nat

Totality: total
Visibility: public export

record Logger : Type

Totality: total
Visibility: public export
Constructor: 

MkLogger : (LogLevel -> Lazy String -> IO ()) -> Logger

Projection: 

.log : Logger -> LogLevel -> Lazy String -> IO ()

Hints:

Monoid Logger

Semigroup Logger

.log : Logger -> LogLevel -> Lazy String -> IO ()

Totality: total
Visibility: public export

log : Logger -> LogLevel -> Lazy String -> IO ()

Totality: total
Visibility: public export

filter : LogLevel -> Logger -> Logger

  Only log message of at least the given logging level.

Totality: total
Visibility: export

consoleLogger : ConsoleOut -> (LogLevel -> Lazy String -> String) -> Logger

Totality: total
Visibility: export

basicConsoleLogger : ConsoleOut -> Logger

Totality: total
Visibility: export

colorConsoleLogger : ConsoleOut -> Logger

  A console logger with colored log level tags

Totality: total
Visibility: export

data Facility : Type

Totality: total
Visibility: public export
Constructors:

Kernel : Facility

UserLevel : Facility

MailSystem : Facility

SystemDaemon : Facility

Authorization : Facility

SyslogInternal : Facility

LinePrinter : Facility

NetworkNews : Facility

UUCP : Facility

ClockDaemon : Facility

SecurityMessages : Facility

FTPDaemon : Facility

NTP : Facility

LogAudit : Facility

LogAlert : Facility

ClockDaemon2 : Facility

syslogLogger : Facility -> ConsoleOut -> Logger

  A logger using syslog priority codes. This can be used with
  systemd services.

Totality: total
Visibility: export

log : Logger => HasIO io => LogLevel -> Lazy String -> io ()

Totality: total
Visibility: export

trace : Logger => HasIO io => Lazy String -> io ()

Totality: total
Visibility: export

debug : Logger => HasIO io => Lazy String -> io ()

Totality: total
Visibility: export

info : Logger => HasIO io => Lazy String -> io ()

Totality: total
Visibility: export

warn : Logger => HasIO io => Lazy String -> io ()

Totality: total
Visibility: export

error : Logger => HasIO io => Lazy String -> io ()

Totality: total
Visibility: export