::
GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Modulecheckers-0.6.0Haskell2010
nonNegative :: (Num a, Arbitrary a) => Gen a
nonPositive :: (Num a, Arbitrary a) => Gen a
negative :: (Eq a, Num a, Arbitrary a) => Gen a
positive :: (Eq a, Num a, Arbitrary a) => Gen a
nonZero :: (Eq a, Num a) => Gen a -> Gen a
nonZero_ :: (Eq a, Num a, Arbitrary a) => Gen a