問題タブ [hspec]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
73 問題
0
投票する
1
に答える
66
参照
haskell - QuickCheck プロパティ テスト内で IO を使用しますか?
私は現在、クローズド ソースのサード パーティ コマンド ライン アプリケーションを置き換える Haskell ライブラリを作成しています。このサード パーティの CLI には、私が複製した仕様がありますが、実際のバイナリでは、仕様よりもはるかに寛容な入力が許可されます。
QuickCheckを使用して入力を生成し、ライブラリ内の関数の結果をサードパーティの CLI アプリの標準出力と比較できるようにしたいと考えています。私が立ち往生している部分は、プロパティ テスト内で IO を導入する方法です。
これまでのコードは次のとおりです。
QuickCheck には が含まれていることがわかりましたioProperty。それは私が望むもののように思えますが、それを私が既に持っているものに合わせる方法がわかりません。