instant-generics: Generic programming library with a sum of products view
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
| 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 (>=4.6 && <5), containers (<1.0), syb (<1.0), template-haskell (>=2.4 && <2.11) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2011 Universiteit Utrecht, 2012 University of Oxford |
| Author | José Pedro Magalhães |
| Maintainer | generics@haskell.org |
| Revised | Revision 1 made by HerbertValerioRiedel at 2016-11-05T16:30:28Z |
| Category | Generics |
| Home page | http://www.cs.uu.nl/wiki/GenericProgramming/InstantGenerics |
| Source repo | head: git clone https://github.com/dreixel/instant-generics |
| Uploaded | by JosePedroMagalhaes at 2016-07-30T11:58:00Z |
| Distributions | NixOS:0.6 |
| Downloads | 9834 total (9 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-11-17 [all 2 reports] |
Modules
- Generics
- Generics.Instant
- Generics.Instant.Base
- Generics.Instant.Functions
- Generics.Instant.Functions.Empty
- Generics.Instant.Functions.Enum
- Generics.Instant.Functions.Eq
- Generics.Instant.Functions.Show
- Generics.Instant.Instances
- Generics.Instant.TH
- Generics.Instant
Downloads
- instant-generics-0.6.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.