[英]Testing STM functions purely
我最近开始在我的项目中使用STM用于某些位,但是我无法弄清楚如何测试它。
我在这些函数中没有IO,并且希望我可以编写QuickCheck属性来测试事物,但是“原子地”(STM a - > IO a)似乎是从STM monad中获取任何东西的唯一方法。
这是可能的,还是我应该在HUnit中编写我的测试?
您可以使用quickcheck测试IO操作: http : //hackage.haskell.org/packages/archive/QuickCheck/2.4.1.1/doc/html/Test-QuickCheck-Monadic.html
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.