Hoogle Search
Within LTS Haskell 24.10 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
quickCheck' :: Testable' prop => prop -> IO ()quickcheck-higherorder Test.QuickCheck.HigherOrder Variant of quickCheck using the alternative Testable'.
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.