
12 Jan
2013
12 Jan
'13
7:33 p.m.
I am trying to use quickcheck to generate random arguments of a given function (assuming all its types have Arbitrary instance and Show instance) along with the evaluation of the function at those arguments. Suppose I have a function add :: Int -> Int -> Int add a b = a+b Then I assume a behavior like > randomEvaluate add (["1","3"],"4") where 1 and 3 are random values generated for `Int` and 4 is `f 1 3`. I have asked this on SOhttp://stackoverflow.com/questions/14294802/evaluating-function-at-random-ar... but am not fully satisfied with the answers. -Satvik