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, 1.14, 1.15, 2.0, 2.1
Change logNone available
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
UploadedTue Jul 1 14:08:36 UTC 2014 by EmilAxelsson
DistributionsNixOS:2.1
Downloads4658 total (170 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees