| prop_NumAssociative :: (Eq a, Num a) => a -> a -> a -> Bool |
|
| prop_NumDistributive :: (Eq a, Num a) => a -> a -> a -> Bool |
|
| prop_NumIdentity :: (Eq a, Num a) => a -> Bool |
|
| prop_NumPowerCascade :: (Eq a, Num a, ToInteger b) => a -> b -> b -> Bool |
|
| prop_NumPowerProduct :: (Eq a, Num a, ToInteger b) => a -> b -> b -> Bool |
|
| prop_NumCommutative :: (Eq a, Num a) => a -> a -> Bool |
|
| prop_IntegralDivMod :: (Eq a, Integral a) => a -> a -> Bool |
|
| prop_IntegralCanonical :: (Eq a, Integral a) => a -> a -> a -> Bool |
|
| prop_IntegralZero :: (Eq a, Integral a) => a -> Bool |
