The fixpoint package
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.
Properties
| Versions | 0.1, 0.1.1 |
|---|---|
| Dependencies | base |
| License | BSD3 |
| 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 |
| Upload date | Tue Nov 20 10:14:35 UTC 2007 |
| Uploaded by | RomanLeshchinskiy |
| Built on | ghc-6.8 |
| Build failure | ghc-6.10 (log), ghc-6.12 (log) |
Modules
Downloads
- fixpoint-0.1.tar.gz (Cabal source package)
- package description (included in the package)