Uploaded at Mar 16 16:40:56 2024 (UTC)
Succesfully tested at Oct 10 03:54:29 2024

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://github.com/curry-packages/flatcurry-typed.git