Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
28 lines (27 sloc) 1.17 KB
Name: numtype
Version: 1.2
License: BSD3
License-File: LICENSE
Copyright: Bjorn Buckwalter 2009-2016
Author: Bjorn Buckwalter
Stability: stable
Synopsis: Type-level (low cardinality) integers.
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).
Category: Math
Build-Type: Simple
Build-Depends: base < 5
Exposed-Modules: Numeric.NumType
Extra-source-files: README,,