公式

除了函式和 IO 之外,Prelude 的所有基本資料型別(如 IntStringEq a => [a])都有 Eq 的例項。如果型別例項化 Eq,則意味著我們知道如何比較結構相等的兩個值。

> 3 == 2 
False
> 3 == 3
True

必需的方法

  • (==) :: Eq a => a -> a -> Boolean(/=) :: Eq a => a -> a -> Boolean(如果只實現了一個,則另一個預設為定義的否定)

定義

  • (==) :: Eq a => a -> a -> Boolean
  • (/=) :: Eq a => a -> a -> Boolean

直接超級類

沒有

值得注意的子類