generic-records: Magic record operations using generics

[ bsd3, generics, library, records ] [ Propose Tags ] [ Report a vulnerability ]

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".

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.2.0.0
Change log ChangeLog.md
Dependencies base (>=4.9 && <=5.0) [details]
License BSD-3-Clause
Author Csongor Kiss
Maintainer kiss.csongor.kiss@gmail.com
Category Generics, Records
Home page https://github.com/kcsongor/generic-records
Uploaded by kcsongor at 2017-06-05T22:51:16Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1817 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-06-05 [all 1 reports]