tfp: Type-level programming library using type families

[ bsd3, library, type-system ] [ Propose Tags ]
Versions 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 1.0,,
Dependencies base (>=3.0 && <5), QuickCheck (>=, template‑haskell (>=2.0) [details]
License BSD-3-Clause
Copyright Copyright (c) 2008 Peter Gavin
Author Peter Gavin
Category Data
Home page
Source repo head: git clone
Uploaded by PeterGavin at Tue May 1 11:38:11 UTC 2012
Distributions LTSHaskell:, NixOS:, Stackage:, openSUSE:
Executables tfp-test
Downloads 3690 total (43 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

TFP (short for Type Family Programming) 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.





Build the tfp-test test program


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


Maintainer's Corner

For package maintainers and hackage trustees