The generic-records package

[ Tags: bsd3, generics, library, records ] [ Propose Tags ]

This package uses the GHC8 Generic representation of records to derive magic classes (a la OverloadedRecordLabels), and prove structural subtyping relationship between records. The latter can be used to upcast the "sub-record" to the more general "interface".


Change log
Dependencies base (>=4.9 && <=5.0) [details]
License BSD3
Author Csongor Kiss
Category Generics, Records
Home page
Uploaded Mon Jun 5 22:51:16 UTC 2017 by kcsongor
Distributions NixOS:
Downloads 405 total (8 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-06-05 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees