Uploaded at Nov 20 00:37:06 2020
Succesfully tested at Jan 24 07:21:35 2021

Curry Package flatcurry-typed

flatcurry-typed

This package contains libraries to deal with TypedFlatCurry programs.

The package contains the following modules:

  • FlatCurry.Typed.Conversion: This module provides cnversion from TypedFlatCurry to AnnotatedFlatCurry with type-annotations
  • FlatCurry.Typed.Files: This module defines operations to read and write TypedFlatCurry programs.
  • FlatCurry.Typed.Goodies: This module provides some useful operations to select and modify components in TypedFlatCurry programs, i.e., it provides a collection of selector and transform functions for TypedFlatCurry.
  • FlatCurry.Typed.Pretty: This module provides a pretty-printer for TypedFlatCurry modules.
  • FlatCurry.Typed.Types: This module defines the data types to represent TypedFlatCurry programs in Curry.

Download

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