問題タブ [hunit]

同様に、quickcheck が反例をサポートする方法:

しかし、それが動作する方法でshouldBe、例えば

そして、次の行に沿って何かを印刷したいと思います:

型クラスのさまざまなインスタンス (の実装) を (ブラック ボックスとして) チェックすることを目的とする、一般的な単体テスト コードを記述するための既知のパターンがあるかどうか疑問に思っていました。例えば：

コードが適用される特定のインスタンスを指定する何らかの方法で をtests返す関数を書きたいと思います。デフォルトの実装でクラスの定義に追加することを考えていましたが（テストコードと実際のコードの間の結合の問題は今のところ無視しています）、単純に持つことはできません。関数を呼び出すための指定された型の要素)、コードを参照する方法とコード内を理解することができません(型注釈のようなものはできません)。Testteststeststests :: Testtests:: a -> Testconsfoo(cons 0) :: a

class (Eq a) => M a where ...代わりに、型とA派生をB使用するEqと、次のようなものでコンパイラをだますことができます（の定義に追加M）：

しかし、これはすべて私にとって非常に醜いです。どんな提案でも大歓迎です

ここの Haskell エコシステムにとって非常に新しいものです。hunit をインストールしようとしていますが、実行するcabal install hunitと次のメッセージが表示されます。