[Haskell-cafe] QuickChecking IO
Malcolm.Wallace at cs.york.ac.uk
Thu May 25 11:31:27 EDT 2006
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
More information about the Haskell-Cafe