@hackage instant-generics0.1

Generic programming library with a sum of products view

This is a generic programming library based on type classes and type families first described by Chakravarty et al. (see http://www.cse.unsw.edu.au/~chak/project/generics/). The current release is a simplified version mostly to support the rewriting library described in the paper:

  • Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes. A Lightweight Approach to Datatype-Generic Rewriting. Journal of Functional Programming, Special Issue on Generic Programming, 2010.

  • Installation

  • Dependencies (0)

  • Dependents (0)