Uploaded at Dec 3 17:24:38 2024 (UTC)
Succesfully tested at Dec 4 03:21:23 2024

Curry Package curry-interface

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.


Download

Checkout with CPM:
cypm checkout curry-interface 2.0.0
Package source:
curry-interface-2.0.0.tar.gz [browse]
Source repository:
https://github.com/curry-packages/curry-interface.git