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.
- No changelog available
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) |
| License | BSD3 |
| Author | Alexey Khudyakov <alexey.skladnoy@gmail.com> |
| Maintainer | Alexey Khudyakov <alexey.skladnoy@gmail.com> |
| Category | Type System |
| Source repository | head: hg clone http://bitbucket.org/Shimuuar/type-numbers |
| Upload date | Sat Jul 31 13:08:23 UTC 2010 |
| Uploaded by | AlexeyKhudyakov |
| Downloads | 500 total (84 in last 30 days) |
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)
Maintainers' corner
For package maintainers and hackage trustees