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.7.0.2.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.18), requirements (>=0.7.0.2 && <0.7.1) [details]
License	GPL-3.0-only
Copyright	2020-2022, Juan García-Garland, Marcos Viera, Alberto Pardo
Author	Juan García-Garland
Maintainer	jpgarcia@fing.edu.uy
Category	Data
Uploaded	by jpgarcia at 2022-07-02T02:17:29Z
Distributions
Reverse Dependencies	1 direct, 5 indirect [details]
Downloads	515 total (1 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2022-07-02 [all 1 reports]