FlatCurry.Compact
FlatCurry.Files
FlatCurry.FlexRigid
FlatCurry.Goodies
FlatCurry.Pretty
FlatCurry.Read
FlatCurry.Show
FlatCurry.Types
FlatCurry.XML
This package contains libraries to deal with FlatCurry programs. Currently, it contains the following modules:
FlatCurry.Compact: This module contains operations to reduce the size of FlatCurry programs by combining the main module and all imports into a single program that contains only the functions directly or indirectly called from a set of main functions.FlatCurry.Files: This module defines operations to read and write FlatCurry programs.FlatCurry.FlexRigid: provides a function to compute the rigid/flex status of a FlatCurry expression (right-hand side of a function definition).FlatCurry.Goodies: This library provides selector functions, test and update operations as well as some useful auxiliary functions for FlatCurry data terms.FlatCurry.Pretty: This library provides pretty-printers for FlatCurry modules and all substructures (e.g., expressions).FlatCurry.Read: This library defines operations to read FlatCurry programs or interfaces together with all its imported modules in the current load path.FlatCurry.Show: This library contains operations to transform FlatCurry programs into string representations, either in a FlatCurry format or in a Curry-like syntax.FlatCurry.Types: This module defines the data types to represent FlatCurry programs in Curry.FlatCurry.XML: This module contains operations to convert FlatCurry programs into corresponding XML expressions and vice versa. This can be used to store Curry programs in a way independent of a Curry system or to use a Curry system, like PAKCS, as back end by other functional logic programming systems.