The fixpoint package

[Tags:bsd3, library]

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 [details]
License BSD3
Copyright (c) 2007 Roman Leshchinskiy
Author Roman Leshchinskiy <rl@cse.unsw.edu.au>
Maintainer Roman Leshchinskiy <rl@cse.unsw.edu.au>
Stability Unknown
Category Data
Home page http://www.cse.unsw.edu.au/~rl/code/fixpoint.html
Uploaded Tue Oct 14 05:36:40 UTC 2008 by RomanLeshchinskiy
Distributions NixOS:0.1.1
Downloads 564 total (10 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees