是否可以將兩個gobjects與haskell-gi進行比較，並確定它們是否相同？

Question

隨着Gtk2Hs我曾經是能夠GTK對象比較==，以瞭解他們是否是相同的。例如：

boxIsFromState :: VBox -> State -> Bool 
boxIsFromState widget state = _widget state == widget 

凡State是自定義的數據類型的容器另一垂直框。

我注意到haskell-gi的部件不從Eq派生。那麼是否有另一種方法來比較對象呢？

Answer 1

免責聲明：雖然我是一個Haskell專家，我知之甚少哈斯克爾-GI明確。這就是說......

在文件來看，我們有：

newtype Widget = Widget (ManagedPtr Widget) 
data ManagedPtr a = ManagedPtr { 
    managedForeignPtr :: ForeignPtr a 
    , managedPtrIsOwned :: IORef Bool 
    } 

所有適當的構造出口，都ForeignPtr和IORef報價Eq實例。因此編寫我們自己的Eq實例應該是微不足道的 - 編譯器本身應該能夠做到這一點。

{-# LANGUAGE StandaloneDeriving #-} 

deriving instance Eq (ManagedPtr a) 
deriving instance Eq Widget 

這是否有正確的語義是不是100％我清楚;它可能是你想忽略你的相等測試的目的，在這種情況下，你可能會想要寫

instance Eq (ManagedPtr a) where 
    (==) ManagedPtr { managedForeignPtr = p } 
     ManagedPtr { managedForeignPtr = p' } 
     = p == p' 

或類似的，而不是所有權。