22 Oct
2008
22 Oct
'08
7:39 a.m.
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.