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 |