instant-generics: Generic programming library with a sum of products view

[ bsd3, generics, library ] [ Propose Tags ]

This is a generic programming library based on type classes and type families first described by Chakravarty et al. (see The current release is a simplified version mostly to support the rewriting library described in the paper:

Versions [faq] 0.1, 0.2, 0.2.1, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.3.5, 0.3.6, 0.3.7, 0.4, 0.4.1, 0.5, 0.6
Dependencies base (>=3.0 && <5) [details]
License BSD-3-Clause
Copyright (c) 2010 Universiteit Utrecht
Author Manuel Chakravarty, Gabriel Ditu, Roman Leshchinskiy, Jose Pedro Magalhaes
Category Generics
Home page
Uploaded by JosePedroMagalhaes at Wed Mar 3 07:29:48 UTC 2010
Distributions NixOS:0.6
Downloads 6515 total (28 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees