Module Imports

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