[Haskell-cafe] quickCheck problem

Roelof Wobben r.wobben at home.nl
Wed Oct 7 17:01:15 UTC 2015

Op 7-10-2015 om 18:32 schreef Rogan Creswick:
> On Wed, Oct 7, 2015 at 12:13 AM, Roelof Wobben <r.wobben at home.nl> wrote:
>> I know that if three numbers are the same then the outcome will be false.
>> The same if two numbers are the same.
>> Can I not do something like this :
>> prop_different x y z = not( (x /= y && y /= z && x /= z))
>> to test all cases at once.
> That looks like it will work (I'm assuming you're actually calling
> your function in the property and comparing with that boolean
> expression); is that the same way your function is implemented?
> --Rogan

Unfortanally yes but I do not know another way to test it.
Im only a beginner which has read 2 chapters of the Crafts book.


More information about the Haskell-Cafe mailing list