The syntactic package

[Tags: bsd3, library]

The library provides a generic representation of type-indexed abstract syntax trees (or indexed data types in general). It also permits the definition of open syntax trees based on the technique in Data Types à la Carte [1].

For more information, see "A Generic Abstract Syntax Model for Embedded Languages" (ICFP 2012):

Example EDSL can be found in the examples folder.

[1] W. Swierstra. Data Types à la Carte. Journal of Functional Programming, 18(4):423-436, 2008, http://dx.doi.org/10.1017/S0956796808006758.


Properties

Versions0.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, 1.7.1, 1.8, 1.9, 1.10, 1.11, 1.12.1, 1.13, 2.0
Dependenciesbase (==4.*), constraints, containers, data-hash, mtl (==2.*), safe, tagged, template-haskell, tree-view
LicenseBSD3
CopyrightCopyright (c) 2011-2014, Emil Axelsson
AuthorEmil Axelsson
Maintaineremax@chalmers.se
Stabilityexperimental
CategoryLanguage
Home pagehttps://github.com/emilaxelsson/syntactic
Bug trackerhttps://github.com/emilaxelsson/syntactic/issues
Source repositoryhead: git clone https://github.com/emilaxelsson/syntactic
Upload dateTue Jul 1 14:08:36 UTC 2014
Uploaded byEmilAxelsson
DistributionsNixOS:2.0
Downloads2238 total (152 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees