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]

Flags

Automatic Flags

Name	Description	Default
build-test	Build the tfp-test test program	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• tfp-0.8.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