Portability	portable
Stability	stable
Maintainer	libraries@haskell.org
Safe Haskell	Trustworthy

Data.Eq

Description

Equality

Synopsis

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

Documentation

class Eq a whereSource

The Eq class defines equality (== ) and inequality (/= ). All the basic datatypes exported by the Prelude are instances of Eq , and Eq may be derived for any datatype whose constituents are also instances of Eq .

Minimal complete definition: either == or /= .

Methods

(==) :: a -> a -> Bool Source

(/=) :: a -> a -> Bool Source

Instances

Eq Bool

Eq Char

Eq Double

Eq Float

Eq Int

Eq Int8

Eq Int16

Eq Int32

Eq Int64

Eq Integer

Eq Ordering

Eq Word

Eq Word8

Eq Word16

Eq Word32

Eq Word64

Eq ()

Eq TyCon

Eq TypeRep

Eq Lexeme

Eq IOMode

Eq SeekMode

Eq IODeviceType

Eq CUIntMax

Eq CIntMax

Eq CUIntPtr

Eq CIntPtr

Eq CSUSeconds

Eq CUSeconds

Eq CTime

Eq CClock

Eq CSigAtomic

Eq CWchar

Eq CSize

Eq CPtrdiff

Eq CDouble

Eq CFloat

Eq CULLong

Eq CLLong

Eq CULong

Eq CLong

Eq CUInt

Eq CInt

Eq CUShort

Eq CShort

Eq CUChar

Eq CSChar

Eq CChar

Eq GeneralCategory

Eq TypeRepKey

Eq Associativity

Eq Fixity

Eq Arity

Eq IntPtr

Eq WordPtr

Eq Any

Eq All

Eq Newline

Eq Handle

Eq ExitCode

Eq Errno

Eq ThreadId

Eq Fd

Eq CRLim

Eq CTcflag

Eq CSpeed

Eq CCc

Eq CUid

Eq CNlink

Eq CGid

Eq CSsize

Eq CPid

Eq COff

Eq CMode

Eq CIno

Eq CDev

Eq Event

Eq TimeoutKey

Eq FdKey

Eq HandlePosn

Eq Fixity

Eq ConstrRep

Eq DataRep

Eq Constr

Equality of constructors

Eq SpecConstrAnnotation

Eq Unique

Eq QSem

Eq QSemN

Eq Version

Eq a => Eq [a]

Eq a => Eq (Ratio a)

Eq (StablePtr a)

Eq (Ptr a)

Eq (FunPtr a)

Eq a => Eq (Maybe a)

Eq (MVar a)

Eq a => Eq (Down a)

Eq (IORef a)

Eq (ForeignPtr a)

Eq a => Eq (Last a)

Eq a => Eq (First a)

Eq a => Eq (Product a)

Eq a => Eq (Sum a)

Eq a => Eq (Dual a)

Eq (TVar a)

Eq (Chan a)

Eq (SampleVar a)

Eq a => Eq (Complex a)

Eq (Fixed a)

Eq (StableName a)

(Eq a, Eq b) => Eq (Either a b)

(Eq a, Eq b) => Eq (a, b)

Eq (STRef s a)

(Eq a, Eq b, Eq c) => Eq (a, b, c)

(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)

(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (a, b, c, d, e, f, g, h)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (a, b, c, d, e, f, g, h, i)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (a, b, c, d, e, f, g, h, i, j)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (a, b, c, d, e, f, g, h, i, j, k, l)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)