[Haskell-cafe] QuickChecking IO

Malcolm Wallace 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 mailing list