[Haskell-cafe] Generating random arguments for a function

satvik chauhan mystic.satvik at gmail.com
Sat Jan 12 20:33:08 CET 2013

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

where 1 and 3 are random values generated for `Int` and 4 is `f 1 3`.

I have asked this on
am not fully satisfied with the answers.

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

More information about the Haskell-Cafe mailing list