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.
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)
Versions [RSS] | 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 2010-07-31T13:08:23Z |
Distributions | Debian:0.1.1.1, LTSHaskell:0.1.1.1, NixOS:0.1.1.1 |
Downloads | 6819 total (24 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] |