Data.Eq

Copyright (c) The University of Glasgow 2005
License BSD-style (see the file libraries/base/LICENSE)
Maintainer [email protected]
Stability stable
Portability portable
Safe Haskell Trustworthy
Language Haskell2010

Description

Equality

class Eq a where Source

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 /=.

Minimal complete definition

(==) | (/=)

Methods

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

(/=) :: a -> a -> Bool infix 4 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 CallStack
Eq TypeRep
Eq ()
Eq BigNat
Eq Number
Eq Lexeme
Eq GeneralCategory
Eq Fingerprint
Eq TyCon
Eq Associativity
Eq Fixity
Eq Arity
Eq Any
Eq All
Eq ArithException
Eq ErrorCall
Eq IOException
Eq MaskingState
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 IntPtr
Eq WordPtr
Eq BufferState
Eq CodingProgress
Eq SeekMode
Eq IODeviceType
Eq NewlineMode
Eq Newline
Eq BufferMode
Eq Handle
Eq IOErrorType
Eq ExitCode
Eq ArrayException
Eq AsyncException
Eq Errno
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 ThreadStatus
Eq BlockReason
Eq ThreadId
Eq IOMode
Eq Lifetime
Eq Event
Eq FdKey
Eq TimeoutKey
Eq HandlePosn
Eq Version
Eq Fixity
Eq ConstrRep
Eq DataRep
Eq Constr

Equality of constructors

Eq Natural
Eq SomeSymbol
Eq SomeNat
Eq SrcLoc
Eq SpecConstrAnnotation
Eq Unique
Eq Void
Eq a => Eq [a]
Eq a => Eq (Ratio a)
Eq (StablePtr a)
Eq (Ptr a)
Eq (FunPtr a)
Eq (U1 p)
Eq p => Eq (Par1 p)
Eq a => Eq (Maybe a)
Eq a => Eq (Down 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 (MVar a)
Eq (IORef a)
Eq (ForeignPtr a)
Eq (TVar a)
Eq a => Eq (ZipList a)
Eq (Chan a)
Eq a => Eq (Complex a)
Eq (Fixed a)
Eq a => Eq (Identity a)
Eq (StableName a)
(Eq a, Eq b) => Eq (Either a b)
Eq (f p) => Eq (Rec1 f p)
(Eq a, Eq b) => Eq (a, b)
Eq (STRef s a)
Eq (Proxy k s)
Eq a => Eq (Const a b)
Eq c => Eq (K1 i c p)
(Eq (f p), Eq (g p)) => Eq ((:+:) f g p)
(Eq (f p), Eq (g p)) => Eq ((:*:) f g p)
Eq (f (g p)) => Eq ((:.:) f g p)
(Eq a, Eq b, Eq c) => Eq (a, b, c)
Eq ((:~:) k a b)
Eq (Coercion k a b)
Eq (f a) => Eq (Alt k f a)
Eq (f p) => Eq (M1 i c f p)
(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)

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/base-4.8.2.0/Data-Eq.html