@hackage tfp0.2
Type-level programming library using type families
Installation
Dependencies (2)
- base >=3.0 && <5
- template-haskell >=2.0 Show all…
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 (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.