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.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.0.0, 0.0.0.1, 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.1.1.2, 0.1.1.3, 0.1.1.5, 0.1.1.6
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
Maintainer jeltsch@tu-cottbus.de
Category Data, Records
Home page http://community.haskell.org/~jeltsch/records/
Bug tracker jeltsch@tu-cottbus.de
Uploaded by WolfgangJeltsch at 2010-06-06T15:06:43Z
Distributions NixOS:0.1.1.6
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]