我實現在Haskell的合併 - 查找數據結構。參數化類型和平等哈斯克爾
我想用參數化的類型,但我面臨的一個小問題,當我試圖比較我作爲參數使用的對象。
data UnionFindElement valueType =
RootElement valueType |
ElementWithParent valueType (UnionFindElement valueType)
holds :: UnionFindElement valueType -> valueType -> Bool
holds (RootElement v) value = v == value
似乎沒有定義相等性。
No instance for (Eq valueType)
arising from a use of `=='
In the expression: v == value
我該如何限制valueType只考慮具有定義的等式關係的類型?
感謝您的回答和鏈接! – mariosangiorgio
我增加了兩個,你似乎喜歡鏈接:) –
正如文章指出,限制對數據聲明(即'數據(公式一)=>一個A = A了')並不如預期,並已被棄用工作。 – huon