4
私は最近、私のプロジェクトでいくつかのビットに対してSTMを使用し始めましたが、テストする方法がわかりません。純粋にSTM関数をテストする
私はこれらの関数にIOを持たず、テストするためにQuickCheckプロパティを書くことができたと思っていましたが、STMモナドから何かを得るには "アトミック"(STM - > IO a)
これは可能ですか、代わりにHUnitでテストを書くだけですか?
私は最近、私のプロジェクトでいくつかのビットに対してSTMを使用し始めましたが、テストする方法がわかりません。純粋にSTM関数をテストする
私はこれらの関数にIOを持たず、テストするためにQuickCheckプロパティを書くことができたと思っていましたが、STMモナドから何かを得るには "アトミック"(STM - > IO a)
これは可能ですか、代わりにHUnitでテストを書くだけですか?
あなたはquickcheckとIOアクションをテストすることができます:http://hackage.haskell.org/packages/archive/QuickCheck/2.4.1.1/doc/html/Test-QuickCheck-Monadic.html
それがそのようにそれは...私はいくつかを行うまで読んだんだと思いますしません見えます。ありがとう! –