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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
