numtype-tf-0.1.2: Type-level (low cardinality) integers, implemented using type families.

Index

*Numeric.NumType.TF
+Numeric.NumType.TF
-Numeric.NumType.TF
/Numeric.NumType.TF
AddNumeric.NumType.TF
decrNumeric.NumType.TF
DivNumeric.NumType.TF
incrNumeric.NumType.TF
MulNumeric.NumType.TF
NNumeric.NumType.TF
Neg1Numeric.NumType.TF
neg1Numeric.NumType.TF
Neg2Numeric.NumType.TF
neg2Numeric.NumType.TF
Neg3Numeric.NumType.TF
neg3Numeric.NumType.TF
Neg4Numeric.NumType.TF
neg4Numeric.NumType.TF
Neg5Numeric.NumType.TF
neg5Numeric.NumType.TF
NegateNumeric.NumType.TF
negateNumeric.NumType.TF
NumTypeNumeric.NumType.TF
Pos1Numeric.NumType.TF
pos1Numeric.NumType.TF
Pos2Numeric.NumType.TF
pos2Numeric.NumType.TF
Pos3Numeric.NumType.TF
pos3Numeric.NumType.TF
Pos4Numeric.NumType.TF
pos4Numeric.NumType.TF
Pos5Numeric.NumType.TF
pos5Numeric.NumType.TF
PredNumeric.NumType.TF
SNumeric.NumType.TF
SubNumeric.NumType.TF
SuccNumeric.NumType.TF
toNumNumeric.NumType.TF
ZNumeric.NumType.TF
ZeroNumeric.NumType.TF
zeroNumeric.NumType.TF