Module CurryInterface.Files

This library defines operations to read Curry interfaces.

Version: September 2024

Summary of exported operations:

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 .icurry) with respect to some parser options.

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 .icurry format.