numtype-dk-0.5: Type-level integers, using TypeNats, Data Kinds, and Closed Type Families. (Index)

numtype-dk-0.5: Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

Index

*
1 (Type/Class)	Numeric.NumType.DK.Integers
2 (Function)	Numeric.NumType.DK.Integers
+
1 (Type/Class)	Numeric.NumType.DK.Integers
2 (Function)	Numeric.NumType.DK.Integers
-
1 (Type/Class)	Numeric.NumType.DK.Integers
2 (Function)	Numeric.NumType.DK.Integers
/
1 (Type/Class)	Numeric.NumType.DK.Integers
2 (Function)	Numeric.NumType.DK.Integers
Abs	Numeric.NumType.DK.Integers
abs	Numeric.NumType.DK.Integers
KnownTypeInt	Numeric.NumType.DK.Integers
Neg1	Numeric.NumType.DK.Integers
neg1	Numeric.NumType.DK.Integers
Neg10Minus	Numeric.NumType.DK.Integers
Neg2	Numeric.NumType.DK.Integers
neg2	Numeric.NumType.DK.Integers
Neg3	Numeric.NumType.DK.Integers
neg3	Numeric.NumType.DK.Integers
Neg4	Numeric.NumType.DK.Integers
neg4	Numeric.NumType.DK.Integers
Neg5	Numeric.NumType.DK.Integers
neg5	Numeric.NumType.DK.Integers
Neg6	Numeric.NumType.DK.Integers
neg6	Numeric.NumType.DK.Integers
Neg7	Numeric.NumType.DK.Integers
neg7	Numeric.NumType.DK.Integers
Neg8	Numeric.NumType.DK.Integers
neg8	Numeric.NumType.DK.Integers
Neg9	Numeric.NumType.DK.Integers
neg9	Numeric.NumType.DK.Integers
Negate	Numeric.NumType.DK.Integers
negate	Numeric.NumType.DK.Integers
Pos1	Numeric.NumType.DK.Integers
pos1	Numeric.NumType.DK.Integers
Pos10Plus	Numeric.NumType.DK.Integers
Pos2	Numeric.NumType.DK.Integers
pos2	Numeric.NumType.DK.Integers
Pos3	Numeric.NumType.DK.Integers
pos3	Numeric.NumType.DK.Integers
Pos4	Numeric.NumType.DK.Integers
pos4	Numeric.NumType.DK.Integers
Pos5	Numeric.NumType.DK.Integers
pos5	Numeric.NumType.DK.Integers
Pos6	Numeric.NumType.DK.Integers
pos6	Numeric.NumType.DK.Integers
Pos7	Numeric.NumType.DK.Integers
pos7	Numeric.NumType.DK.Integers
Pos8	Numeric.NumType.DK.Integers
pos8	Numeric.NumType.DK.Integers
Pos9	Numeric.NumType.DK.Integers
pos9	Numeric.NumType.DK.Integers
Pred	Numeric.NumType.DK.Integers
pred	Numeric.NumType.DK.Integers
Signum	Numeric.NumType.DK.Integers
signum	Numeric.NumType.DK.Integers
Succ	Numeric.NumType.DK.Integers
succ	Numeric.NumType.DK.Integers
toNum	Numeric.NumType.DK.Integers
TypeInt	Numeric.NumType.DK.Integers
Zero	Numeric.NumType.DK.Integers
zero	Numeric.NumType.DK.Integers
^
1 (Type/Class)	Numeric.NumType.DK.Integers
2 (Function)	Numeric.NumType.DK.Integers