Eq typeclass kullanıcı tanımlı türler için nasıl uygulanır?

Question

Aşağıdaki gibi bazı kullanıcı tanımlı türler için Eq tipinde yazım denetimi nasıl çalışır? Int veya Float gibi şeyler için bir uygulama yazmak basit. Ancak, tüm olası kullanıcı yapıcılara karşı desen eşlemesi gibi şeyler yapması gerekeceği için, tüm kullanıcı türleri için catchall nasıl yapılır? Bunu yapmak için herhangi bir sözdiziminin farkında değilim.

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

Answer 1

Bu desen, dediğiniz gibi her olası değer yapıcısına karşı eşleşir!

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

Sen `yapabilirsiniz