shithub: MicroHs

ref: ddb7571fda33f7d26cf95ac8c0b3ad99bf89607d
dir: /lib/Data/Eq.hs/

View raw version
module Data.Eq(
  module Data.Eq
  ) where
import Data.Bool

infix 4 ==,/=

class Eq a where
  (==) :: a -> a -> Bool
  (/=) :: a -> a -> Bool
  x /= y = not (x == y)

-- Put Eq instance here, it would be a circular dependency
-- if it were in Data.Bool.
instance Eq Bool where
  False == x  =  not x
  True  == x  =  x