4
我最近开始在我的一个项目中使用STM进行一些操作,但是我很难搞清楚如何测试它。纯粹测试STM功能
我在这些函数中没有IO,并且希望我可以编写QuickCheck属性来测试,但是“原子地”(STM a - > IO a)似乎是从STM monad中获取任何内容的唯一方法。
这是可能的,还是应该在HUnit中写我的测试呢?
我最近开始在我的一个项目中使用STM进行一些操作,但是我很难搞清楚如何测试它。纯粹测试STM功能
我在这些函数中没有IO,并且希望我可以编写QuickCheck属性来测试,但是“原子地”(STM a - > IO a)似乎是从STM monad中获取任何内容的唯一方法。
这是可能的,还是应该在HUnit中写我的测试呢?
它看起来是这样,不是吗?我想我已经得到了一些研读做。谢谢! –