Unit testing 测试STM函数_Unit Testing_Haskell_Stm

Unit testing 测试STM函数

unit-testing haskell

Unit testing 测试STM函数,unit-testing,haskell,stm,Unit Testing,Haskell,Stm,我最近开始在我的一个项目中对一些比特使用STM，但我很难弄清楚如何测试它我在这些函数中没有IO，我希望可以编写QuickCheck属性来测试东西，但是“原子”（STM a->IO a）似乎是从STM monad中获得任何东西的唯一方法这是可能的，还是我应该用HUnit编写测试？您可以使用quickcheck测试IO操作：看起来是这样的，不是吗。。。我想我有一些阅读要做。谢谢

我最近开始在我的一个项目中对一些比特使用STM，但我很难弄清楚如何测试它

我在这些函数中没有IO，我希望可以编写QuickCheck属性来测试东西，但是“原子”（STM a->IO a）似乎是从STM monad中获得任何东西的唯一方法

这是可能的，还是我应该用HUnit编写测试？

您可以使用quickcheck测试IO操作：

看起来是这样的，不是吗。。。我想我有一些阅读要做。谢谢