Uploaded at Mar 23 17:21:01 2025 (UTC)
Succesfully tested at Mar 25 06:38:26 2025

Curry Package read-legacy

read-legacy

This package contains the library ReadShowTerm which provides operations to convert ground terms to strings and vice versa. These operations work similarly to the standard show and read operations but are implemented by generic external operations so that they are more efficient.

Due to the generic implementation of these operations, the read... operations must be called with a list of module names containing all constructores occurring in the string representation of the data term to be read.


Download

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