quickcheck-dynamic-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.DynamicLogic.SmartShrinking

Documentation

shrinkSmart :: (a -> [a]) -> Smart a -> [Smart a] Source #