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

Versions0.1, 0.1.1
Dependenciesbase
LicenseBSD3
Copyright(c) 2007 Roman Leshchinskiy
AuthorRoman Leshchinskiy <rl@cse.unsw.edu.au>
MaintainerRoman Leshchinskiy <rl@cse.unsw.edu.au>
CategoryData
Home pagehttp://www.cse.unsw.edu.au/~rl/code/fixpoint.html
Upload dateTue Oct 14 05:36:40 UTC 2008
Uploaded byRomanLeshchinskiy
Downloads225 total (18 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees