IdrisDoc: Effect.Logging.Simple

Effect.Logging.Simple

A simple logging effect that allows messages to be logged at
different numerical level. The higher the number the grater in
verbosity the logging.

In this effect the resource we are computing over is the logging
level itself.

log : (l : Nat) -> (m : String) -> Eff () [LOG]

Log msg at the given level.

l

The level to log.

m

The message to log.

data Logging : Effect

A Logging effect that displays a logging message to be logged at a
certain level.

Log : (lvl : Nat) -> (msg : String) -> Logging () Nat (\v => Nat)
LOG : EFFECT

A Logging Effect.