Open sjakobi opened 3 years ago
In https://www.tweag.io/blog/2020-12-03-shrinks-applicative/, @aspiwack introduces a handy tool for defining shrinkers: the Shrinks Applicative.
Shrinks
Applicative
Could Shrinks be integrated into QuickCheck, so it's easily available for users?!
QuickCheck
Related to #130 and #136 (oh dear, 2016).
I honestly haven't found Rose approach that useful at all (I haven't bothered to make a library, for example).
Rose
In https://www.tweag.io/blog/2020-12-03-shrinks-applicative/, @aspiwack introduces a handy tool for defining shrinkers: the
Shrinks
Applicative
.Could
Shrinks
be integrated intoQuickCheck
, so it's easily available for users?!