records: A flexible record system

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.

Modules

[Index]

Downloads

• records-0.1.0.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• WolfgangJeltsch

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates