爲什麼這種新類型沒有被賦予正確的Read實例？

Question

我創建了一個newtype別名IP類型從Data.IP：

{-# LANGUAGE GeneralizedNewtypeDeriving #-} 

module IPAddress (IPAddress) where 

import Data.IP (IP) 
import Database.PostgreSQL.Simple.ToField 

newtype IPAddress = IPAddress IP 
    deriving (Read, Show) 

instance ToField IPAddress where 
    toField ip = toField $ show ip 

（我想讓它的ToField一個實例，而無需創建一個孤兒實例。）

新的類型似乎並不儘管如此，應該支持Read。在這種GHCI成績單，你可以看到，給定的字符串可以解釋爲IP但不是作爲一個IPAddress：

*Main IPAddress> :m + Data.IP 
*Main IPAddress Data.IP> read "1.2.3.4" :: IP 
1.2.3.4 
*Main IPAddress Data.IP> read "1.2.3.4" :: IPAddress 
IPAddress *** Exception: Prelude.read: no parse 

的行爲是一樣的，不管我是否有GeneralizedNewtypeDeriving上。爲什麼實例的IPAddress與IP的實例不同？

Answer 1

GHC具有用於導出類型類實例三種機制：

• 在Haskell的標準概述的normal deriving mechanism，它可以導出實例爲一個小的，預定的一組類（Eq，Ord，Enum，Bounded，Read，和Show）。
  • 該組可衍生可以使用DeriveFunctor，DeriveFoldable，DeriveTraversable，和DeriveLift擴展，啓用時，被處理過的相同的方式如在標準列出的類被擴展的類。
• GeneralizedNewtypeDeriving，它可以派生實例，推遲到封裝類型的實例。
• DeriveAnyClass，它將派生類轉換爲空的實例聲明。

這裏有個問題。構建一個可以使用多個上述機制來派生實例的場景非常簡單，並且實例可能會非常不同！在你的例子中，普通派生和新類型派生可以適用。如果您還啓用DeriveAnyClass，它也可以應用。

消除歧義，GHC使用硬編碼的規則，你不能改變，它試圖從頂部到底部：

1. 如果類可以使用普通的推導機制來獲得，使用。
2. 如果DeriveAnyClass已啓用，請使用它。
3. 如果啓用了GeneralizedNewtypeDeriving並且聲明的數據類型是newtype，請使用它。

請注意，這意味着同時打開DeriveAnyClass和GeneralizedNewtypeDeriving實際上是毫無價值的。如果有的話，底部的兩條規則應該交換，但現在不能真正改變。

就你而言，由於Read是一個可以通過普通的派生機制派生實例的類，GHC使用這個類而不是使用newtype派生，並且你得到了你看到的行爲。這與Show的工作方式一致，得出的Show也會產生一個包含IPAddress的實例 - 所以Read應該遵循相同的格式來滿足一個規律Read了。

如果有一些機制可以指示GHC使用特定的派生機制，但目前還沒有，那將會很不錯。在這種情況下，您必須手動編寫實例。幸運的是，這並不難。