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].

(Note that the difference between version 2.x and 3.0 is not that big. The bump to 3.0 was done because the modules changed namespace.)

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, 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
Change logNone available
Dependenciesbase (==4.*), base-orphans, constraints, containers, data-hash, deepseq, mtl (==2.*), syb, tagged, template-haskell, tree-view [details]
LicenseBSD3
CopyrightCopyright (c) 2011-2015, 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
UploadedSun Dec 27 14:59:49 UTC 2015 by EmilAxelsson
DistributionsNixOS:3.4
Downloads6243 total (163 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2015-12-27 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
thInclude the module Language.Syntactic.TH, which uses Template HaskellEnabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees