[Haskell-cafe] how do i use quickcheck in the IO monad?

Bas van Dijk v.dijk.bas at gmail.com
Tue Sep 23 10:25:32 EDT 2008


On Mon, Sep 22, 2008 at 9:35 PM, Anatoly Yakovenko
<aeyakovenko at gmail.com> wrote:
> If i have functions in the IO monad, is there a way to use quickcheck
> to test them?

Maybe you can use Test.QuickCheck.Monadic in QuickCheck 2.1. I never
used it so I can't explain how it works. However there are some
examples that seem to use it.

See: http://code.haskell.org/QuickCheck

Bas


More information about the Haskell-Cafe mailing list