公式

Created: November-22, 2018

除了函式和 IO 之外，Prelude 的所有基本資料型別（如 Int，String，Eq 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

直接超級類

沒有

值得注意的子類

Ord