records: A flexible record system

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

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

  • Using record type families, the type system can be used to describe relationships between field types.

  • Record scheme induction permits the implementation of polymorphic record combinators that work on whole records instead of only a fixed set of fields.

  • Subkind polymorphism for sorts makes it possible to impose varying restrictions on the structure of field types.


Maintainer's Corner

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,,,,,
Dependencies base (>=3.0 && <4.1), kinds (>=0.0.1 && <0.1), type-functions (>=0.1 && <0.2) [details]
License BSD-3-Clause
Copyright © 2007–2010 Brandenburgische Technische Universität Cottbus
Author Wolfgang Jeltsch
Category Data, Records
Home page
Bug tracker
Uploaded by WolfgangJeltsch at 2010-06-06T15:06:43Z
Distributions NixOS:
Downloads 6290 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]