Module Analysis.Logging

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

Author: Michael Hanus

Version: April 2021

Summary of exported operations:

debugMessage :: DLevel -> Int -> String -> IO ()  Deterministic 
Prints a message line if debugging level is at least n:
debugString :: DLevel -> Int -> String -> IO ()  Deterministic 
Prints a string if debugging level (as specified in the Config file) 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 if debugging level is at least n:

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

Prints a string if debugging level (as specified in the Config file) is at least n: