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.

patternArgs :: Pattern -> [Int]   

Return the pattern variables of a pattern.

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)   

unknownType :: TypeExpr   

The "unknown" type (hopefully not really used at the end).

Further infos:

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

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

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

funcType2TypedVars :: [Int] -> TypeExpr -> [(Int,TypeExpr)]   

Transforms a list of argument variable (indices) and a function type expression into a list of corresponding typed variables.

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

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?

isCurryID :: (String,String) -> Bool   

fst3 :: (a,b,c) -> a   

Further infos:

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

snd3 :: (a,b,c) -> b   

Further infos:

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

trd3 :: (a,b,c) -> c   

Further infos:

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