Haskellで代数データ型の "Ord"を実装する方法は？

Question

あなたが

Rating = OneStar | TwoStars | ThreeStars | FourStars | FiveStars 

のような評価を持っている想像してインスタンス化するための最良の方法は何/ Haskellでは、このような代数的データ型の「オード」を実装しますか？

Answer 1

最も良い方法は、タイプ定義にderiving (Eq, Ord)を追加することです。

コンストラクタを昇順に並べたので、派生したOrdインスタンスは、必要な順序を正確に示します。

しかし、何らかの理由で定義内の順序を変更することはオプションではない場合でも、順序は関係ありませんので、Eqを引き出すことができます。 Eqのインスタンスが与えられれば、Ordのインスタンスを手作業で書くことができます。 compareを定義する最も簡潔な方法は、おそらくcompareがLTを返すべきすべての組み合わせを綴ることであり、単にcompare x y | x == y = Eq;残りの組み合わせについて_ _ = GTを比較してください。

Answer 2

前述のように、EqとOrdを得ることができます。それとも、Enumを導出し、その後

instance Eq Rating where 
    x == y = fromEnum x == fromEnum y 

それとも

instance Eq Rating where 
    OneStar == OneStar = True 
    TwoStar == TwoStar = True 
... 
    _ == _ = False