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.
forwards :: Backwards (f :: k -> Type) (a :: k) -> f atransformers Control.Applicative.Backwards No documentation available.
forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> PropertyQuickCheck Test.QuickCheck Explicit universal quantification: uses an explicitly given test case generator.
forAllBlind :: Testable prop => Gen a -> (a -> prop) -> PropertyQuickCheck Test.QuickCheck Like forAll, but without printing the generated value.
-
QuickCheck Test.QuickCheck Test all properties in the current module, using a custom quickCheck function. The same caveats as with quickCheckAll apply. $forAllProperties has type (Property -> IO Result) -> IO Bool. An example invocation is $forAllProperties quickCheckResult, which does the same thing as $quickCheckAll. forAllProperties has the same issue with scoping as quickCheckAll: see the note there about return [].
forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> PropertyQuickCheck Test.QuickCheck Like forAll, but with an explicitly given show function.
forAllShrink :: (Show a, Testable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> PropertyQuickCheck Test.QuickCheck Like forAll, but tries to shrink the argument for failing test cases.
forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> PropertyQuickCheck Test.QuickCheck Like forAllShrink, but without printing the generated value.
forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> PropertyQuickCheck Test.QuickCheck Like forAllShrink, but with an explicitly given show function.
-
QuickCheck Test.QuickCheck.All Test all properties in the current module, using a custom quickCheck function. The same caveats as with quickCheckAll apply. $forAllProperties has type (Property -> IO Result) -> IO Bool. An example invocation is $forAllProperties quickCheckResult, which does the same thing as $quickCheckAll. forAllProperties has the same issue with scoping as quickCheckAll: see the note there about return [].
-
QuickCheck Test.QuickCheck.Monadic Quantification in monadic properties to pick, with a notation similar to forAll. Note: values generated by forAllM do not shrink.