[Haskell-cafe] Hedgehog - Integrated shrinking, shrinks obey invariants by construction.
petr.mvd at gmail.com
Fri Jun 15 11:31:44 UTC 2018
That's interesting! Could you please elaborate how this is implemented?
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.
> On 06/14/2018 04:24 PM, Petr Pudlák wrote:
> > Hi everyone,
> > I found the above interesting sentence in Hedgehog's  documentation.
> > What does this mean? Is construction there somewhat tied to shrinking,
> > perhaps something like going in the reverse direction?
> > Thanks,
> > Petr
> >  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:
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe