| 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
- class Eq a where
Documentation
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.
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 TyCon | |
| Eq BigNat | |
| Eq SrcLoc # | |
| Eq GeneralCategory # | |
| Eq Number # | |
| Eq Lexeme # | |
| Eq IOMode # | |
| Eq SomeSymbol # | |
| Eq SomeNat # | |
| Eq Fingerprint # | |
| Eq ArithException # | |
| Eq ErrorCall # | |
| Eq IOException # | |
| Eq MaskingState # | |
| Eq DecidedStrictness # | |
| Eq SourceStrictness # | |
| Eq SourceUnpackedness # | |
| Eq Associativity # | |
| Eq Fixity # | |
| Eq Any # | |
| Eq All # | |
| Eq SeekMode # | |
| Eq IODeviceType # | |
| 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 NewlineMode # | |
| Eq Newline # | |
| Eq BufferMode # | |
| Eq Handle # | |
| Eq IOErrorType # | |
| Eq ExitCode # | |
| Eq ArrayException # | |
| Eq AsyncException # | |
| Eq Errno # | |
| Eq ThreadStatus # | |
| Eq BlockReason # | |
| Eq ThreadId # | |
| Eq Fd # | |
| Eq CSsize # | |
| Eq CPid # | |
| Eq COff # | |
| Eq CMode # | |
| Eq CIno # | |
| Eq CDev # | |
| Eq ConsoleEvent # | |
| Eq HandlePosn # | |
| Eq Unique # | |
| Eq Version # | |
| Eq Fixity # | |
| Eq ConstrRep # | |
| Eq DataRep # | |
| Eq Constr # | Equality of constructors |
| Eq Void # | |
| Eq Natural # | |
| Eq SpecConstrAnnotation # | |
| Eq a => Eq [a] | |
| Eq a => Eq (Maybe a) # | |
| Eq a => Eq (Ratio a) # | |
| Eq (StablePtr a) # | |
| Eq (Ptr a) # | |
| Eq (FunPtr a) # | |
| Eq (V1 p) # | |
| Eq (U1 p) # | |
| Eq p => Eq (Par1 p) # | |
| Eq (MVar a) # | |
| Eq a => Eq (Down a) # | |
| Eq (IORef 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 (ForeignPtr a) # | |
| Eq (TVar a) # | |
| Eq a => Eq (ZipList a) # | |
| Eq (Chan a) # | |
| Eq (StableName a) # | |
| Eq a => Eq (Complex a) # | |
| Eq (Fixed 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 a => Eq (Identity a) # | |
| (Eq b, Eq a) => Eq (Either a b) # | |
| Eq (f p) => Eq (Rec1 f p) # | |
| Eq (URec Char p) # | |
| Eq (URec Double p) # | |
| Eq (URec Float p) # | |
| Eq (URec Int p) # | |
| Eq (URec Word p) # | |
| Eq (URec (Ptr ()) p) # | |
| (Eq a, Eq b) => Eq (a, b) | |
| Eq (STRef s a) # | |
| Eq (Proxy k s) # | |
| Eq a => Eq (Arg a b) # | |
| Eq c => Eq (K1 i c p) # | |
| (Eq (g p), Eq (f p)) => Eq ((:+:) f g p) # | |
| (Eq (g p), Eq (f 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 a => Eq (Const k a b) # | |
| Eq (f p) => Eq (M1 i c f p) # | |
| (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) | |
| (Eq1 f, Eq1 g, Eq a) => Eq (Product * f g a) # | |
| (Eq1 f, Eq1 g, Eq a) => Eq (Sum * f g a) # | |
| (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) # | |
| (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) | |