[Haskell-cafe] Hedgehog - Integrated shrinking, shrinks obey invariants by construction.
lysxia at gmail.com
Thu Jun 14 21:11:31 UTC 2018
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?
>  https://github.com/hedgehogqa/haskell-hedgehog#features
> 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.
More information about the Haskell-Cafe