Question

I've recently started using STM for some bits in a project of mine, but I'm having trouble figuring out how to test it.

I have no IO in these functions and was hoping I could write QuickCheck properties to test things, but "atomically" (STM a -> IO a) seems to be the only way to get anything out of the STM monad.

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

Was it helpful?
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top