numtype-1.2: Type-level (low cardinality) integers.

Index

*Numeric.NumType
+Numeric.NumType
-Numeric.NumType
/Numeric.NumType
decrNumeric.NumType
DivNumeric.NumType
incrNumeric.NumType
MulNumeric.NumType
NegNumeric.NumType
Neg1Numeric.NumType
neg1Numeric.NumType
Neg2Numeric.NumType
neg2Numeric.NumType
Neg3Numeric.NumType
neg3Numeric.NumType
Neg4Numeric.NumType
neg4Numeric.NumType
Neg5Numeric.NumType
neg5Numeric.NumType
NegateNumeric.NumType
negateNumeric.NumType
NegTypeNumeric.NumType
NonZeroNumeric.NumType
NumTypeNumeric.NumType
PosNumeric.NumType
Pos1Numeric.NumType
pos1Numeric.NumType
Pos2Numeric.NumType
pos2Numeric.NumType
Pos3Numeric.NumType
pos3Numeric.NumType
Pos4Numeric.NumType
pos4Numeric.NumType
Pos5Numeric.NumType
pos5Numeric.NumType
PosTypeNumeric.NumType
SuccNumeric.NumType
SumNumeric.NumType
toNumNumeric.NumType
ZeroNumeric.NumType
zeroNumeric.NumType