Module FlatCurry.Read

Author
Michael Hanus, Bjoern Peemoeller, Finn Teegen
Version
October 2024

This library defines operations to read FlatCurry programs or interfaces together with all its imported modules in the current load path.

Exported Functions


readFlatCurryInPath :: [String] -> String -> IO Prog  Non-deterministic 

Reads a FlatCurry program together in a given load path. The arguments are a load path and the name of the module.


readFlatCurryWithImports :: String -> IO [Prog]  Non-deterministic 

Reads a FlatCurry program together with all its imported modules. The argument is the name of the main module, possibly with a directory prefix.


readFlatCurryWithImportsInPath :: [String] -> String -> IO [Prog]  Non-deterministic 

Reads a FlatCurry program together with all its imported modules in a given load path. The arguments are a load path and the name of the main module.


readFlatCurryIntWithImports :: String -> IO [Prog]  Non-deterministic 

Reads a FlatCurry interface together with all its imported module interfaces. The argument is the name of the main module, possibly with a directory prefix. If there is no interface file but a FlatCurry file (suffix ".fcy"), the FlatCurry file is read instead of the interface.


readFlatCurryIntWithImportsInPath :: [String] -> String -> IO [Prog]  Non-deterministic 

Reads a FlatCurry interface together with all its imported module interfaces in a given load path. The arguments are a load path and the name of the main module. If there is no interface file but a FlatCurry file (suffix ".fcy"), the FlatCurry file is read instead of the interface.