2011-10-01 16 views
4

私は最近、私のプロジェクトでいくつかのビットに対してSTMを使用し始めましたが、テストする方法がわかりません。純粋にSTM関数をテストする

私はこれらの関数にIOを持たず、テストするためにQuickCheckプロパティを書くことができたと思っていましたが、STMモナドから何かを得るには "アトミック"(STM - > IO a)

これは可能ですか、代わりにHUnitでテストを書くだけですか?

答えて

関連する問題