numeric-kinds-0.1.0.0: Type-level numeric types, classes, and instances.

Index

*Kinds.Num
+Kinds.Num
-Kinds.Num
-#Kinds.Integer
/=Kinds.Num
/=?Kinds.Num
<Kinds.Num
<=Kinds.Num
<=?Kinds.Num
<?Kinds.Num
==Kinds.Num
==?Kinds.Num
>Kinds.Num
>=Kinds.Num
>=?Kinds.Num
>?Kinds.Num
AddIntegerKinds.Integer
CaseOrderingKinds.Integer
CmpKinds.Num
CmpIntegerKinds.Integer
FromNatKinds.Num
IntegerKinds.Integer
integerValKinds.Integer
IsEQKinds.Num
IsGEKinds.Num
IsGTKinds.Num
IsLEKinds.Num
IsLTKinds.Num
IsNEKinds.Num
KnownIntegerKinds.Integer
mulCommutesKinds.Integer
MulIntegerKinds.Integer
NegKinds.Integer
plusMinusInverseLKinds.Integer
plusMinusInverseRKinds.Integer
PosKinds.Integer
ProvenKinds.Num
SubIntegerKinds.Integer
ToIntegerKinds.Num, Kinds.Integer