These are chat archives for got-lambda/expression
The online hangout for Göteborg Functional Programming Group and everybody interested.
do a <- arbitrary b <- arbitrary if (q a b) then return (a, b) else arbitrary
instance Arbitrary a => Arbitrary (a, a)
suchThatmodifier. I am really scratching the surface of what's possible with QuickCheck
suchThatmodifier filters the list of generated data, meaning that you will get fewer tests
Arbitrary a, Arbitrary b => Arbitrary (a, b)instance you might want to package yours in some newtype (or maybe my thinking is bad here)