Testing IO actions with Monadic QuickCheck

Question

Can anyone give me a brief example of testing IO actions using Monadic QuickCheck?

Answer 1

The standard reference for testing monadic code is "Testing Monadic Code with QuickCheck". It shows various ways of testing in the context of a monad such as IO.

But you should really consider posting a more concrete question about what it is that you would like to test.