[Haskell-cafe] Fwd: an idea for improving 'shrink'

Hi, since I got no response from the QuickCheck mail address, so I'm resending it here, if someone wants to comment on the idea. Best regards, Petr ---------- Forwarded message ---------- From: Petr Pudlák Date: 2014-07-06 20:13 GMT+02:00 Subject: an idea for improving 'shrink' To: QuickCheck developers Hi, I was learning about 'shrink' lately and I was trying to create some instances. It felt quite awkward until I realized that the operation for producing shrunk tuples is an applicative functor. I was playing with the idea for a while and I'm sending an experimental patch against QuickCheck master that shows the basics of the idea and how it can help constructing 'shrink' instances. If you feel that this is a good idea, let me know, I'll work on a full patch. Best regards, Petr