@hackage tfp1.0.2
Type-level integers, booleans, lists using type families
Categories
License
BSD-3-Clause
Maintainer
haskell@henning-thielemann.de
Links
Versions
Installation
Dependencies (2)
- base >=4.5 && <5
- utility-ht >=0.0.10 && <0.1 Show all…
Dependents (19)
@hackage/synthesizer-llvm, @hackage/llvm-extra, @hackage/multistate, @hackage/llvm-extension, @hackage/interpolation, @hackage/tfp-th, Show all…
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.