Hoogle Search
Within LTS Haskell 23.24 (ghc-9.8.4)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
QuickCheck Test.QuickCheck Test all properties in the current module. The name of the property must begin with prop_. Polymorphic properties will be defaulted to Integer. Returns True if all tests succeeded, False otherwise. To use quickCheckAll, add a definition to your module along the lines of
return [] runTests = $quickCheckAll
and then execute runTests. Note: the bizarre return [] in the example above is needed on GHC 7.8 and later; without it, quickCheckAll will not be able to find any of the properties. For the curious, the return [] is a Template Haskell splice that makes GHC insert the empty list of declarations at that point in the program; GHC typechecks everything before the return [] before it starts on the rest of the module, which means that the later call to quickCheckAll can see everything that was defined before the return []. Yikes! quickCheckResult :: Testable prop => prop -> IO ResultQuickCheck Test.QuickCheck Tests a property, produces a test result, and prints the results to stdout.
quickCheckWith :: Testable prop => Args -> prop -> IO ()QuickCheck Test.QuickCheck Tests a property, using test arguments, and prints the results to stdout.
quickCheckWithResult :: Testable prop => Args -> prop -> IO ResultQuickCheck Test.QuickCheck Tests a property, using test arguments, produces a test result, and prints the results to stdout.
-
QuickCheck Test.QuickCheck.All Test all properties in the current module. The name of the property must begin with prop_. Polymorphic properties will be defaulted to Integer. Returns True if all tests succeeded, False otherwise. To use quickCheckAll, add a definition to your module along the lines of
return [] runTests = $quickCheckAll
and then execute runTests. Note: the bizarre return [] in the example above is needed on GHC 7.8 and later; without it, quickCheckAll will not be able to find any of the properties. For the curious, the return [] is a Template Haskell splice that makes GHC insert the empty list of declarations at that point in the program; GHC typechecks everything before the return [] before it starts on the rest of the module, which means that the later call to quickCheckAll can see everything that was defined before the return []. Yikes! -
massiv-test Test.Massiv.Utils Test all properties in the current module. The name of the property must begin with prop_. Polymorphic properties will be defaulted to Integer. Returns True if all tests succeeded, False otherwise. To use quickCheckAll, add a definition to your module along the lines of
return [] runTests = $quickCheckAll
and then execute runTests. Note: the bizarre return [] in the example above is needed on GHC 7.8 and later; without it, quickCheckAll will not be able to find any of the properties. For the curious, the return [] is a Template Haskell splice that makes GHC insert the empty list of declarations at that point in the program; GHC typechecks everything before the return [] before it starts on the rest of the module, which means that the later call to quickCheckAll can see everything that was defined before the return []. Yikes! quickCheckResult :: Testable prop => prop -> IO Resultmassiv-test Test.Massiv.Utils Tests a property, produces a test result, and prints the results to stdout.
quickCheckWith :: Testable prop => Args -> prop -> IO ()massiv-test Test.Massiv.Utils Tests a property, using test arguments, and prints the results to stdout.
quickCheckWithResult :: Testable prop => Args -> prop -> IO Resultmassiv-test Test.Massiv.Utils Tests a property, using test arguments, produces a test result, and prints the results to stdout.
quickCheck' :: Testable' prop => prop -> IO ()quickcheck-higherorder Test.QuickCheck.HigherOrder Variant of quickCheck using the alternative Testable'.