Module CurryBrowseAnalysis.PatternComplete

Summary of exported operations:

analyseTotallyDefined :: [TypeDecl] -> [FuncDecl] -> [((String,String),CompletenessType)]  Deterministic 
analyseCompleteness :: [TypeDecl] -> FuncDecl -> CompletenessType  Deterministic 

Exported datatypes:

CompletenessType

Constructors:

  • Complete :: CompletenessType
  • InComplete :: CompletenessType
  • InCompleteOr :: CompletenessType

Exported operations:

analyseTotallyDefined :: [TypeDecl] -> [FuncDecl] -> [((String,String),CompletenessType)]  Deterministic