base-4.8.2.0: Basic libraries

Copyright | (c) The University of Glasgow 2005
License | BSD-style (see the file libraries/base/LICENSE)
Maintainer | libraries@haskell.org
Stability | stable
Portability | portable
Safe Haskell | Trustworthy
Language | Haskell2010

Data.Eq

Description

Equality

Synopsis

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

# Documentation

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) |