Làm cho một kiểu dữ liệu tùy chỉnh có thể là

Question

Ai đó có thể giải thích cho tôi làm cách nào để tạo một kiểu dữ liệu tùy chỉnh có thể thực hiện được không?

** Tôi không được phép sửa đổi bản thân Suit, ví dụ: phát sinh (Eq, Ord)

data Suit = Clubs | Diamonds | Hearts | Spades deriving (Eq) 

Nỗ lực của tôi:

instance Ord Suit where 
    compare suit1 suit2 = compare suit1 suit2 

nhưng điều đó dường như đi vào một vòng lặp liên tục và không ngừng.

Answer 1

Định nghĩa of Ord trông giống như sau (nhưng không hoàn toàn)

class Ord a where 
    compare :: a -> a -> Ordering 

và Ordering có ba giá trị có thể: LT, EQ, GT.

Vì vậy, bạn cần xác định kết quả của từng so sánh. Một cái gì đó như:

instance Ord Suit where 
    compare Clubs Diamonds = LT 
    compare Diamonds Clubs = GT 
    compare Diamonds Diamonds = EQ 
    compare Diamonds _  = LT -- Diamonds are lower than everything besides Clubs and Diamonds 

Đặt hàng thực tế của bạn có thể khác, nhưng điều đó sẽ cung cấp cho bạn ý tưởng cơ bản.

Answer 2

Một cách để viết một ví dụ tùy chỉnh Ord nơi bạn không cần phải giải thích rõ ràng là kết quả của từng so sánh là:

instance Ord Suit where 
    compare a b = compare (relativeRank a) (relativeRank b) where 
     relativeRank Diamonds = 1 
     relativeRank Clubs = 2 
     relativeRank Hearts = 3 
     relativeRank Spades = 4 

Ở đây, bạn chỉ cần đề cập đến từng nhà xây dựng một lần, và bạn có thể dễ dàng quyết định một thứ tự khác.

Bạn cũng có thể sử dụng compare Data.Function.on relativeRank, nhưng điều này có thể dễ hiểu hơn.

Answer 3

Bạn có thể sử dụng standalone deriving có cùng tác dụng.

deriving instance Enum Suit 
deriving instance Ord Suit