保証は、私は次のようなものを持っている特定のクラス

Question

を派生します。すべてのConfigurationインスタンスを強制的に強制して、data Pigとdata Cowの実装がすべてShowのインスタンスであることを確認する方法はわかりません。

showPigとshowCowの方法があり、複合体全体を書き出すことができるのは分かりますが、実際にはこれより複雑でかなり苦しいです。

タイプファミリーインスタンス自体が特定のクラスのインスタンスであることを保証する簡単で洗練された方法はありますか？

Answer 1

StandaloneDerivingを使用して、Showインスタンスの制約を手動で指定することができます。

{-# LANGUAGE StandaloneDeriving, FlexibleContexts, UndecidableInstances #-} 
deriving instance (Show (Pig c), Show (Cow c)) => Show (Farm c) 

これはまだあなたがいる限り、あなたがshowにそれらを試していないとして、しかし、Showを実装していないCowとPigとConfigurationインスタンスを持つようになります。

Answer 2

あなたはConfigurationのすべてのインスタンスがPig cとCow cがShowを実装持って力たいと言っているので、これを行うにしても簡単な方法は、単純にそうように、クラスのコンテキスト内で型家族を制限することです：

{-# LANGUAGE TypeFamilies, FlexibleContexts #-} 

class (Show (Pig c), Show (Cow c)) => Configuration c where 
    data Pig c 
    data Cow c 

data Farm c = Farm { pigs :: [Pig c], 
        cows :: [Cow c] } deriving (Show) 

EDIT：@hammarは彼のコメントで指摘したように

、以前のコードはコンパイルされません。これを解決する方法の1つは、StandaloneDerivingを使用することです。他の方法はこれです：

​​

これらの2つのアプローチは、あなたがshowを呼び出す場合、私のアプローチはが可能な制約となります一方、その@のHAMMARのアプローチでは、Configuration制約が必要になり、あなたにわずかに異なる結果が得られます。