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

Safe HaskellSafe-Inferred
LanguageHaskell98

Test.QuickCheck.Instances.Num

Documentation

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