Log4Types.IO

Concrete IO-based logging actions.

Definitions

logStringStdout : HasIO io => LogAction io String

  Log strings to stdout, one per line.

Totality: total
Visibility: public export

logStringStderr : HasIO io => LogAction io String

  Log strings to stderr, one per line.

Totality: total
Visibility: public export

logPrintLn : (HasIO io, Show a) => LogAction io a

  Log any `Show`-able value to stdout.

Totality: total
Visibility: public export