公式

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