The latest version of type-level-numbers is 0.1.1.2-0.
type-level-numbers
Version 0.1.0.1 revision 1 uploaded by AlexeyKhudyakov.
Package meta
- Synopsis
- Type level numbers implemented using type families.
- Description
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.
Changes in 0.1.0.1:
Workaround for GHC bug #4364 (Build failure on GHC7.0)
- Author
- Alexey Khudyakov <alexey.skladnoy@gmail.com>
- Bug reports
- n/a
- Category
- Type System
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Alexey Khudyakov <alexey.skladnoy@gmail.com>
- Package URL
- n/a
- Stability
- n/a