I have a working code of this but for that I have to reimplement Arbitrary and Testable typeclasses which I don't want to do. I thought it might be possible to use parts of quickcheck without actually changing its code but still I am unable to find a suitable solution.<div>
<br></div><div>-Satvik<br><br><div class="gmail_quote">On Sun, Jan 13, 2013 at 2:58 PM, Roman Cheplyaka <span dir="ltr"><<a href="mailto:roma@ro-che.info" target="_blank">roma@ro-che.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* Stephen Tetley <<a href="mailto:stephen.tetley@gmail.com">stephen.tetley@gmail.com</a>> [2013-01-13 08:49:08+0000]<br>
<div><div class="h5">> In general you can't do this whether you use pats of QuickCheck or not<br>
> - `randomEvalute` would need to inspect the supplied function to see<br>
> how many input parameters it has so it can list them, but there is no<br>
> such introspection in Haskell.<br>
<br>
</div></div>This can be done with relatively simple type class hackery. In fact,<br>
QuickCheck already does that in order to generate arguments and print<br>
them in case of failure.<br>
<span class="HOEnZb"><font color="#888888"><br>
Roman<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div><div><br></div>
</div>