|
dependencies:
|
[Dependency "base" [[VGte "3.2.0",VLt "4.0.0"]],Dependency "currypath" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "det-parse" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "directory" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "filepath" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "frontend-exec" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "process" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "wl-pprint" [[VGte "3.0.0",VLt "4.0.0"]]]
|
|
documentation:
|
curry-interface
===============
This package contains libraries to represent and read interfaces of
Curry modules which are usually generated by the Curry front end and
stored in files with suffix `.icurry`.
The structure of these interfaces is defined in the module
`CurryInterface.Types`.
The module `CurryInterface.Files` contains operations to read `.icurry` files
and returns the structure of the interface.
The module `CurryInterface.Pretty` contains pretty-printing operations
for interfaces, parameterized with various options.
These are used in the tool `curry-showinterface`, generated when
installing this package, to print the interface of a Curry module.
This tool is used in Curry REPLs to implement the command `:interface`.
|