HORIZON HASKELLDocslts/ghc-10.0.x8c2f8e82026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8c2f8e8 · 2026-10-19

Modulequickcheck-dynamic-4.0.1Haskell2010

Test.QuickCheck.DynamicLogic.SmartShrinking

  • 1 value
valueshrinkSmart :: (a -> [a]) -> Smart a -> [Smart a]
#

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.