[Haskell-cafe] Quickcheck

[Simon Hengel]

On Mon, Nov 12, 2012 at 07:21:06PM +0000, graham at fatlazycat.com 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