データ型インスタンス？

Question

私は、データ型インスタンスの使用のイラストレーション（退屈な単純なもの）ですすなわち、異なるデータに対して異なる挙動を定義することができる。

もしそうでなければ、どのように使用できますか？

コード：彼らはどんな違いがありませんので

data HealthIndicators = Weight | Age | BloodPressure deriving (Show) 
data IrrelevantIndicators = Starsign | BirthMonth | IQ deriving (Show) 

class IndicatorTest a where 
    indicatortest :: a -> Bool 

instance IndicatorTest HealthIndicators where 
    indicatortest Weight = True 
    indicatortest Age = True 
    indicatortest BloodPressure = True 

instance IndicatorTest IrrelevantIndicators where 
    indicatortest Starsign = False 
    indicatortest BirthMonth = False 
    indicatortest IQ = False 

Answer 1

まず、あなたのインスタンスはすべてのケースをリストする必要はありません。あなたは

instance IndicatorTest HealthIndicators where 
    indicatortest _ = True 

を書くことができるまたはあなたが好む場合は、2行目は

indicatortest = const True 

あなたはこのような機能を記述している場合、これは便利かもしれないことができます。

foo :: (IndicatorTest h) => h -> String 

を、あなたが必要ですその結果はタイプhが有用な指標であるかどうかによって異なる。しかし、その場合はおそらく "foo"をIndicatorTestクラスの関数にするでしょう。

あなたが実際に達成しようとしていることを知らなくても、それ以上アドバイスするのは少し難しいです。