[Haskell-cafe] Verifying a list of properties using QuickCheck
Martijn van Steenbergen
martijn at van.steenbergen.nl
Wed Oct 22 07:03:27 EDT 2008
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.
More information about the Haskell-Cafe