gen.shrink

a function takes an 'a and
returning a vector of 'a.

shrinker

a generator we wish to add shrinking
to

shrinker takes an 'a and returns a vector of 'a.

Hedgehog will eat all your bugs.
'Hedgehog' is a property-based testing package in the spirit
of 'QuickCheck'. With 'Hedgehog', one can test properties
of their programs against randomly generated input, providing
far superior test coverage compared to unit testing. One of the
key benefits of 'Hedgehog' is integrated shrinking of
counterexamples, which allows one to quickly find the cause of
bugs, given salient examples when incorrect behaviour occurs.

gen.shrink: Helper to create a generator with a shrink function.

Description

Usage

Arguments