Debian logoDebian Screenshots >


type-level (low cardinality) integers; profiling libraries


This package provides unary type level representations of the (positive and negative) integers and basic operations (addition, subtraction, multiplication, division) on these. Due to the unary implementation the practical size of the NumTypes is severely limited making them unsuitable for large-cardinality applications. If you will be working with integers beyond (-20, 20) this package probably isn't for you.

It is, however, eminently suitable for applications such as representing physical dimensions (see the Dimensional library).

This package provides a library for the Haskell programming language, compiled for profiling. See for more information on Haskell.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



27 other people were interested in this package here. The newest known version of this software is 1.2-1 (Information last updated about 10 hours ago.)