The Annotations package

[Tags: bsd3, library]

Annotations provides utility functions to make working with annotated trees easier. There are two implementations: one for working with open datatypes that explicitly make their child positions accessible through a type argument, and one for working with MultiRec datatypes.

Parser combinators make it easy to construct trees annotated with position information. For the MultiRec implementation, there is the Yield monad that allows construction of trees in postorder.

Error algebras allow destruction of trees using catamorphisms. The algebra is allowed to indicate failure in which case the error is automatically coupled with the annotation at the position at which the error occurred.

Properties

Versions0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1
Change logNone available
Dependenciesbase (<5), mtl (>=1.1 && <2.3), multirec (>=0.4 && <0.8), parsec (>=3.0 && <3.2)
LicenseBSD3
CopyrightCopyright (c) 2008-2015 Martijn van Steenbergen
AuthorMartijn van Steenbergen
Maintainermartijn@van.steenbergen.nl
CategoryGenerics
Source repositoryhead: git clone https://github.com/MedeaMelana/Annotations
UploadedSun May 31 12:50:00 UTC 2015 by MartijnVanSteenbergen
DistributionsNixOS:0.2.1
Downloads1206 total (98 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-06-03 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees