@hackage tfp0.8
Type-level integers, booleans, lists using type families
Categories
License
BSD-3-Clause
Maintainer
haskell@henning-thielemann.de
Links
Versions
Installation
Dependencies (1)
Dependents (19)
@hackage/synthesizer-llvm, @hackage/llvm-extra, @hackage/multistate, @hackage/llvm-extension, @hackage/interpolation, @hackage/tfp-th, Show all…
Package Flags
build-test
(off by default)
Build the tfp-test test program
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.