Re: [Haskell-cafe] Hedgehog - Integrated shrinking, shrinks obey invariants by construction.

...

...

...

...

"LX" == Li-yao Xia writes:

LX> The main drawback might be that there is some duplicated work during LX> shrinking ((>>=) applies its second argument to different arguments), but LX> it is quite minor since shrinking is only needed in exceptional cases, and LX> it usually terminates in few steps. I've recently switched from QuickCheck to Hedgehog for my property testing, and having found that the implied shrinking is indeed a very nice behavior. Shrinking is one of those principled ideas that rarely happens in execution, so any methodology for automating it is appreciated. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2