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 EDSLs 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
Dependenciesbase (==4.*), constraints, containers, data-hash, deepseq, 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
UploadedThu Apr 9 09:41:03 UTC 2015 by EmilAxelsson
DistributionsNixOS:2.1
Downloads4409 total (283 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-04-09 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees