CurryInfo: base-3.4.0 / Prelude.Eq

 
class Eq a where
  (==), (/=) :: a -> a -> Bool

  x == y = not (x /= y)
  x /= y = not (x == y)

 
| The class `Eq` defines an equality (`==`) and an inequality (`/=`) method.
Instances of this class should define an _equivalence relationship_
on values. For basic data types, the instances are defined as
syntactic equality of values.

 ["(==) 2 :: a -> a -> Bool","(/=) 2 :: a -> a -> Bool"]

 Eq