The records package

[ Tags: 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.


Dependencies base (>=3.0 && <4.1), kinds (>=0.0.1 && <0.1), type-functions (>=0.1 && <0.3) [details]
License BSD3
Copyright © 2007–2010 Brandenburgische Technische Universität Cottbus
Author Wolfgang Jeltsch
Category Data, Records
Home page
Bug tracker
Uploaded Mon Sep 13 11:53:28 UTC 2010 by WolfgangJeltsch
Distributions NixOS:
Downloads 3134 total (26 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees