Eq typeclass được triển khai như thế nào cho các loại do người dùng xác định?

Question

Đối với một số loại người dùng xác định như dưới đây như thế nào việc thực hiện các công cụ đánh máy Eq? Nó đơn giản để viết một thực hiện cho những thứ như Int hoặc Float. Nhưng làm thế nào là catchall cho tất cả các loại người dùng được thực hiện vì nó sẽ cần phải làm những việc như mô hình phù hợp với mọi constructor giá trị có thể? Tôi không biết cú pháp nào để làm điều này.

data Person = Person { firstName :: String 
        , lastName :: String 
        , age :: Int 
        } deriving (Eq) 

Answer 1

Mẫu khớp với mọi trình tạo giá trị có thể, giống như bạn đã nói! Ví dụ, nếu bạn đặt mã của bạn trong một tập tin và chạy ghc với -ddump-deriv, đây là những gì bạn nhận được:

==================== Derived instances ==================== 
Derived instances: 
    instance GHC.Classes.Eq Main.Person where 
    GHC.Classes.== 
     (Main.Person a1_alh a2_ali a3_alj) 
     (Main.Person b1_alk b2_all b3_alm) 
     = ((((a1_alh GHC.Classes.== b1_alk)) 
      GHC.Classes.&& ((a2_ali GHC.Classes.== b2_all))) 
     GHC.Classes.&& ((a3_alj GHC.Classes.== b3_alm))) 
    GHC.Classes./= a_aln b_alo 
     = GHC.Classes.not ((GHC.Classes.==) a_aln b_alo)