fixpoint: Data types as fixpoints

[ bsd3, data, library ] [ Propose Tags ]

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.

Versions 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 Tue Nov 20 10:14:35 UTC 2007
Distributions NixOS:0.1.1
Downloads 934 total (6 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees