forAll package:tasty-quickcheck

forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Property
tasty-quickcheck Test.Tasty.QuickCheck
Explicit universal quantification: uses an explicitly given test case generator.
forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Property
tasty-quickcheck Test.Tasty.QuickCheck
Like forAll, but without printing the generated value.
forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Property
tasty-quickcheck Test.Tasty.QuickCheck
Like forAll, but with an explicitly given show function.
forAllShrink :: (Show a, Testable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> Property
tasty-quickcheck Test.Tasty.QuickCheck
Like forAll, but tries to shrink the argument for failing test cases.
forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> Property
tasty-quickcheck Test.Tasty.QuickCheck
Like forAllShrink, but without printing the generated value.
forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Property
tasty-quickcheck Test.Tasty.QuickCheck
Like forAllShrink, but with an explicitly given show function.
propertyForAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> prop) -> Property
tasty-quickcheck Test.Tasty.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.