doctest とquickcheckArbitraryを使用する場合、インスタンスを定義するにはどうすればよいですか?
Doctest と Cabal は、ここで説明されているようにセットアップされ、テスト用に別のディレクトリが作成されます。
doctest の行は次のようになります。
-- prop> (\s -> (decode . encode $ s == s)) :: ByteString -> Bool
decode :: ByteString -> ByteString
encode :: ByteString -> ByteString
Arbitrarydoctest が見つけられるように、どこでどのようにインスタンスを定義すればよいですか? テストプロジェクトで定義したいことに注意してください。