Re: [Haskell-cafe] QuickChecking IO

Mike Gunter 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