Copyright | Alexey Khudyakov |
---|---|
License | BSD3-style (see LICENSE) |
Maintainer | Alexey Khudyakov <alexey.skladnoy@gmail.com> |
Stability | unstable |
Portability | unportable (GHC only) |
Safe Haskell | None |
Language | Haskell2010 |
Type level signed integer numbers are implemented using balanced ternary encoding much in the same way as natural numbers.
Currently following operations are supported: Next, Prev, Add, Sub, Mul.
Integer numbers
Digit stream terminator
Instances
Digit -1
Instances
Digit 0
Instances
Digit 1
Instances
Type class for type level integers. Only numbers without leading zeroes are members of the class.
toInt :: Integral i => n -> i Source #
Convert natural number to integral value. It's not checked whether value could be represented.
Instances
IntT ZZ Source # | |
IntT (D1 ZZ) Source # | |
IntT (D1 n) => IntT (D1 (D1 n)) Source # | |
IntT (D0 n) => IntT (D1 (D0 n)) Source # | |
IntT (Dn n) => IntT (D1 (Dn n)) Source # | |
IntT (D1 n) => IntT (D0 (D1 n)) Source # | |
IntT (D0 n) => IntT (D0 (D0 n)) Source # | |
IntT (Dn n) => IntT (D0 (Dn n)) Source # | |
IntT (Dn ZZ) Source # | |
IntT (D1 n) => IntT (Dn (D1 n)) Source # | |
IntT (D0 n) => IntT (Dn (D0 n)) Source # | |
IntT (Dn n) => IntT (Dn (Dn n)) Source # | |
Lifting
Some natural number
withInt :: forall i a. Integral i => (forall n. IntT n => n -> a) -> i -> a Source #
Apply function which could work with any Nat
value only know at runtime.
Template haskell utilities
module TypeLevel.Number.Classes