nick8325/quickcheck

Provide `Shrinks` Applicative?!

sjakobi opened this issue · 1 comments

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 into QuickCheck, so it's easily available for users?!

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).