2011-10-01 72 views
4

我最近开始在我的一个项目中使用STM进行一些操作,但是我很难搞清楚如何测试它。纯粹测试STM功能

我在这些函数中没有IO,并且希望我可以编写QuickCheck属性来测试,但是“原子地”(STM a - > IO a)似乎是从STM monad中获取任何内容的唯一方法。

这是可能的,还是应该在HUnit中写我的测试呢?

回答