Uploaded at Nov 7 09:48:52 2024 (UTC)
Succesfully tested at Dec 21 06:05:15 2024

Curry Package rw-data

rw-data

This package contains an implementation of a compact data term representation which can be used to write data to files and read data from files faster compared to the standard instances of Show and Read. Furthermore, the accompanying package rw-data-generator contains a tool curry-rw-data to generate 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) for the given type declarations.

To write and read compact data to and from files, the module RW.Base provides operations, like

readDataFile  :: ReadWrite a => FilePath -> IO (Maybe a)
writeDataFile :: ReadWrite a => FilePath -> a -> IO ()

to read and write compact data.

Usage

If the module Mod contains definitions of data types, the command (see package rw-data-generator to generate the executable)

> 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.

Documentation

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)


Download

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