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

[Petr Pudlák]

That's interesting! Could you please elaborate how this is implemented?

Thanks, Petr

Dne čt 14. 6. 2018 23:12 uživatel Li-yao Xia <lysxia at gmail.com> napsal:

> Generators can be interpreted as the sets of values they generate, and
> "integrated shrinking" makes shrinking produce values that belong to the
> same set, by deriving it from the generator. In contrast, in QuickCheck,
> generators and shrinkers are separate, so if a property we want to test
> has some precondition, we need to remember to make both the generator
> and the shrinker satisfy these preconditions.
>
> Li-yao
>
> On 06/14/2018 04:24 PM, Petr Pudlák wrote:
> > 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?
> >
> > Thanks,
> > Petr
> >
> > [1] https://github.com/hedgehogqa/haskell-hedgehog#features
> >
> >
> > _______________________________________________
> > Haskell-Cafe mailing list
> > To (un)subscribe, modify options or view archives go to:
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> > Only members subscribed via the mailman list are allowed to post.
> >
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180615/91f74a3e/attachment.html>