hi, On 13 November 2012 21:52, <[email protected]> wrote:
> prop_something x y = .......do blah with positive integers > ==> x > 0 && y > 0 > quickcheck provides a few nice new types for such cases. try: prop_something (Positive x) (Positive y) = ... this way qc only generates positive numbers, instead of generating and discarding some. hth, -- Ozgur Akgun
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
