Eq typeclassはユーザー定義型に対してどのように実装されていますか？

Question

Eq typeclassの実装はどのように機能しますか？ IntやFloatなどの実装を簡単に記述できます。しかし、可能性のあるすべての値コンストラクタに対してパターンマッチのようなことをする必要があるので、どのようにすべてのユーザタイプのキャッチオールが行われますか？私はこれを行うための構文を認識していない。

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

Answer 1

パターンは、あなたが言ったように、すべての値コンストラクタと一致します。あなたはファイル内のコードを入れて-ddump-derivでghcを実行した場合、ここであなたが得るものです：あなたが行うことができます

==================== 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)