Uploaded at Apr 19 15:20:49 2024 (UTC)
Succesfully tested at May 22 02:15:59 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 isntalling this package, to print the interface of a Curry module.


Download

Checkout with CPM:
cypm checkout curry-interface 1.0.0
Package source:
curry-interface-1.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/curry-interface.git