numtype-dk-0.5.0.3: 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