Uploaded at Jul 5 13:09:43 2024 (UTC)
Succesfully tested at Jul 24 05:33:53 2024

Curry Package rw-data-generator


This package contains the implementation of a tool curry-rw-data which generates read and write operations for all types defined in a given module. For this purpose, the tool generates instances of the class ReadWrite (see module RW.Base of package rw-data) for the given type declarations.


If the module Mod contains definitions of data types, the command

> curry-rw-data Mod

generates a new Curry module ModRW containing instance definition of class ReadWrite for all types defined in Mod. In order to store or read these data in a compact format, one has to import the module Mod, ModRW and RW.Base in order to use the operations writeDataFile or readDataFile defined in module RW.Base of package rw-data.


The ideas and description of the compact data representation are described in the bachelor’s thesis

Compact Representation of Data Terms (in German, by Lasse Züngel, CAU Kiel, March 2024)


Checkout with CPM:
cypm checkout rw-data-generator 1.0.0
Package source:
rw-data-generator-1.0.0.tar.gz [browse]
Source repository: