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