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