@hackage fixpoint0.1.1

Data types as fixpoints

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Roman Leshchinskiy <rl@cse.unsw.edu.au>

    • Links

    • Versions

      • 0.1.1 Tue, 14 Oct 2008
      • 0.1 Tue, 20 Nov 2007

    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.