KiCS2
Exported names: Imported modules:

Module Imports

Summary of exported operations:

getImportedInterfaces :: String -> IO [(String,InterfaceOrFlatProg)]   
Get all interfaces (i.e., main and all indirectly imported modules) of a program:
moduleImports :: Prog -> (String,[String])   
ifOrProg :: (Prog -> a) -> (Prog -> a) -> InterfaceOrFlatProg -> a   
progOfIFFP :: InterfaceOrFlatProg -> Prog   
readFlatCurryFileInLoadPath :: (String -> IO a) -> String -> [String] -> IO Prog   

Exported datatypes:

InterfaceOrFlatProg

Constructors:

  • IF :: Prog -> InterfaceOrFlatProg
  • FP :: Prog -> InterfaceOrFlatProg

Exported operations:

getImportedInterfaces :: String -> IO [(String,InterfaceOrFlatProg)]   

Get all interfaces (i.e., main and all indirectly imported modules) of a program:

moduleImports :: Prog -> (String,[String])   

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

ifOrProg :: (Prog -> a) -> (Prog -> a) -> InterfaceOrFlatProg -> a   

progOfIFFP :: InterfaceOrFlatProg -> Prog   

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

readFlatCurryFileInLoadPath :: (String -> IO a) -> String -> [String] -> IO Prog