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.
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.
polyQuickCheck :: Name -> ExpQQuickCheck Test.QuickCheck Test a polymorphic property, defaulting all type variables to Integer. Invoke as $(polyQuickCheck 'prop), where prop is a property. Note that just evaluating quickCheck prop in GHCi will seem to work, but will silently default all type variables to ()! $(polyQuickCheck 'prop) means the same as quickCheck $(monomorphic 'prop). If you want to supply custom arguments to polyQuickCheck, you will have to combine quickCheckWith and monomorphic yourself. If you want to use polyQuickCheck in the same file where you defined the property, the same scoping problems pop up as in quickCheckAll: see the note there about return [].
polyQuickCheck :: Name -> ExpQQuickCheck Test.QuickCheck.All Test a polymorphic property, defaulting all type variables to Integer. Invoke as $(polyQuickCheck 'prop), where prop is a property. Note that just evaluating quickCheck prop in GHCi will seem to work, but will silently default all type variables to ()! $(polyQuickCheck 'prop) means the same as quickCheck $(monomorphic 'prop). If you want to supply custom arguments to polyQuickCheck, you will have to combine quickCheckWith and monomorphic yourself. If you want to use polyQuickCheck in the same file where you defined the property, the same scoping problems pop up as in quickCheckAll: see the note there about return [].
polyQuickCheck :: Name -> ExpQtasty-quickcheck Test.Tasty.QuickCheck Test a polymorphic property, defaulting all type variables to Integer. Invoke as $(polyQuickCheck 'prop), where prop is a property. Note that just evaluating quickCheck prop in GHCi will seem to work, but will silently default all type variables to ()! $(polyQuickCheck 'prop) means the same as quickCheck $(monomorphic 'prop). If you want to supply custom arguments to polyQuickCheck, you will have to combine quickCheckWith and monomorphic yourself. If you want to use polyQuickCheck in the same file where you defined the property, the same scoping problems pop up as in quickCheckAll: see the note there about return [].
makeQuickCheckArgs :: TestRunSettings -> Argssydtest Test.Syd.Run No documentation available.
configQuickCheckMaxDiscardRatio :: Config -> Maybe Inthspec-core Test.Hspec.Core.Extension.Config No documentation available.