The latest version of tfp is 1.0.2-0.
tfp
Version 1.0.0.2 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Type-level integers, booleans, lists using type families
- Description
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.
- Author
- Peter Gavin, Henning Thielemann
- Bug reports
- n/a
- Category
- Type System
- Copyright
- Copyright (c) 2014 Henning Thielemann, 2008 Peter Gavin
- Homepage
- http://www.haskell.org/haskellwiki/Type_arithmetic
- Maintainer
- haskell@henning-thielemann.de
- Package URL
- n/a
- Stability
- alpha