[Haskell-cafe] Generating random arguments for a function

[satvik chauhan]

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
SO<http://stackoverflow.com/questions/14294802/evaluating-function-at-random-arguments-using-quickcheck>
but
am not fully satisfied with the answers.

-Satvik
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130113/8732dcd0/attachment.htm>