This library defines operations to read Curry interfaces.
readCurryInterface
:: String -> IO Interface I/O action which parses a Curry interface and returns it as a data structure. |
readCurryInterfaceWithParseOptions
:: String -> FrontendParams -> IO Interface I/O action which reads a Curry interface from a file (with extension .icurry ) with respect to some parser options.
|
curryInterfaceFileName
:: String -> String Transforms a name of a Curry program (with or without suffix ".curry" or ".lcurry") into the name of the file containing the Curry interface. |
readCurryInterfaceFile
:: String -> IO Interface I/O action which reads a Curry interface from a file in .icurry
format.
|
I/O action which parses a Curry interface and returns it as a data structure. The argument is the module name (without suffix ".curry" or ".lcurry"). |
I/O action which reads a Curry interface from a file (with extension
|
Transforms a name of a Curry program (with or without suffix ".curry" or ".lcurry") into the name of the file containing the Curry interface. |
I/O action which reads a Curry interface from a file in |