This module provides operation for log messages and setting the log level for the analyses.
Author: Michael Hanus
Version: April 2021
debugMessage
:: DLevel -> Int -> String -> IO ()
Prints a message line if debugging level is at least n: |
debugString
:: DLevel -> Int -> String -> IO ()
Prints a string if debugging level (as specified in the Config file) is at least n: |
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
Prints a message line if debugging level is at least n: |
Prints a string if debugging level (as specified in the Config file) is at least n: |