[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.

Martijn.



More information about the Haskell-Cafe mailing list