fixpoint

Data types as fixpoints

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

Latest on Hackage:

0.1.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed and maintained by Roman Leshchinskiy

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.