Hoogle Search
Within LTS Haskell 24.3 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
-
HUnit like assertions for QuickCheck Library with convenient assertions for QuickCheck properties like in HUnit
-
Use HUnit assertions as QuickCheck properties This package provides an orphan instance that allows you to use HUnit assertions as QuickCheck properties.
-
Generator and shrink functions for testing Unicode-related software. Generator and shrink functions for testing Unicode-related software.
-
Quasi-unique identifiers for QuickCheck Quasi-unique identifiers for QuickCheck. For the most up-to-date documentation, please view the following page: https://github.com/jonathanknowles/quickcheck-quid/blob/main/README.md
package
quickcheck-arbitrary-adt Generic typeclasses for generating arbitrary ADTs Improve arbitrary value generation for ADTs
-
Testing group class instances with QuickCheck QuickCheck support for testing instances of type classes defined in the groups library.
package
quickcheck-higherorder QuickCheck extension for higher-order properties Enhancements for property-based testing of higher-order properties.
- Associate types to their representations with the Constructible class.
- Testable' class, variant of Testable with an improved instance for (->).
- Representation of higher-order functions (via test-fun).
- Testable equality TestEq.
- Explicit testable type of Equation.
quickCheck' :: Testable' prop => prop -> IO ()quickcheck-higherorder Test.QuickCheck.HigherOrder Variant of quickCheck using the alternative Testable'.