Module CC.AnalysisHelpers

Summary of exported operations:

getTerminationInfos
                  ::  Options -> [String] -> IO ((String,String) -> Bool)

getProductivityInfos
                  ::  Options -> [String] -> IO ((String,String) -> Productivity)

getUnsafeModuleInfos
                  ::  Options -> [String] -> IO ((String,String) -> [String])

dropPublicSuffix
                  ::  String -> String

getTerminationInfos :: Options -> [String] -> IO ((String,String) -> Bool)

getProductivityInfos :: Options -> [String] -> IO ((String,String) -> Productivity)

getUnsafeModuleInfos :: Options -> [String] -> IO ((String,String) -> [String])

dropPublicSuffix :: String -> String