Logger

eff LoggerSource

An effect used to log messages.

Operations

def log(s: Severity, m: String): Unit Source

Logs the given message m at the given severity s.

Definitions

def debug1(m: a): Unit \ Logger with ToString[a] Source

Logs the message m at the Debug level.

def fatal(m: a): Unit \ Logger with ToString[a] Source

Logs the message m at the Fatal level.

def info(m: a): Unit \ Logger with ToString[a] Source

Logs the message m at the Info level.

def run(f: Unit -> a \ ef): a \ (ef & (~Logger)) + IO Source

Runs the Logger effect of the given function f.

In other words, re-interprets the Logger effect using the IO effect.

def trace(m: a): Unit \ Logger with ToString[a] Source

Logs the message m at the Trace level.

def warn(m: a): Unit \ Logger with ToString[a] Source

Logs the message m at the Warn level.