CODEWITHSUNDEEP
unit-testinghaskellstm
Adam Wagner
Adam Wagner

Reputation: 16117

Testing STM functions purely

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?

Upvotes: 5

Views: 282

Answers (1)

sclv
sclv

Reputation: 38891

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

Upvotes: 1

Related Questions