ContentsIndex
NumLaws
Synopsis
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
Produced by Haddock version 0.6