2011-10-01 76 views
4

我最近開始在我的一個項目中使用STM進行一些操作,但是我很難搞清楚如何測試它。純粹測試STM功能

我在這些函數中沒有IO,並且希望我可以編寫QuickCheck屬性來測試,但是「原子地」(STM a - > IO a)似乎是從STM monad中獲取任何內容的唯一方法。

這是可能的,還是應該在HUnit中寫我的測試呢?

回答