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

Properties

Versions 0.1.0.0, 0.2.0.0
Change log ChangeLog.md
Dependencies base (>=4.9 && <=5.0) [details]
License BSD3
Author Csongor Kiss
Maintainer kiss.csongor.kiss@gmail.com
Category Generics, Records
Home page https://github.com/kcsongor/generic-records
Uploaded Mon Jun 5 22:51:16 UTC 2017 by kcsongor
Distributions NixOS:0.2.0.0
Downloads 145 total (13 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-06-05 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees