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

Petr Pudlák petr.mvd at gmail.com
Thu Jun 14 20:24:07 UTC 2018

Hi everyone,

I found the above interesting sentence in Hedgehog's [1] documentation.
What does this mean? Is construction there somewhat tied to shrinking,
perhaps something like going in the reverse direction?


[1] https://github.com/hedgehogqa/haskell-hedgehog#features
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180614/7d0f8662/attachment.html>

More information about the Haskell-Cafe mailing list