tfp: Type-level integers, booleans, lists using type families

TFP is an abbreviation for Type Family Programming. It provides implementations of type-level integers and booleans, and (eventually) simple type-level data structures. It uses type families as functions to produce new types, which provides an intuitive way to parameterize data types and functions on numerical values at compile time.

Modules

[Index]

Downloads

• tfp-1.0.0.2.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• HenningThielemann, PeterGavin

For package maintainers and hackage trustees

• edit package information

Candidates

• 1.0.1, 1.0.1.1, 1.0.2