KiCS2
Exported names: Imported modules:

Module CurryBrowseAnalysis.PatternComplete

Summary of exported operations:

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

Exported datatypes:

CompletenessType

Constructors:

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

Exported operations:

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