[Haskell-cafe] QuickChecking IO

Mike Gunter m at ryangunter.com
Thu May 25 13:56:01 EDT 2006

I found the code at:


The only deconstructor there for PropertyM requires a "run" function
of type m Property -> Property.  For IO, run is unsafePerformIO.


Malcolm Wallace <Malcolm.Wallace at cs.york.ac.uk> writes:

> Mike Gunter <m at ryangunter.com> wrote:
>> I'd like to use QuickCheck on IO code.  For instance, I'd like to
>> check a property of type String -> IO Bool.
>> Barring that, I suspect it's possible modify QuickCheck to accommodate
>> IO code (or perhaps, general monadic code).  Has anyone done this?
> Yes, the original authors have.  See:
>     "Testing Monadic Code with QuickCheck"
>     Koen Claessen and John Hughes
>     Haskell Workshop 2002
> Regards,
>     Malcolm
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list