checkers-0.1.4: Check properties on standard classes and data structures.

Test.QuickCheck.Instances.Num

Documentation

nonNegative :: (Num a, Arbitrary a) => Gen aSource

nonPositive :: (Num a, Arbitrary a) => Gen aSource

negative :: (Num a, Arbitrary a) => Gen aSource

positive :: (Num a, Arbitrary a) => Gen aSource

nonZero :: (Num a, Arbitrary a) => Gen a -> Gen aSource

nonZero_ :: (Num a, Arbitrary a) => Gen aSource