Module CPP.Helpers

Auxiliary operations for the preprocessor.

Summary of exported operations:

checkRequiredImport :: String -> String -> [String] -> IO ()  Deterministic 
Checks whether a module is in the import list.
setFunMod :: String  Deterministic 
Name of the set functions module.

Exported operations:

checkRequiredImport :: String -> String -> [String] -> IO ()  Deterministic 

Checks whether a module is in the import list. Aborts with an error if this is not the case.

setFunMod :: String  Deterministic 

Name of the set functions module.

Further infos:
  • solution complete, i.e., able to compute all solutions