[Haskell-cafe] Verifying a list of properties using QuickCheck

Thomas van Noort thomas at cs.ru.nl
Mon Oct 20 07:29:10 EDT 2008


I would like to verify a list of properties using QuickCheck. Of course, 
I can test a single property using:

quickCheck :: Testable prop => prop -> IO ()

Then, I can check a list of properties my mapping this function over a list:

quickCheckL :: Testable prop => [prop] -> IO ()
quickCheckL = mapM_ quickCheck

This gives me a result for each property:

Prelude Test.QuickCheck> quickCheckL [1==1,2==2]
OK, passed 100 tests.
OK, passed 100 tests.

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.

Did I miss a library function that provides me this functionality?


More information about the Haskell-Cafe mailing list