Testing STM Features Purely

Question

I recently started using STM for some bits in my project, but it's hard for me to figure out how to test it.

I do not have IO in these functions, and I was hoping that I could write QuickCheck properties to test things, but atomically (STM a → IO a) seems to be the only way to get something from the STM monad.

Is this possible, or should I just write my tests in HUnit instead?

Answer 1

You can check the IO actions with quickcheck: http://hackage.haskell.org/packages/archive/QuickCheck/2.4.1.1/doc/html/Test-QuickCheck-Monadic.html