poly-rec: Polykinded extensible records

[ data, dependent-types, gpl, library ] [ Propose Tags ] [ Report a vulnerability ]

Extensible records/row polymorphism for Haskell. Fields are polykinded, to statically check rich structures. This library was initially conceived as part of the AspectAG project.

Modules

[Index] [Quick Jump]

Data
- Data.GenRec
  - Data.GenRec.Label
  - RecInstances
    - Data.GenRec.RecInstances.Record

Downloads

poly-rec-0.6.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

jpgarcia

For package maintainers and hackage trustees

edit package information

Candidates

0.6.0.0, 0.7.0.0

Versions [RSS]	0.6.0.0, 0.7.0.0, 0.7.0.2, 0.7.0.4
Change log	CHANGELOG.md
Dependencies	base (>=4.11 && <4.15), requirements (>=0.6.0.0 && <0.7) [details]
License	GPL-3.0-only
Copyright	2020, Juan García-Garland, Marcos Viera, Alberto Pardo
Author	Juan García-Garland
Maintainer	jpgarcia@fing.edu.uy
Uploaded	by jpgarcia at 2020-07-07T00:27:25Z
Category	Data
Distributions	NixOS:0.7.0.4
Reverse Dependencies	1 direct, 5 indirect [details]
Downloads	585 total (14 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2020-07-07 [all 1 reports]