Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Propertytasty-quickcheck Test.Tasty.QuickCheck Explicit universal quantification: uses an explicitly given test case generator.
forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Propertytasty-quickcheck Test.Tasty.QuickCheck Like forAll, but without printing the generated value.
forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Propertytasty-quickcheck Test.Tasty.QuickCheck Like forAll, but with an explicitly given show function.
forAllShrink :: (Show a, Testable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> Propertytasty-quickcheck Test.Tasty.QuickCheck Like forAll, but tries to shrink the argument for failing test cases.
forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> Propertytasty-quickcheck Test.Tasty.QuickCheck Like forAllShrink, but without printing the generated value.
forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Propertytasty-quickcheck Test.Tasty.QuickCheck Like forAllShrink, but with an explicitly given show function.
-
tasty-quickcheck Test.Tasty.QuickCheck No documentation available.
-
tasty-quickcheck Test.Tasty.QuickCheck Optional; used internally in order to improve shrinking. Tests a property but also quantifies over an extra value (with a custom shrink and show function). The Testable instance for functions defines propertyForAllShrinkShow in a way that improves shrinking.
catchAll :: (HasCallStack, MonadCatch m) => m a -> (SomeException -> m a) -> m aexceptions Control.Monad.Catch Catches all exceptions, and somewhat defeats the purpose of the extensible exception system. Use sparingly. NOTE This catches all exceptions, but if the monad supports other ways of aborting the computation, those other kinds of errors will not be caught.
finally :: (HasCallStack, MonadMask m) => m a -> m b -> m aexceptions Control.Monad.Catch Perform an action with a finalizer action that is run, even if an error occurs.