On Mon, Nov 12, 2012 at 07:21:06PM +0000, [email protected] wrote:
> Hi, 
> 
> Trying to find some good docs on QuickCheck, if anyone has one ?
> 
> Been scanning what I can find, but a question.
> 
> What would be the best way to generate two different/distinct integers ?

I would use Quickcheck's implication operator here:

    quickCheck $ \x y -> x /= (y :: Int) ==> ...

Cheers,
Simon

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to