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. It makes essential use of associated types and related extensions.

Documentation

Online documentation generated by Haddock

Download

fixpoint-0.1.tar.gz

Building

The package uses Cabal, so the following steps should be sufficient:

      ./Setup.lhs configure
      ./Setup.lhs build
      ./Setup.lhs install

Source

Get the latest sources from the darcs repository

      darcs get http://www.cse.unsw.edu.au/~rl/code/darcs/fixpoint

or browse them online