[Haskell-cafe] QuickChecking IO

[Malcolm Wallace]

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