[Haskell-cafe] Verifying a list of properties using QuickCheck

[Sebastiaan Visser]

On Oct 22, 2008, at 1:03 PM, Martijn van Steenbergen wrote:

> Thomas van Noort wrote:
>> However, I would like a single result for the complete list of  
>> properties instead of a result for each property. I realize that  
>> this restricts the properties to be of the same type, but that  
>> isn't a problem for my application.
>
> Why not concatenate your properties into one big conjuction?
>
> Prelude Test.QuickCheck> (quickCheck . and) [1==1,2==2]
> +++ OK, passed 100 tests.
>
> Martijn.

What to do when your properties are parametrised by some `arbitrary'  
value?

Sebastiaan.