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 functional object languages, such as Feldspar. Currently, it does not support cyclic programs.

The following people have contributed to Syntactic:

[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.0 & <4.6), containers, data-hash, mtl (2.*), tagged, transformers (≥0.2), 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://projects.haskell.org/syntactic/
Upload date	Tue May 15 10:47:34 UTC 2012
Uploaded by	EmilAxelsson
Built on	ghc-7.4