| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.SmartCheck.Test
Description
SmartCheck's interface to QuickCheck.
Documentation
scQuickCheckWithResult :: forall a prop. (Show a, Arbitrary a, Testable prop) => Args -> (a -> prop) -> IO (Maybe a, Result) Source #
Our SmartCheck reimplementation of the main QuickCheck driver. We want to
distinguish the first argument to a Testable property to be SmartChecked.
In particular: the first argument will not be shrunk (even if there are
default shrink instances for the type). However, the argument will be grown
according to the the maxSize argument to QuickCheck, in accordance with its
generator. Other arguments will be shrunk, if they have shrinking instances.