smartcheck-0.2.4: A smarter QuickCheck.

Safe HaskellSafe



SmartCheck's interface to QuickCheck.



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.

stdArgs :: Args #

The default test arguments