推測公式類型

Question

我正在寫一個類似於應用程序的CRUD，並且有很多通過主鍵查找（主鍵可以有不同類型）。所以我定義以下類型類：

{-# LANGUAGE MultiParamTypeClasses #-} 

class Eq b => HasPK a b where 
    getPK :: a -> b 

現在我可以這樣寫：

import Data.Maybe 

lookupPK :: HasPK a b => b -> [a] -> Maybe a 
lookupPK s = listToMaybe . filter ((== s) . getPK) 

現在，當我想比較PK兩件事情，我只是想比較它們的PK的。所以，我想這個定義：

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 

instance (HasPK a b) => Eq a where 
    (==) = (==) `on` getPK 

但現在它給了我：

src/Utils.hs:61:10: Could not deduce (HasPK a b0) … 
     arising from the ambiguity check for an instance declaration 
    from the context (HasPK a b) 
     bound by an instance declaration: HasPK a b => Eq a 
     at /home/utdemir/workspace/.../Utils.hs:61:10-28 
    The type variable ‘b0’ is ambiguous 
    In the ambiguity check for: forall a b. HasPK a b => Eq a 
    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes 
    In the instance declaration for ‘Eq a’ 
Compilation failed. 

任何人都可以解釋這個錯誤給我嗎？我在正確的軌道上，還是有更安全的方式來實現我想要的？

Answer 1

這裏您需要的功能依賴：使用

class Eq b => HasPK a b | a -> b where 
    getPK :: a -> b 

，使任何分機GHC點。

問題在於具有用於同一類型的多個的PK的可能性， 如

instance HasPK MyType Int where ... 
instance HasPK MyType String where ... 

由於上述雙實例可以被添加後，像(==) `on` getPK代碼是可能具有不同含義。實際上，當添加上面的實例時，它不指定是使用Int PK還是使用String。

---

然而，像

instance (HasPK a b) => Eq a where 
    ... 

一個實例可能會導致問題，因爲它與任何其他Eq實例重疊。在這裏小心點。我反而寫

equalPK :: HasPK a b => a -> a -> Bool 
equalPK = (==) `on` getPK 

，然後提供給所有相關類型明確的情況下，因爲這：

instance Eq MyType1 where (==) = equalPK 
instance Eq MyType2 where (==) = equalPK 
... 

---

作爲另一種選擇，你可以使用一種類型的家庭，如

class HasPK a where 
    type PK a 
    getPK :: a -> PK a 

equalPK :: Eq (PK a) => a -> a -> Bool 
equalPK = (==) `on` getPK 

instance Eq MyType1 where (==) = equalPK 
...