The tfp package

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.

Properties

Versions	0.1, 0.2, 0.3
Dependencies	base (≥3.0 & <5), QuickCheck (≥1.2.0.0), template-haskell (≥2.0)
License	BSD3
Copyright	Copyright (c) 2008 Peter Gavin
Author	Peter Gavin
Maintainer	pgavin@gmail.com
Stability	alpha
Category	Data
Home page	http://abt12monk.org/git/tfp.git/
Source repository	git clone http://abt12monk.org/git/tfp.git/
Executables	tfp-test
Upload date	Tue Sep 13 09:39:39 UTC 2011
Uploaded by	PeterGavin
Build failure	ghc-7.2 (log)

Modules

Data
- Data.SizedInt
- Data.SizedWord
Types
- Types.Base
- Data
  - Types.Data.Bool
  - Types.Data.List
  - Types.Data.Num
    - Types.Data.Num.Decimal
      - Types.Data.Num.Decimal.Digits
      - Types.Data.Num.Decimal.Literals
        Types.Data.Num.Decimal.Literals.TH
    - Types.Data.Num.Ops
  - Types.Data.Ord

Downloads

tfp-0.3.tar.gz (Cabal source package)
package description (included in the package)