checkers-0.2.8: Check properties on standard classes and data structures.
Test.QuickCheck.Instances.Num
nonNegative :: (Num a, Arbitrary a) => Gen a
nonPositive :: (Num a, Arbitrary a) => Gen a
negative :: (Num a, Arbitrary a) => Gen a
positive :: (Num a, Arbitrary a) => Gen a
nonZero :: (Num a, Arbitrary a) => Gen a -> Gen a
nonZero_ :: (Num a, Arbitrary a) => Gen a