The syntactic package

This library provides:

Generic representation and manipulation of abstract syntax using a practical encoding of open data types (based on Data Types à la Carte [1])
Utilities for analyzing and transforming generic syntax
General variable binding constructs
Utilities for building extensible embedded languages based on generic syntax
A small proof-of-concept implementation of the embedded language Feldspar [2] (see the Examples directory)

Note: The library is probably mostly useful for data-flow languages, such as Feldspar. Currently, it does not support cyclic programs.

[1] Data types à la carte, by Wouter Swierstra, in Journal of Functional Programming, 2008

Properties

Versions	0.1, 0.2, 0.2.0.1, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1.0, 1.0.1, 1.2, 1.2.1, 1.3, 1.4, 1.5.1, 1.5.2, 1.6.1
Dependencies	array, base (≥4 & <4.4), containers, data-hash, mtl (≥1.1 & <3), tuple (≥0.2)
License	BSD3
Copyright	Copyright (c) 2011, Emil Axelsson
Author	Emil Axelsson
Maintainer	emax@chalmers.se
Category	Language
Home page	http://projects.haskell.org/syntactic/
Source repository	darcs get http://code.haskell.org/syntactic/
Upload date	Wed Jun 22 09:57:45 UTC 2011
Uploaded by	EmilAxelsson
Built on	ghc-7.0