TypeLevel.Number.Int

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

data ZZ

Digit stream terminator

Instances

Show ZZ

IntT ZZ

IntT (D1 ZZ)

IntT (Dn ZZ)

data Dn n

Digit -1

Instances

IntT (Dn n) => Show (Dn n)

IntT (Dn n) => IntT (D1 (Dn n))

IntT (Dn n) => IntT (D0 (Dn n))

IntT (Dn ZZ)

IntT (D1 n) => IntT (Dn (D1 n))

IntT (D0 n) => IntT (Dn (D0 n))

IntT (Dn n) => IntT (Dn (Dn n))

data D0 n

Digit 0

Instances

IntT (D0 n) => Show (D0 n)

IntT (D0 n) => IntT (D1 (D0 n))

IntT (D1 n) => IntT (D0 (D1 n))

IntT (D0 n) => IntT (D0 (D0 n))

IntT (Dn n) => IntT (D0 (Dn n))

IntT (D0 n) => IntT (Dn (D0 n))

data D1 n

Digit 1

Instances

IntT (D1 n) => Show (D1 n)

IntT (D1 ZZ)

IntT (D1 n) => IntT (D1 (D1 n))

IntT (D0 n) => IntT (D1 (D0 n))

IntT (Dn n) => IntT (D1 (Dn n))

IntT (D1 n) => IntT (D0 (D1 n))

IntT (D1 n) => IntT (Dn (D1 n))

class IntT n

Type class for type level integers. Only numbers without leading zeroes are members of the class.

Instances

IntT ZZ

IntT (D1 ZZ)

IntT (D1 n) => IntT (D1 (D1 n))

IntT (D0 n) => IntT (D1 (D0 n))

IntT (Dn n) => IntT (D1 (Dn n))

IntT (D1 n) => IntT (D0 (D1 n))

IntT (D0 n) => IntT (D0 (D0 n))

IntT (Dn n) => IntT (D0 (Dn n))

IntT (Dn ZZ)

IntT (D1 n) => IntT (Dn (D1 n))

IntT (D0 n) => IntT (Dn (D0 n))

IntT (Dn n) => IntT (Dn (Dn n))

Template haskell utilities

intT :: Integer -> TypeQ

Generate type for integer number.

module TypeLevel.Number.Classes