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