Data.Boltzmann.Internal.Logging

General logging utilities.

Documentation

data Log

Constructors

Log

Fields

• lvl :: Level

  Logging level.

• msg :: String

  Logging message.

info :: String -> IO ()

Logs an INFO message.

warn :: String -> IO ()

Logs a WARNING message.

warn' :: String -> IO a

Logs a WARNING message and terminates.

hint :: String -> IO ()

Logs a HINT message.

hint' :: String -> IO a

Logs a HINT message and terminates.

fail :: String -> IO ()

Logs an ERROR message.

fail' :: String -> IO a

Logs an ERROR message and terminates.