标签： unit-testing haskell stm
我最近开始在我的项目中使用STM来处理某些项目，但是我无法弄清楚如何测试它。
我在这些函数中没有IO，并希望我可以编写QuickCheck属性来测试事物，但“原子地”（STM a - ＆gt; IO a）似乎是从STM monad中获取任何东西的唯一方法。
这是可能的，还是我应该在HUnit中编写测试？
答案 0 :(得分：1)
您可以使用快速检查来测试IO操作：http://hackage.haskell.org/packages/archive/QuickCheck/2.4.1.1/doc/html/Test-QuickCheck-Monadic.html