| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.QuickCheck.DynamicLogic.SmartShrinking
Synopsis
- shrinkSmart :: (a -> [a]) -> Smart a -> [Smart a]
Documentation
shrinkSmart :: (a -> [a]) -> Smart a -> [Smart a] Source #
This combinator captures the 'smart shrinking' implemented for the
Smart type wrapper in Test.QuickCheck.Modifiers.
It interleaves the output of the given shrinker to try to converge to more
interesting values faster.