type-level-numbers: Type level numbers implemented using type families.

[ bsd3, library, type-system ] [ Propose Tags ]
Versions 0.1,,,,,,
Dependencies base (>=3 && <5), template‑haskell (>2.0) [details]
License BSD-3-Clause
Author Alexey Khudyakov <alexey.skladnoy@gmail.com>
Maintainer Alexey Khudyakov <alexey.skladnoy@gmail.com>
Category Type System
Bug tracker https://github.com/bos/statistics/issues
Source repo head: hg clone http://bitbucket.org/Shimuuar/type-level-numbers
head: git clone https://github.com/Shimuuar/type-level-numbers
Uploaded by AlexeyKhudyakov at Thu Jun 13 14:53:15 UTC 2013
Distributions LTSHaskell:, NixOS:, Stackage:, openSUSE:
Downloads 3545 total (22 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI

This is type level numbers implemented using type families. Natural numbers use binary encoding. With default context stack numbers up to 2^18-1 coudl be represented. Signed integer numbers use balanced ternary encoding.

Package is structured as folows:

So far comparison of numbers, subtraction and multiplication of numbers are supported.

Changes in

Changes in

Changes in

Changes in




Maintainer's Corner

For package maintainers and hackage trustees