testing（tasty-smallcheck）とファイル構成と孤立インスタンスの回避

Question

ライブラリはsrcディレクトリにあり、データ定義があります。A.テストに関するコードは、多くのチュートリアルで示唆されているように、テストディレクトリにあります。シリアル・インスタンスは、テストケースを生成し、以下のリンクを参照します

instance Monad m => Serial m A where ... 

cabal test

が、これは孤児インスタンスであることを警告しています。これはやむを得ないことですか、またはlibsを編成するための確立された規約がありますか？たとえば、シリアルインスタンス定義をデータAが定義されている場所に移動しますか？後者はテストディレクトリに関連するものをテストし続けるのが良いと思うので、何とか間違っていると感じます。これが典型的な方法であれば、どのような方法でパブリックインターフェイスでテスト関連のものが公開されるのを避けることができますか？テストされたすべてのモジュール（パブリックモジュールと実際のテストプログラムが使用する）の「内部」バージョンを記述しますか？同様のものが unit-testing questionに示唆されました。

これはまったく問題ですか？関連するコードをテストする際に孤立したインスタンスを残すことはどれほど難しいでしょうか？それは、関連するコードをテストで孤児のインスタンスを残すためにどのように悪い慣習

---

SmallCheck: Making types instance of typeclass Serial

How to use SmallCheck in Haskell?

Answer 1

？

あまりありません。私はここで@Potonnierに同意します。孤児のインスタンスはHaskell's open-world assumptionのために不愉快ですが、テスト可能な実行可能ファイルのターゲットはかなり閉鎖された世界だと主張します。テスト実行可能パッケージによって提供されるモジュールを誰もインポートしないこと、そしてそこにあるモジュールが依存グラフの「葉」であることは合理的に期待できます。それが本当である限り、孤立したインスタンスが最悪の場合のシナリオにつながるシナリオを想像するのは難しいでしょう。偽陽性のようなものです。これはバイナリの決定ではありませんが、ここでのコスト便益分析は、テストライブラリを依存関係として含めることに比べて重視されると思います。