./wip/hs-tfp, Type-level programming library using type families

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.2, Package name: hs-tfp-0.2, Maintainer: pho

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.


Required to run:
[wip/ghc]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: 78b694b7d39300b1fddf2e1de42ef8980b2f0703
RMD160: e3fd10c8cd627c07d022e3678c924d1ba767ab8f
Filesize: 13.007 KB

Version history: (Expand)


CVS history: (Expand)


   2014-08-29 16:10:29 by Ryosuke Moro | Files touched by this commit (22)
Log message:
make it clear what package depend on

discussed with wiz@.
   2010-05-10 13:55:07 by PHO / phonohawk | Files touched by this commit (1)
Log message:
Forgot to cvs add patches/patch-aa

   2010-05-10 13:54:12 by PHO / phonohawk | Files touched by this commit (1)
Log message:
Remove unexpected dependency on QuickCheck

   2010-04-23 08:34:21 by PHO / phonohawk | Files touched by this commit (5) | Imported package
Log message:
Import hs-tfp-0.2 as wip/hs-tfp.

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.