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
AbsNumeric.NumType.DK.Integers
absNumeric.NumType.DK.Integers
KnownTypeIntNumeric.NumType.DK.Integers
Neg1Numeric.NumType.DK.Integers
neg1Numeric.NumType.DK.Integers
Neg10MinusNumeric.NumType.DK.Integers
Neg2Numeric.NumType.DK.Integers
neg2Numeric.NumType.DK.Integers
Neg3Numeric.NumType.DK.Integers
neg3Numeric.NumType.DK.Integers
Neg4Numeric.NumType.DK.Integers
neg4Numeric.NumType.DK.Integers
Neg5Numeric.NumType.DK.Integers
neg5Numeric.NumType.DK.Integers
Neg6Numeric.NumType.DK.Integers
neg6Numeric.NumType.DK.Integers
Neg7Numeric.NumType.DK.Integers
neg7Numeric.NumType.DK.Integers
Neg8Numeric.NumType.DK.Integers
neg8Numeric.NumType.DK.Integers
Neg9Numeric.NumType.DK.Integers
neg9Numeric.NumType.DK.Integers
NegateNumeric.NumType.DK.Integers
negateNumeric.NumType.DK.Integers
Pos1Numeric.NumType.DK.Integers
pos1Numeric.NumType.DK.Integers
Pos10PlusNumeric.NumType.DK.Integers
Pos2Numeric.NumType.DK.Integers
pos2Numeric.NumType.DK.Integers
Pos3Numeric.NumType.DK.Integers
pos3Numeric.NumType.DK.Integers
Pos4Numeric.NumType.DK.Integers
pos4Numeric.NumType.DK.Integers
Pos5Numeric.NumType.DK.Integers
pos5Numeric.NumType.DK.Integers
Pos6Numeric.NumType.DK.Integers
pos6Numeric.NumType.DK.Integers
Pos7Numeric.NumType.DK.Integers
pos7Numeric.NumType.DK.Integers
Pos8Numeric.NumType.DK.Integers
pos8Numeric.NumType.DK.Integers
Pos9Numeric.NumType.DK.Integers
pos9Numeric.NumType.DK.Integers
PredNumeric.NumType.DK.Integers
predNumeric.NumType.DK.Integers
SignumNumeric.NumType.DK.Integers
signumNumeric.NumType.DK.Integers
SuccNumeric.NumType.DK.Integers
succNumeric.NumType.DK.Integers
toNumNumeric.NumType.DK.Integers
TypeIntNumeric.NumType.DK.Integers
ZeroNumeric.NumType.DK.Integers
zeroNumeric.NumType.DK.Integers
^ 
1 (Type/Class)Numeric.NumType.DK.Integers
2 (Function)Numeric.NumType.DK.Integers