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