records: A flexible record system

[ bsd3, data, library, records ] [ Propose Tags ]

This package provides a flexible record system which has some novel features:

For detailed information, please refer to the paper Generic Record Combinators with Static Type Checking.

Versions [faq],,,,,,,,
Dependencies base (>=3.0 && <4.4), kinds (>=0.0.1 && <0.1), type-functions (>=0.1 && <0.3) [details]
License BSD-3-Clause
Copyright © 2007–2010 Brandenburgische Technische Universität Cottbus; © 2011 Wolfgang Jeltsch
Author Wolfgang Jeltsch
Category Data, Records
Home page
Source repo head: darcs get
this: darcs get --tag records-
Uploaded by WolfgangJeltsch at Mon Oct 31 15:35:02 UTC 2011
Distributions NixOS:
Downloads 3530 total (53 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-26 [all 6 reports]


  • Data
    • Data.Record
      • Data.Record.Combinators


Maintainer's Corner

For package maintainers and hackage trustees