type-level-numbers: Type level numbers implemented using type families.
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:
[
TypeLevel.Number.Classes] contain generic type families such as Add[
TypeLevel.Number.Nat] natural numbers implemented using binary encoding[
TypeLevel.Number.Int] signed integers implemented using balanced ternary encoding[
TypeLevel.Boolean] type level booleans
So far comparison of numbers, subtraction and multiplication of numbers are supported.
| Versions [faq] | 0.1, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.4, 0.1.1.0, 0.1.1.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 |
| Source repo | head: hg clone http://bitbucket.org/Shimuuar/type-numbers |
| Uploaded | by AlexeyKhudyakov at Sat Jul 31 13:08:23 UTC 2010 |
| Distributions | Debian:0.1.1.1, LTSHaskell:0.1.1.1, NixOS:0.1.1.1, Stackage:0.1.1.1 |
| Downloads | 5264 total (245 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-12-29 [all 7 reports] |
Modules
- TypeLevel
- TypeLevel.Boolean
- Number
- TypeLevel.Number.Classes
- TypeLevel.Number.Int
- TypeLevel.Number.Nat
- TypeLevel.Number.Nat.Num
- TypeLevel.Reify
Downloads
- type-level-numbers-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)