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

Sebastiaan Visser sfvisser at cs.uu.nl
Wed Oct 22 07:39:41 EDT 2008

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'  


More information about the Haskell-Cafe mailing list