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.
You're types can be different, so lo
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
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 o
On Mon, Oct 20, 2008 at 01:29:10PM +0200, Thomas van Noort wrote:
> 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 fun
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 ()
quickChec