forAll package:QuickCheck

forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Property

Explicit universal quantification: uses an explicitly given test case generator.

forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Property

Like forAll, but without printing the generated value.

QuickCheck Test.QuickCheck Test.QuickCheck.All

Test all properties in the current module, using a custom quickCheck function. The same caveats as with quickCheckAll apply. $forAllProperties has type (Property -> IO Result) -> IO Bool. An example invocation is $forAllProperties quickCheckResult, which does the same thing as $quickCheckAll. forAllProperties has the same issue with scoping as quickCheckAll: see the note there about return [].

forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Property

QuickCheck Test.QuickCheck

Like forAll, but with an explicitly given show function.

forAllShrink :: (Show a, Testable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> Property

QuickCheck Test.QuickCheck

Like forAll, but tries to shrink the argument for failing test cases.

forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> Property

QuickCheck Test.QuickCheck

Like forAllShrink, but without printing the generated value.

forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Property

QuickCheck Test.QuickCheck

Like forAllShrink, but with an explicitly given show function.

forAllM :: (Monad m, Show a) => Gen a -> (a -> PropertyM m b) -> PropertyM m b

QuickCheck Test.QuickCheck.Monadic

Quantification in monadic properties to pick, with a notation similar to forAll. Note: values generated by forAllM do not shrink.

propertyForAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> prop) -> Property

QuickCheck Test.QuickCheck

Optional; used internally in order to improve shrinking. Tests a property but also quantifies over an extra value (with a custom shrink and show function). The Testable instance for functions defines propertyForAllShrinkShow in a way that improves shrinking.