On Mon, Jul 25, 2011 at 3:01 AM, Mark Spezzano <span dir="ltr"><<a href="mailto:mark.spezzano@chariot.net.au">mark.spezzano@chariot.net.au</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
Also, I think that class CoArbitrary can help to generate random *functions *(as opposed to values; but tell me if I'm wrong) but I don't see how this could be useful.<br></blockquote><div><br></div><div>How would you test that a function with the type</div>
<div><br></div><div>endo :: Functor f => (a -> a) -> f a -> f a</div><div><br></div><div>satisfies some property? You pass in "random" functions which satisfy "some" property, and pass in "random" (f a)'s to try it on.</div>
</div>