Annotations: Constructing, analyzing and destructing annotated trees
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.
Modules
[Index]
Downloads
- Annotations-0.2.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.1.1, 0.1.2, 0.1.3, 0.2, 0.2.1, 0.2.2 |
---|---|
Dependencies | base (<5), mtl (>=1.1 && <2.3), multirec (>=0.4 && <0.8), parsec (>=3.0 && <3.2) [details] |
License | BSD-3-Clause |
Copyright | Copyright (c) 2008-2015 Martijn van Steenbergen |
Author | Martijn van Steenbergen |
Maintainer | martijn@van.steenbergen.nl |
Category | Generics |
Source repo | head: git clone https://github.com/MedeaMelana/Annotations |
Uploaded | by MartijnVanSteenbergen at 2016-12-05T10:03:17Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 7382 total (31 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2016-12-08 [all 1 reports] |