[Haskell-cafe] Quickcheck
Simon Hengel
sol at typeful.net
Mon Nov 12 22:14:30 CET 2012
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
More information about the Haskell-Cafe
mailing list