That's interesting! Could you please elaborate how this is implemented?<div><br></div><div>Thanks, Petr<br><br><div class="gmail_quote"><div dir="ltr">Dne čt 14. 6. 2018 23:12 uživatel Li-yao Xia <<a href="mailto:lysxia@gmail.com">lysxia@gmail.com</a>> napsal:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Generators can be interpreted as the sets of values they generate, and <br>
"integrated shrinking" makes shrinking produce values that belong to the <br>
same set, by deriving it from the generator. In contrast, in QuickCheck, <br>
generators and shrinkers are separate, so if a property we want to test <br>
has some precondition, we need to remember to make both the generator <br>
and the shrinker satisfy these preconditions.<br>
<br>
Li-yao<br>
<br>
On 06/14/2018 04:24 PM, Petr Pudlák wrote:<br>
> Hi everyone,<br>
> <br>
> I found the above interesting sentence in Hedgehog's [1] documentation. <br>
> What does this mean? Is construction there somewhat tied to shrinking, <br>
> perhaps something like going in the reverse direction?<br>
> <br>
> Thanks,<br>
> Petr<br>
> <br>
> [1] <a href="https://github.com/hedgehogqa/haskell-hedgehog#features" rel="noreferrer" target="_blank">https://github.com/hedgehogqa/haskell-hedgehog#features</a><br>
> <br>
> <br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
> <br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div></div>