KiCS2
Exported names: Imported modules:

Module CurryDoc.AnaInfo

Datatype and operations to handle analysis information in CurryDoc.

Author: Michael Hanus

Version: April 2016

Summary of exported operations:

getNondetInfo :: AnaInfo -> (String,String) -> Bool   
getCompleteInfo :: AnaInfo -> (String,String) -> Completeness   
getIndetInfo :: AnaInfo -> (String,String) -> Bool   
getOpCompleteInfo :: AnaInfo -> (String,String) -> Bool   
getFunctionInfo :: [((String,String),a)] -> (String,String) -> a   

Exported datatypes:

AnaInfo

Constructors:

Exported operations:

getNondetInfo :: AnaInfo -> (String,String) -> Bool   

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

getCompleteInfo :: AnaInfo -> (String,String) -> Completeness   

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

getIndetInfo :: AnaInfo -> (String,String) -> Bool   

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

getOpCompleteInfo :: AnaInfo -> (String,String) -> Bool   

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

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