quickcheck-dynamic-2.0.0: A library for stateful property-based testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.QuickCheck.DynamicLogic.SmartShrinking

Synopsis

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.