base-4.8.0.0: Basic libraries

Copyright(c) The University of Glasgow 2005
LicenseBSD-style (see the file libraries/base/LICENSE)
Maintainerlibraries@haskell.org
Stabilitystable
Portabilityportable
Safe HaskellTrustworthy
LanguageHaskell2010

Data.Eq

Description

Equality

Synopsis

Documentation

class Eq a where

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

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

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 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 Event 
Eq FdKey 
Eq TimeoutKey 
Eq HandlePosn 
Eq Version 
Eq Fixity 
Eq ConstrRep 
Eq DataRep 
Eq Constr

Equality of constructors

Eq Natural 
Eq SpecConstrAnnotation 
Eq SomeSymbol 
Eq SomeNat 
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)