[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.

Roelof



More information about the Haskell-Cafe mailing list