<div class="gmail_extra">hi,</div><div class="gmail_extra"><br></div><div class="gmail_extra">On 13 November 2012 21:52,  <span dir="ltr">&lt;<a href="mailto:graham@fatlazycat.com" target="_blank">graham@fatlazycat.com</a>&gt;</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"><div id=":2ns">prop_something x y = .......do blah with positive integers<br>
  ==&gt; x &gt; 0 &amp;&amp; y &gt; 0<br></div></blockquote></div><br>quickcheck provides a few nice new types for such cases. try:</div><div class="gmail_extra"><br></div><div class="gmail_extra">prop_something (Positive x) (Positive y) = ...</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">this way qc only generates positive numbers, instead of generating and discarding some.<br clear="all"><div><br></div><div>hth,</div><div><br></div>-- <br>Ozgur Akgun<br>


</div>