numeric-kinds-0.2.0: Type-level numeric types and classes

Index

*Kinds.Num
+Kinds.Num
-Kinds.Num
-#Kinds.Integer
AddIntegerKinds.Integer
CmpIntegerKinds.Integer
FromNatKinds.Num
IntegerKinds.Integer
integerValKinds.Integer
KnownIntegerKinds.Integer
mulCommutesKinds.Integer
MulIntegerKinds.Integer
NegKinds.Integer
plusMinusInverseLKinds.Integer
plusMinusInverseRKinds.Integer
PosKinds.Integer
SubIntegerKinds.Integer
ToIntegerKinds.Num, Kinds.Integer