@hackage instant-generics0.3
Generic programming library with a sum of products view
Installation
Dependencies (4)
- base >=3.0 && <5
- containers
- syb
- template-haskell >=2.4 && <2.6 Show all…
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, José Pedro Magalhães. A Lightweight Approach to Datatype-Generic Rewriting. Journal of Functional Programming, Special Issue on Generic Programming, 2010.