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

[Last Documentation]

Data
- Data.GenRec
  - RecInstances
    - Data.GenRec.RecInstances.Record
  - Data.GenRec.Unordered
- Data.HList
- Data.Label

Downloads

poly-rec-0.7.0.4.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.20 && <4.21), requirements (>=0.7.0.3 && <0.7.1) [details]
License	GPL-3.0-only
Copyright	2020-2023, Juan García-Garland, Marcos Viera, Alberto Pardo
Author	Juan García-Garland
Maintainer	jpgarcia@fing.edu.uy
Category	Data, Dependent Types
Uploaded	by jpgarcia at 2024-11-08T13:49:35Z
Distributions
Reverse Dependencies	1 direct, 5 indirect [details]
Downloads	479 total (5 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2024-11-08 [all 2 reports]