wip/hs-tfp 0.2 NetBSD

Type-level programming library using type families

Browse the package
Report a problem
Other distributions
Search similar

System: NetBSD
Repository: pkgsrc-wip
Maintainer: [email protected]
License: modified-bsd
Categories: wip, devel

Description

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.

Install

From pkgsrc-wip (no binary package):

cd /usr/pkgsrc/wip/hs-tfp && make install clean

Dependencies

No port depends on this one.