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 |
Equality
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 /=
.
Eq Bool | |
Eq Char | |
Eq Double | |
Eq Float | |
Eq Int | |
Eq Int8 | Since: 2.1 |
Eq Int16 | Since: 2.1 |
Eq Int32 | Since: 2.1 |
Eq Int64 | Since: 2.1 |
Eq Integer | |
Eq Natural | |
Eq Ordering | |
Eq Word | |
Eq Word8 | Since: 2.1 |
Eq Word16 | Since: 2.1 |
Eq Word32 | Since: 2.1 |
Eq Word64 | Since: 2.1 |
Eq SomeTypeRep | |
Eq () | |
Eq TyCon | |
Eq Module | |
Eq TrName | |
Eq BigNat | |
Eq SrcLoc | |
Eq GeneralCategory | |
Eq Number | |
Eq Lexeme | |
Eq Fingerprint | |
Eq IOMode | |
Eq IntPtr | |
Eq WordPtr | |
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 CBool | |
Eq CULLong | |
Eq CLLong | |
Eq CULong | |
Eq CLong | |
Eq CUInt | |
Eq CInt | |
Eq CUShort | |
Eq CShort | |
Eq CUChar | |
Eq CSChar | |
Eq CChar | |
Eq SomeNat | Since: 4.7.0.0 |
Eq SomeSymbol | Since: 4.7.0.0 |
Eq DecidedStrictness | |
Eq SourceStrictness | |
Eq SourceUnpackedness | |
Eq Associativity | |
Eq Fixity | |
Eq Any | |
Eq All | |
Eq ArithException | |
Eq ErrorCall | |
Eq IOException | Since: 4.1.0.0 |
Eq MaskingState | |
Eq BufferState | |
Eq CodingProgress | |
Eq SeekMode | |
Eq IODeviceType | |
Eq NewlineMode | |
Eq Newline | |
Eq BufferMode | |
Eq Handle | Since: 4.1.0.0 |
Eq IOErrorType | Since: 4.1.0.0 |
Eq ExitCode | |
Eq ArrayException | |
Eq AsyncException | |
Eq Errno | Since: 2.1 |
Eq Fd | |
Eq CTimer | |
Eq CKey | |
Eq CId | |
Eq CFsFilCnt | |
Eq CFsBlkCnt | |
Eq CClockId | |
Eq CBlkCnt | |
Eq CBlkSize | |
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 Lifetime | |
Eq Event | |
Eq ThreadStatus | |
Eq BlockReason | |
Eq ThreadId | Since: 4.2.0.0 |
Eq TimeoutKey | |
Eq FdKey | |
Eq HandlePosn | Since: 4.1.0.0 |
Eq Version | Since: 2.1 |
Eq Unique | |
Eq Fixity | |
Eq ConstrRep | |
Eq DataRep | |
Eq Constr |
Equality of constructors Since: 4.0.0.0 |
Eq SpecConstrAnnotation | |
Eq Void | Since: 4.8.0.0 |
Eq a => Eq [a] | |
Eq a => Eq (Maybe a) | |
Eq a => Eq (Ratio a) | |
Eq (StablePtr a) | Since: 2.1 |
Eq (Ptr a) | |
Eq (FunPtr a) | |
Eq p => Eq (Par1 p) | |
Eq (MVar a) | Since: 4.1.0.0 |
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 (IORef a) | Since: 4.1.0.0 |
Eq (ForeignPtr a) | Since: 2.1 |
Eq (TVar a) | Since: 4.8.0.0 |
Eq a => Eq (Identity a) | |
Eq a => Eq (ZipList a) | |
Eq (StableName a) | Since: 2.1 |
Eq (Chan a) | |
Eq a => Eq (NonEmpty a) | |
Eq a => Eq (Option a) | |
Eq m => Eq (WrappedMonoid m) | |
Eq a => Eq (Last a) | |
Eq a => Eq (First a) | |
Eq a => Eq (Max a) | |
Eq a => Eq (Min a) | |
Eq (Fixed a) | |
Eq a => Eq (Complex a) | |
(Eq b, Eq a) => Eq (Either a b) | |
Eq (V1 k p) | |
Eq (U1 k p) | Since: 4.9.0.0 |
Eq (TypeRep k a) | Since: 2.1 |
(Eq a, Eq b) => Eq (a, b) | |
Eq (STRef s a) | Since: 2.1 |
Eq (Proxy k s) | Since: 4.7.0.0 |
Eq a => Eq (Arg a b) | Since: 4.9.0.0 |
Eq (f p) => Eq (Rec1 k f p) | |
Eq (URec k Word p) | |
Eq (URec k Int p) | |
Eq (URec k Float p) | |
Eq (URec k Double p) | |
Eq (URec k Char p) | |
Eq (URec k (Ptr ()) 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 a => Eq (Const k a b) | |
Eq c => Eq (K1 k i c p) | |
(Eq (g p), Eq (f p)) => Eq ((:+:) k f g p) | |
(Eq (g p), Eq (f p)) => Eq ((:*:) k f g p) | |
(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) | |
Eq ((:~~:) k1 k2 a b) | Since: 4.10.0.0 |
(Eq1 f, Eq1 g, Eq a) => Eq (Sum * f g a) | Since: 4.9.0.0 |
(Eq1 f, Eq1 g, Eq a) => Eq (Product * f g a) | Since: 4.9.0.0 |
Eq (f p) => Eq (M1 k i c f p) | |
Eq (f (g p)) => Eq ((:.:) k2 k1 f g p) | |
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e) | |
(Eq1 f, Eq1 g, Eq a) => Eq (Compose * * f g a) | Since: 4.9.0.0 |
(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/8.2.1/docs/html/libraries/base-4.10.0.0/Data-Eq.html