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:
> 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) ==> ...
More information about the Haskell-Cafe