PAKCS
Exported names: Imported modules:

Module PatternAnalysis

Pattern completeness analysis for Curry programs.

Author: Michael Hanus

Version: April 2018

Summary of exported operations:

showComplete :: AOutFormat -> Completeness -> String   
Pattern completeness analysis
analysePatternComplete :: ProgInfo [((String,String),Int)] -> FuncDecl -> Completeness   
isComplete :: ProgInfo [((String,String),Int)] -> Expr -> Completeness   
combineAndResults :: Completeness -> Completeness -> Completeness   

Exported datatypes:

Completeness

Constructors:

  • Complete :: Completeness
  • InComplete :: Completeness

Exported operations:

showComplete :: AOutFormat -> Completeness -> String   

Pattern completeness analysis

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

analysePatternComplete :: ProgInfo [((String,String),Int)] -> FuncDecl -> Completeness   

isComplete :: ProgInfo [((String,String),Int)] -> Expr -> Completeness   

combineAndResults :: Completeness -> Completeness -> Completeness   

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