fixpoint: Data types as fixpoints
This package allows data types to be seen and manipulated as fixpoints of their underlying functors. It is mostly based on "Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire" by Erik Meijer, Maarten Fokkinga and Ross Paterson (http://citeseer.ist.psu.edu/meijer91functional.html). It makes essential use of associated types and related extensions.
Downloads
- fixpoint-0.1.1.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 |
|---|---|
| Dependencies | base [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2007 Roman Leshchinskiy |
| Author | Roman Leshchinskiy <rl@cse.unsw.edu.au> |
| Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au> |
| Category | Data |
| Home page | http://www.cse.unsw.edu.au/~rl/code/fixpoint.html |
| Uploaded | by RomanLeshchinskiy at 2008-10-14T05:36:40Z |
| Distributions | NixOS:0.1.1 |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 2119 total (11 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |