Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
NFDQuickCheck :: NFDQuickCheck_text-icu Data.Text.ICU.Char No documentation available.
-
text-icu Data.Text.ICU.Char No documentation available.
NFKCQuickCheck :: NFKCQuickCheck_text-icu Data.Text.ICU.Char No documentation available.
-
text-icu Data.Text.ICU.Char No documentation available.
NFKDQuickCheck :: NFKDQuickCheck_text-icu Data.Text.ICU.Char No documentation available.
-
text-icu Data.Text.ICU.Char No documentation available.
makeQuickCheckTest :: TestID -> Location -> Assertion -> TestHTF Test.Framework Construct a test where the given Assertion checks a quick check property. Mainly used internally by the htfpp preprocessor.
makeQuickCheckTest :: TestID -> Location -> Assertion -> TestHTF Test.Framework.TestManager Construct a test where the given Assertion checks a quick check property. Mainly used internally by the htfpp preprocessor.
polyQuickCheck :: Name -> ExpQmassiv-test Test.Massiv.Utils 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 [].
sbvQuickCheck :: Symbolic SBool -> IO Boolsbv Data.SBV Quick check an SBV property. Note that a regular quickCheck call will work just as well. Use this variant if you want to receive the boolean result.