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 ()quickcheck-higherorder Test.QuickCheck.HigherOrder Variant of quickCheckWith using the alternative Testable'.
quickChecks :: [(String, Property)] -> IO Boolquickcheck-higherorder Test.QuickCheck.HigherOrder Execute a list of named properties.
quickCheck' :: Testable' prop => prop -> IO ()quickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable Variant of quickCheck using the alternative Testable'.
quickCheckWith' :: Testable' prop => Args -> prop -> IO ()quickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable Variant of quickCheckWith using the alternative Testable'.
quickChecks :: [(String, Property)] -> IO Boolquickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable Execute a list of named properties.
package
quickcheck-monoid-subclasses Testing monoid subclass instances with QuickCheck QuickCheck support for testing instances of type classes defined in the monoid-subclasses library.
-
A library for stateful property-based testing Please see the README on GitHub at https://github.com/input-output-hk/quickcheck-dynamic#readme
package
quickcheck-state-machine Test monadic programs using state machine based models See README at https://github.com/stevana/quickcheck-state-machine#readme
package
quickcheck-transformer A GenT monad transformer for QuickCheck library. A fork of QuickCheck-GenT that works for older GHC versions and uses the Test module folder like QuickCheck.
-
Edge cases and special values for QuickCheck Arbitrary instances The standard Arbitrary instances of QuickCheck don't generate special values. This is fixed by this package which provides the newtype Special with an Arbitrary instance. The special values are given by the SpecialValues typeclass.