我最近开始在我的一个项目中使用STM,但我在找出如何测试它时遇到了麻烦。
我在这些函数中没有IO,并且希望我可以编写QuickCheck属性来测试东西,但是“原子地”(STM a -> IO a)似乎是从STM monad中获得任何东西的唯一方法。
这是可能的吗,或者我应该只用HUnit编写测试?
发布于 2011-10-01 12:48:09
您可以使用quickcheck测试IO操作:http://hackage.haskell.org/packages/archive/QuickCheck/2.4.1.1/doc/html/Test-QuickCheck-Monadic.html
https://stackoverflow.com/questions/7617951
复制相似问题