繁体   English   中英

纯粹测试STM功能

[英]Testing STM functions purely

我最近开始在我的项目中使用STM用于某些位,但是我无法弄清楚如何测试它。

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

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

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM