Module Verify.Helpers

loadAnalysisWithImports :: (Read a, Show a) => IORef (AnalysisStore a) -> Analysis a -> Options -> Prog -> IO ((String,String) -> a)   

sortFunResults :: [((String,String),a)] -> [((String,String),a)]   

showFunResults :: (a -> String) -> [((String,String),a)] -> [String]   

getModuleModTime :: String -> IO ClockTime   

Returns the modification time of a module.

transformChoiceInProg :: Prog -> Prog   

Replace all occurrences of Prelude.? in a FlatCurry program by Or expressions.

patternArgs :: Pattern -> [Int]   

Further infos:

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

allConsOfTypes :: [TypeDecl] -> [[((String,String),Int)]]   

Compute all constructors (and their arities) grouped by their types from type declarations.

readQC :: String -> (String,String)   

funcsInExpr :: Expr -> [(String,String)]   

Returns the qualified names of all functions occurring in an expression.

freshVarPos :: [Int]   

Fresh variables, i.e., variables not occurring in a position of the left-hand side, are represented as a root position.

Further infos:

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

isFreshVarPos :: [Int] -> Bool   

Is a variable position the position of a fresh variable, i.e., a variable which does not occur in the left-hand side?

Further infos:

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

pre :: String -> (String,String)   

Transform name into Prelude-qualified name.

Further infos:

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

getSiblingsOf :: [[((String,String),Int)]] -> (String,String) -> Maybe [((String,String),Int)]   

Gets the siblings of a constructor w.r.t. all constructors grouped by types.

arityOfCons :: [[((String,String),Int)]] -> (String,String) -> Int   

Gets the siblings of a constructor w.r.t. all constructors grouped by types.

isCompleteConstructorList :: [[((String,String),Int)]] -> [(String,String)] -> Bool   

Is a non-empty list of constructors complete, i.e., does it contain all the constructors of a type? The first argument contains all the constructors in a program.

stdConstructors :: [[(String,String)]]   

Some predefined data constructors grouped by their types. Used for testing in module CallTypes.

isEncSearchOp :: (String,String) -> Bool   

Is this the name of a non-failing encapsulated search operation?

isSetFunOp :: (String,String) -> Bool   

Is this the name of a set function?