IO.Async.Logging

Definitions

data LogLevel : Type

Totality: total
Visibility: public export
Constructors:

Trace : LogLevel

Debug : LogLevel

Info : LogLevel

Warn : LogLevel

Error : LogLevel

Fatal : LogLevel

Hints:

Eq LogLevel

Interpolation LogLevel

Ord LogLevel

Show LogLevel

record Logger : (0 _ : Type) -> Type

Totality: total
Visibility: public export
Constructor: 

MkLogger : (LogLevel -> Lazy (List String) -> Async e [] ()) -> Logger e

Projection: 

.logML : Logger e -> LogLevel -> Lazy (List String) -> Async e [] ()

Hints:

Monoid (Logger e)

Semigroup (Logger e)

.logML : Logger e -> LogLevel -> Lazy (List String) -> Async e [] ()

Totality: total
Visibility: public export

logML : Logger e -> LogLevel -> Lazy (List String) -> Async e [] ()

Totality: total
Visibility: public export

filter : LogLevel -> Logger e -> Logger e

  Only log message of at least the given logging level.

Totality: total
Visibility: export

logML : Logger e => LogLevel -> Lazy (List String) -> Async e es ()

Totality: total
Visibility: export

log : Logger e => LogLevel -> Lazy String -> Async e es ()

Totality: total
Visibility: export

trace : Logger e => Lazy String -> Async e es ()

Totality: total
Visibility: export

debug : Logger e => Lazy String -> Async e es ()

Totality: total
Visibility: export

info : Logger e => Lazy String -> Async e es ()

Totality: total
Visibility: export

warn : Logger e => Lazy String -> Async e es ()

Totality: total
Visibility: export

error : Logger e => Lazy String -> Async e es ()

Totality: total
Visibility: export

fatal : Logger e => Lazy String -> Async e es ()

Totality: total
Visibility: export

traceML : Logger e => Lazy (List String) -> Async e es ()

Totality: total
Visibility: export

debugML : Logger e => Lazy (List String) -> Async e es ()

Totality: total
Visibility: export

infoML : Logger e => Lazy (List String) -> Async e es ()

Totality: total
Visibility: export

warnML : Logger e => Lazy (List String) -> Async e es ()

Totality: total
Visibility: export

errorML : Logger e => Lazy (List String) -> Async e es ()

Totality: total
Visibility: export

fatalML : Logger e => Lazy (List String) -> Async e es ()

Totality: total
Visibility: export

ierror : Logger e => Interpolation a => a -> Async e es ()

Totality: total
Visibility: export

ifatal : Logger e => Interpolation a => a -> Async e es ()

Totality: total
Visibility: export

interface Loggable : Type -> Type -> Type

Parameters: e, t
Methods:

logLoggable : t -> Async e es ()

logLoggable : Loggable e t => t -> Async e es ()

Totality: total
Visibility: public export

unerr : All (Loggable e) es => t -> Async e es t -> Async e [] t

Totality: total
Visibility: export

unerrMaybe : All (Loggable e) es => Async e es t -> Async e [] (Maybe t)

Totality: total
Visibility: export

logErrs : All (Loggable e) es => Async e es () -> Async e [] ()

Totality: total
Visibility: export