Module Analysis.Logging

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

Author
Michael Hanus
Version
January 2025
Exported Datatypes:
Exported Functions:

Exported Datatypes


data 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

Known instances:


Exported Functions


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.