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