The type-level-numbers package
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.
Properties
| Versions | 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 | BSD3 |
| Author | Alexey Khudyakov <alexey.skladnoy@gmail.com> |
| Maintainer | Alexey Khudyakov <alexey.skladnoy@gmail.com> |
| Stability | Unknown |
| Category | Type System |
| Source repository | head: hg clone http://bitbucket.org/Shimuuar/type-numbers |
| Uploaded | Sat Jul 31 13:08:23 UTC 2010 by AlexeyKhudyakov |
| Distributions | LTSHaskell:0.1.1.1, NixOS:0.1.1.1, Stackage:0.1.1.1, Tumbleweed:0.1.1.1 |
| Downloads | 2389 total (15 in the last 30 days) |
| Votes | |
| Status | Docs not available [build log] All reported builds failed as of 2015-11-25 [all 5 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 (included in the package)