numtype: Type-level (low cardinality) integers.

[ bsd3, library, math ] [ Propose Tags ]

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).

[Skip to Readme]




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 1.0, 1.0.1, 1.1, 1.2
Change log
Dependencies base (<5) [details]
License BSD-3-Clause
Copyright Bjorn Buckwalter 2009-2016
Author Bjorn Buckwalter
Category Math
Home page
Uploaded by BjornBuckwalter at 2016-05-10T09:22:06Z
Distributions Debian:1.2
Reverse Dependencies 4 direct, 12 indirect [details]
Downloads 4605 total (20 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-11-25 [all 1 reports]

Readme for numtype-1.2

[back to package description]
For documentation see the literate haskell source code.

If you don't need this particular variation of the library I recommend using numtype-dk ( instead.