smartcheck-0.2.4: A smarter QuickCheck.

Test.SmartCheck.Test

Description

SmartCheck's interface to QuickCheck.

Synopsis

# 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.

The default test arguments