@hackage instant-generics0.3.2
Generic programming library with a sum of products view
Installation
Dependencies (4)
- base >=3.0 && <5
- containers <0.5
- syb <0.4
- 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 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