PAKCS
Exported names: Imported modules:

Module MyFlatCurryGoodies

Summary of exported operations:

moduleName :: Prog -> String   
importsOfProg :: Prog -> [String]   
typesOfProg :: Prog -> [TypeDecl]   
funcsOfProg :: Prog -> [FuncDecl]   
dataModule :: TypeDecl -> String   
funcName :: FuncDecl -> (String,String)   
unqualifiedName :: FuncDecl -> String   
funcModule :: FuncDecl -> String   
isPublic :: FuncDecl -> Bool   

Exported operations:

moduleName :: Prog -> String   

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

importsOfProg :: Prog -> [String]   

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

typesOfProg :: Prog -> [TypeDecl]   

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

funcsOfProg :: Prog -> [FuncDecl]   

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

dataModule :: TypeDecl -> String   

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

funcName :: FuncDecl -> (String,String)   

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

unqualifiedName :: FuncDecl -> String   

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

funcModule :: FuncDecl -> String   

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

isPublic :: FuncDecl -> Bool   

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