[Haskell-cafe] Verifying a list of properties using QuickCheck
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.
What to do when your properties are parametrised by some `arbitrary'
More information about the Haskell-Cafe