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

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, 1.7.1, 1.8, 1.9, 1.10, 1.11, 1.12.1, 1.13, 1.14, 1.15, 1.15.1, 1.16, 1.16.1, 1.16.2, 2.0, 2.1, 3.0, 3.1, 3.2, 3.2.1, 3.3, 3.4, 3.5, 3.6, 3.6.1
Dependencies base (==4.*), constraints, containers, data-hash, mtl (==2.*), safe, tagged, template-haskell, tree-view [details]
License BSD3
Copyright Copyright (c) 2011-2014, Emil Axelsson
Author Emil Axelsson
Maintainer emax@chalmers.se
Stability experimental
Category Language
Home page https://github.com/emilaxelsson/syntactic
Bug tracker https://github.com/emilaxelsson/syntactic/issues
Source repository head: git clone https://github.com/emilaxelsson/syntactic
Uploaded Tue Jul 1 14:08:36 UTC 2014 by EmilAxelsson
Distributions NixOS:3.6
Downloads 6729 total (133 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees