@hackage instant-generics0.1
Generic programming library with a sum of products view
Installation
Dependencies (1)
Dependents (11)
@hackage/guarded-rewriting, @hackage/acme-everything, @hackage/derive-IG, @hackage/instant-bytes, @hackage/instant-aeson, @hackage/instant-zipper, Show all…
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.