Numeric.NumType.DK.Integers

Type-Level Integers

data TypeInt

Type-level Arithmetic

type family Pred i :: TypeInt

type family Succ i :: TypeInt

type family Negate i :: TypeInt

type family Abs i :: TypeInt

type family Signum i :: TypeInt

type family i + i' :: TypeInt

type family i - i' :: TypeInt

type family i * i' :: TypeInt

type family i / i' :: TypeInt

type family i ^ i' :: TypeInt

Arithmetic on Proxies

pred

succ

negate

abs

signum

(+)

(-)

(*)

(/)

(^)

Convenience Synonyms for Proxies

zero

pos1

pos2

pos3

pos4

pos5

pos6

pos7

pos8

pos9

neg1

neg2

neg3

neg4

neg5

neg6

neg7

neg8

neg9

Conversion from Types to Terms

class KnownTypeInt i