4
我最近開始在我的一個項目中使用STM進行一些操作,但是我很難搞清楚如何測試它。純粹測試STM功能
我在這些函數中沒有IO,並且希望我可以編寫QuickCheck屬性來測試,但是「原子地」(STM a - > IO a)似乎是從STM monad中獲取任何內容的唯一方法。
這是可能的,還是應該在HUnit中寫我的測試呢?
我最近開始在我的一個項目中使用STM進行一些操作,但是我很難搞清楚如何測試它。純粹測試STM功能
我在這些函數中沒有IO,並且希望我可以編寫QuickCheck屬性來測試,但是「原子地」(STM a - > IO a)似乎是從STM monad中獲取任何內容的唯一方法。
這是可能的,還是應該在HUnit中寫我的測試呢?
它看起來是這樣,不是嗎?我想我已經得到了一些研讀做。謝謝! –