Module Analysis.Logging

This module provides operation for log messages and setting the log level for the analyses.

Author: Michael Hanus

Version: January 2025

Summary of exported operations:

debugMessage :: DLevel -> Int -> String -> IO ()  Deterministic 
Prints a message line (to stderr) if debugging level is at least n.
debugString :: DLevel -> Int -> String -> IO ()  Deterministic 
Prints a string (to stderr) if debugging level is at least n.

Exported datatypes:

DLevel

Debug levels intended as first parameter in debug operations below: 0 : show nothing 1 : show worker activity, e.g., timings 2 : show server communication 3 : ...and show read/store information 4 : ...show also stored/computed analysis data

Constructors:

  • Quiet :: DLevel
  • Timing :: DLevel
  • Communicate :: DLevel
  • Storage :: DLevel
  • AllData :: DLevel

Exported operations:

debugMessage :: DLevel -> Int -> String -> IO ()  Deterministic 

Prints a message line (to stderr) if debugging level is at least n.

debugString :: DLevel -> Int -> String -> IO ()  Deterministic 

Prints a string (to stderr) if debugging level is at least n.