Modulecheckers-0.6.0Haskell2010

Test.QuickCheck.Instances.Num

Synopsis

valuenonNegative :: (Num a, Arbitrary a) => Gen a

valuenonPositive :: (Num a, Arbitrary a) => Gen a

valuenegative :: (Eq a, Num a, Arbitrary a) => Gen a

valuepositive :: (Eq a, Num a, Arbitrary a) => Gen a

valuenonZero :: (Eq a, Num a) => Gen a -> Gen a

valuenonZero_ :: (Eq a, Num a, Arbitrary a) => Gen a