[QuickCheck] Obtaining value of QC counter example

[Jurriën Stutterheim]

Dear QuickCheck developers,


Is it possible to obtain the value of the shrunk counter example that QuickCheck produces, so that I may use it in the rest of my program? If so, how? :)
I could imagine that it's possible (at least for non-function values) to return a single counter example value for functions with a single argument, and a tuple of values for functions with more than one argument.

Cheers,


Jurriën