instant-generics

Generic programming library with a sum of products view

http://www.cs.uu.nl/wiki/GenericProgramming/InstantGenerics

Latest on Hackage:

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 by José Pedro Magalhães

Maintained by [email protected]

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 implements the extensions to support indexed datatypes described in:

José Pedro Magalhães and Johan Jeuring. Generic Programming for Indexed Datatypes. Draft version, 2011. http://dreixel.net/research/pdf/gpid_draft.pdf