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

[Martijn van Steenbergen]

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.