[Haskell-cafe] QuickChecking IO
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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe