base-4.14.0.0: Basic libraries

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.

The Haskell Report defines no laws for Eq. However, == is customarily expected to implement an equivalence relationship where two values comparing equal are indistinguishable by "public" functions, with a "public" function being one not allowing to see implementation details. For example, for a type representing non-normalised natural numbers modulo 100, a "public" function doesn't make the difference between 1 and 201. It is expected to have the following properties:

Reflexivity
x == x = True
Symmetry
x == y = y == x
Transitivity
if x == y && y == z = True, then x == z = True
Substitutivity
if x == y = True and f is a "public" function whose return type is an instance of Eq, then f x == f y = True
Negation
x /= y = not (x == y)

Minimal complete definition: either == or /=.

Minimal complete definition

Methods

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

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

#### Instances

Instances details
 Instance detailsDefined in GHC.Classes Methods(==) :: Bool -> Bool -> Bool #(/=) :: Bool -> Bool -> Bool # Instance detailsDefined in GHC.Classes Methods(==) :: Char -> Char -> Bool #(/=) :: Char -> Char -> Bool # Note that due to the presence of NaN, Double's Eq instance does not satisfy reflexivity.>>> 0/0 == (0/0 :: Double) False Also note that Double's Eq instance does not satisfy substitutivity:>>> 0 == (-0 :: Double) True >>> recip 0 == recip (-0 :: Double) False  Instance detailsDefined in GHC.Classes Methods(==) :: Double -> Double -> Bool #(/=) :: Double -> Double -> Bool # Note that due to the presence of NaN, Float's Eq instance does not satisfy reflexivity.>>> 0/0 == (0/0 :: Float) False Also note that Float's Eq instance does not satisfy substitutivity:>>> 0 == (-0 :: Float) True >>> recip 0 == recip (-0 :: Float) False  Instance detailsDefined in GHC.Classes Methods(==) :: Float -> Float -> Bool #(/=) :: Float -> Float -> Bool # Instance detailsDefined in GHC.Classes Methods(==) :: Int -> Int -> Bool #(/=) :: Int -> Int -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods(==) :: Int8 -> Int8 -> Bool #(/=) :: Int8 -> Int8 -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods(==) :: Int16 -> Int16 -> Bool #(/=) :: Int16 -> Int16 -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods(==) :: Int32 -> Int32 -> Bool #(/=) :: Int32 -> Int32 -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods(==) :: Int64 -> Int64 -> Bool #(/=) :: Int64 -> Int64 -> Bool # Instance detailsDefined in GHC.Integer.Type Methods(==) :: Integer -> Integer -> Bool #(/=) :: Integer -> Integer -> Bool # Source # Since: 4.8.0.0 Instance detailsDefined in GHC.Natural Methods(==) :: Natural -> Natural -> Bool #(/=) :: Natural -> Natural -> Bool # Instance detailsDefined in GHC.Classes Methods Instance detailsDefined in GHC.Classes Methods(==) :: Word -> Word -> Bool #(/=) :: Word -> Word -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods(==) :: Word8 -> Word8 -> Bool #(/=) :: Word8 -> Word8 -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods(==) :: Word16 -> Word16 -> Bool #(/=) :: Word16 -> Word16 -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods(==) :: Word32 -> Word32 -> Bool #(/=) :: Word32 -> Word32 -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods(==) :: Word64 -> Word64 -> Bool #(/=) :: Word64 -> Word64 -> Bool # Source # Instance detailsDefined in Data.Typeable.Internal Methods Eq () Instance detailsDefined in GHC.Classes Methods(==) :: () -> () -> Bool #(/=) :: () -> () -> Bool # Instance detailsDefined in GHC.Classes Methods(==) :: TyCon -> TyCon -> Bool #(/=) :: TyCon -> TyCon -> Bool # Instance detailsDefined in GHC.Classes Methods(==) :: Module -> Module -> Bool #(/=) :: Module -> Module -> Bool # Instance detailsDefined in GHC.Classes Methods(==) :: TrName -> TrName -> Bool #(/=) :: TrName -> TrName -> Bool # Instance detailsDefined in GHC.Integer.Type Methods(==) :: BigNat -> BigNat -> Bool #(/=) :: BigNat -> BigNat -> Bool # Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Stack.Types Methods(==) :: SrcLoc -> SrcLoc -> Bool #(/=) :: SrcLoc -> SrcLoc -> Bool # Source # Since: 2.1 Instance detailsDefined in GHC.Unicode Methods Source # Since: 4.6.0.0 Instance detailsDefined in Text.Read.Lex Methods(==) :: Number -> Number -> Bool #(/=) :: Number -> Number -> Bool # Source # Since: 2.1 Instance detailsDefined in Text.Read.Lex Methods(==) :: Lexeme -> Lexeme -> Bool #(/=) :: Lexeme -> Lexeme -> Bool # Source # Since: 4.4.0.0 Instance detailsDefined in GHC.Fingerprint.Type Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.IOMode Methods(==) :: IOMode -> IOMode -> Bool #(/=) :: IOMode -> IOMode -> Bool # Source # Instance detailsDefined in Foreign.Ptr Methods(==) :: IntPtr -> IntPtr -> Bool #(/=) :: IntPtr -> IntPtr -> Bool # Source # Instance detailsDefined in Foreign.Ptr Methods(==) :: WordPtr -> WordPtr -> Bool #(/=) :: WordPtr -> WordPtr -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CIntMax -> CIntMax -> Bool #(/=) :: CIntMax -> CIntMax -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CIntPtr -> CIntPtr -> Bool #(/=) :: CIntPtr -> CIntPtr -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CTime -> CTime -> Bool #(/=) :: CTime -> CTime -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CClock -> CClock -> Bool #(/=) :: CClock -> CClock -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CWchar -> CWchar -> Bool #(/=) :: CWchar -> CWchar -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CSize -> CSize -> Bool #(/=) :: CSize -> CSize -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CDouble -> CDouble -> Bool #(/=) :: CDouble -> CDouble -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CFloat -> CFloat -> Bool #(/=) :: CFloat -> CFloat -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CBool -> CBool -> Bool #(/=) :: CBool -> CBool -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CULLong -> CULLong -> Bool #(/=) :: CULLong -> CULLong -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CLLong -> CLLong -> Bool #(/=) :: CLLong -> CLLong -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CULong -> CULong -> Bool #(/=) :: CULong -> CULong -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CLong -> CLong -> Bool #(/=) :: CLong -> CLong -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CUInt -> CUInt -> Bool #(/=) :: CUInt -> CUInt -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CInt -> CInt -> Bool #(/=) :: CInt -> CInt -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CUShort -> CUShort -> Bool #(/=) :: CUShort -> CUShort -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CShort -> CShort -> Bool #(/=) :: CShort -> CShort -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CUChar -> CUChar -> Bool #(/=) :: CUChar -> CUChar -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CSChar -> CSChar -> Bool #(/=) :: CSChar -> CSChar -> Bool # Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CChar -> CChar -> Bool #(/=) :: CChar -> CChar -> Bool # Source # Since: 4.7.0.0 Instance detailsDefined in GHC.TypeNats Methods(==) :: SomeNat -> SomeNat -> Bool #(/=) :: SomeNat -> SomeNat -> Bool # Source # Since: 4.7.0.0 Instance detailsDefined in GHC.TypeLits Methods Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods Source # Since: 4.6.0.0 Instance detailsDefined in GHC.Generics Methods Source # Since: 4.6.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: Fixity -> Fixity -> Bool #(/=) :: Fixity -> Fixity -> Bool # Source # Since: 2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Any -> Any -> Bool #(/=) :: Any -> Any -> Bool # Source # Since: 2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: All -> All -> Bool #(/=) :: All -> All -> Bool # Source # Since: 3.0 Instance detailsDefined in GHC.Exception.Type Methods Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Exception Methods Source # Since: 4.1.0.0 Instance detailsDefined in GHC.IO.Exception Methods Source # Since: 4.3.0.0 Instance detailsDefined in GHC.IO Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Buffer Methods Source # Since: 4.4.0.0 Instance detailsDefined in GHC.IO.Encoding.Types Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Device Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Device Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods(==) :: Newline -> Newline -> Bool #(/=) :: Newline -> Newline -> Bool # Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods Source # Since: 4.1.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods(==) :: Handle -> Handle -> Bool #(/=) :: Handle -> Handle -> Bool # Source # Since: 4.1.0.0 Instance detailsDefined in GHC.IO.Exception Methods Source # Instance detailsDefined in GHC.IO.Exception Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Exception Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.IO.Exception Methods Source # Since: 2.1 Instance detailsDefined in Foreign.C.Error Methods(==) :: Errno -> Errno -> Bool #(/=) :: Errno -> Errno -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: Fd -> Fd -> Bool #(/=) :: Fd -> Fd -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CNfds -> CNfds -> Bool #(/=) :: CNfds -> CNfds -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CTimer -> CTimer -> Bool #(/=) :: CTimer -> CTimer -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CKey -> CKey -> Bool #(/=) :: CKey -> CKey -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CId -> CId -> Bool #(/=) :: CId -> CId -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CBlkCnt -> CBlkCnt -> Bool #(/=) :: CBlkCnt -> CBlkCnt -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CRLim -> CRLim -> Bool #(/=) :: CRLim -> CRLim -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CTcflag -> CTcflag -> Bool #(/=) :: CTcflag -> CTcflag -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CSpeed -> CSpeed -> Bool #(/=) :: CSpeed -> CSpeed -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CCc -> CCc -> Bool #(/=) :: CCc -> CCc -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CUid -> CUid -> Bool #(/=) :: CUid -> CUid -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CNlink -> CNlink -> Bool #(/=) :: CNlink -> CNlink -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CGid -> CGid -> Bool #(/=) :: CGid -> CGid -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CSsize -> CSsize -> Bool #(/=) :: CSsize -> CSsize -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CPid -> CPid -> Bool #(/=) :: CPid -> CPid -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: COff -> COff -> Bool #(/=) :: COff -> COff -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CMode -> CMode -> Bool #(/=) :: CMode -> CMode -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CIno -> CIno -> Bool #(/=) :: CIno -> CIno -> Bool # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CDev -> CDev -> Bool #(/=) :: CDev -> CDev -> Bool # Source # Since: 4.8.1.0 Instance detailsDefined in GHC.Event.Internal Methods Source # Since: 4.4.0.0 Instance detailsDefined in GHC.Event.Internal Methods(==) :: Event -> Event -> Bool #(/=) :: Event -> Event -> Bool # Source # Since: 4.3.0.0 Instance detailsDefined in GHC.Conc.Sync Methods Source # Since: 4.3.0.0 Instance detailsDefined in GHC.Conc.Sync Methods Source # Since: 4.2.0.0 Instance detailsDefined in GHC.Conc.Sync Methods Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Event.TimerManager Methods Source # Since: 4.4.0.0 Instance detailsDefined in GHC.Event.Manager Methods(==) :: FdKey -> FdKey -> Bool #(/=) :: FdKey -> FdKey -> Bool # Source # Since: 4.1.0.0 Instance detailsDefined in GHC.IO.Handle Methods Source # Since: 2.1 Instance detailsDefined in Data.Version Methods(==) :: Version -> Version -> Bool #(/=) :: Version -> Version -> Bool # Source # Since: 4.11.0.0 Instance detailsDefined in GHC.ByteOrder Methods Source # Instance detailsDefined in Data.Unique Methods(==) :: Unique -> Unique -> Bool #(/=) :: Unique -> Unique -> Bool # Source # Instance detailsDefined in System.Timeout Methods(==) :: Timeout -> Timeout -> Bool #(/=) :: Timeout -> Timeout -> Bool # Source # Since: 4.0.0.0 Instance detailsDefined in Data.Data Methods(==) :: Fixity -> Fixity -> Bool #(/=) :: Fixity -> Fixity -> Bool # Source # Since: 4.0.0.0 Instance detailsDefined in Data.Data Methods Source # Since: 4.0.0.0 Instance detailsDefined in Data.Data Methods(==) :: DataRep -> DataRep -> Bool #(/=) :: DataRep -> DataRep -> Bool # Source # Equality of constructorsSince: 4.0.0.0 Instance detailsDefined in Data.Data Methods(==) :: Constr -> Constr -> Bool #(/=) :: Constr -> Constr -> Bool # Source # Since: 4.3.0.0 Instance detailsDefined in GHC.Exts Methods Source # Since: 4.8.0.0 Instance detailsDefined in Data.Void Methods(==) :: Void -> Void -> Bool #(/=) :: Void -> Void -> Bool # Eq a => Eq [a] Instance detailsDefined in GHC.Classes Methods(==) :: [a] -> [a] -> Bool #(/=) :: [a] -> [a] -> Bool # Eq a => Eq (Maybe a) Source # Since: 2.1 Instance detailsDefined in GHC.Maybe Methods(==) :: Maybe a -> Maybe a -> Bool #(/=) :: Maybe a -> Maybe a -> Bool # Eq a => Eq (Ratio a) Source # Since: 2.1 Instance detailsDefined in GHC.Real Methods(==) :: Ratio a -> Ratio a -> Bool #(/=) :: Ratio a -> Ratio a -> Bool # Eq (StablePtr a) Source # Since: 2.1 Instance detailsDefined in GHC.Stable Methods(==) :: StablePtr a -> StablePtr a -> Bool #(/=) :: StablePtr a -> StablePtr a -> Bool # Eq (Ptr a) Source # Since: 2.1 Instance detailsDefined in GHC.Ptr Methods(==) :: Ptr a -> Ptr a -> Bool #(/=) :: Ptr a -> Ptr a -> Bool # Eq (FunPtr a) Source # Instance detailsDefined in GHC.Ptr Methods(==) :: FunPtr a -> FunPtr a -> Bool #(/=) :: FunPtr a -> FunPtr a -> Bool # Eq p => Eq (Par1 p) Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: Par1 p -> Par1 p -> Bool #(/=) :: Par1 p -> Par1 p -> Bool # Eq a => Eq (NonEmpty a) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Base Methods(==) :: NonEmpty a -> NonEmpty a -> Bool #(/=) :: NonEmpty a -> NonEmpty a -> Bool # Eq (MVar a) Source # Since: 4.1.0.0 Instance detailsDefined in GHC.MVar Methods(==) :: MVar a -> MVar a -> Bool #(/=) :: MVar a -> MVar a -> Bool # Eq a => Eq (Down a) Source # Since: 4.6.0.0 Instance detailsDefined in Data.Ord Methods(==) :: Down a -> Down a -> Bool #(/=) :: Down a -> Down a -> Bool # Eq a => Eq (Product a) Source # Since: 2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Product a -> Product a -> Bool #(/=) :: Product a -> Product a -> Bool # Eq a => Eq (Sum a) Source # Since: 2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Sum a -> Sum a -> Bool #(/=) :: Sum a -> Sum a -> Bool # Eq a => Eq (Dual a) Source # Since: 2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Dual a -> Dual a -> Bool #(/=) :: Dual a -> Dual a -> Bool # Eq a => Eq (Last a) Source # Since: 2.1 Instance detailsDefined in Data.Monoid Methods(==) :: Last a -> Last a -> Bool #(/=) :: Last a -> Last a -> Bool # Eq a => Eq (First a) Source # Since: 2.1 Instance detailsDefined in Data.Monoid Methods(==) :: First a -> First a -> Bool #(/=) :: First a -> First a -> Bool # Eq (IORef a) Source # Pointer equality.Since: 4.0.0.0 Instance detailsDefined in GHC.IORef Methods(==) :: IORef a -> IORef a -> Bool #(/=) :: IORef a -> IORef a -> Bool # Eq (ForeignPtr a) Source # Since: 2.1 Instance detailsDefined in GHC.ForeignPtr Methods(==) :: ForeignPtr a -> ForeignPtr a -> Bool #(/=) :: ForeignPtr a -> ForeignPtr a -> Bool # Eq (TVar a) Source # Since: 4.8.0.0 Instance detailsDefined in GHC.Conc.Sync Methods(==) :: TVar a -> TVar a -> Bool #(/=) :: TVar a -> TVar a -> Bool # Eq a => Eq (Identity a) Source # Since: 4.8.0.0 Instance detailsDefined in Data.Functor.Identity Methods(==) :: Identity a -> Identity a -> Bool #(/=) :: Identity a -> Identity a -> Bool # Eq a => Eq (ZipList a) Source # Since: 4.7.0.0 Instance detailsDefined in Control.Applicative Methods(==) :: ZipList a -> ZipList a -> Bool #(/=) :: ZipList a -> ZipList a -> Bool # Eq (StableName a) Source # Since: 2.1 Instance detailsDefined in GHC.StableName Methods(==) :: StableName a -> StableName a -> Bool #(/=) :: StableName a -> StableName a -> Bool # Eq (Chan a) Source # Since: 4.4.0.0 Instance detailsDefined in Control.Concurrent.Chan Methods(==) :: Chan a -> Chan a -> Bool #(/=) :: Chan a -> Chan a -> Bool # Eq a => Eq (Option a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Option a -> Option a -> Bool #(/=) :: Option a -> Option a -> Bool # Eq m => Eq (WrappedMonoid m) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: WrappedMonoid m -> WrappedMonoid m -> Bool #(/=) :: WrappedMonoid m -> WrappedMonoid m -> Bool # Eq a => Eq (Last a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Last a -> Last a -> Bool #(/=) :: Last a -> Last a -> Bool # Eq a => Eq (First a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: First a -> First a -> Bool #(/=) :: First a -> First a -> Bool # Eq a => Eq (Max a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Max a -> Max a -> Bool #(/=) :: Max a -> Max a -> Bool # Eq a => Eq (Min a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Min a -> Min a -> Bool #(/=) :: Min a -> Min a -> Bool # Eq a => Eq (Complex a) Source # Since: 2.1 Instance detailsDefined in Data.Complex Methods(==) :: Complex a -> Complex a -> Bool #(/=) :: Complex a -> Complex a -> Bool # (Eq a, Eq b) => Eq (Either a b) Source # Since: 2.1 Instance detailsDefined in Data.Either Methods(==) :: Either a b -> Either a b -> Bool #(/=) :: Either a b -> Either a b -> Bool # Eq (V1 p) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: V1 p -> V1 p -> Bool #(/=) :: V1 p -> V1 p -> Bool # Eq (U1 p) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: U1 p -> U1 p -> Bool #(/=) :: U1 p -> U1 p -> Bool # Eq (TypeRep a) Source # Since: 2.1 Instance detailsDefined in Data.Typeable.Internal Methods(==) :: TypeRep a -> TypeRep a -> Bool #(/=) :: TypeRep a -> TypeRep a -> Bool # (Eq a, Eq b) => Eq (a, b) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b) -> (a, b) -> Bool #(/=) :: (a, b) -> (a, b) -> Bool # Eq (STRef s a) Source # Pointer equality.Since: 2.1 Instance detailsDefined in GHC.STRef Methods(==) :: STRef s a -> STRef s a -> Bool #(/=) :: STRef s a -> STRef s a -> Bool # (Ix i, Eq e) => Eq (Array i e) Source # Since: 2.1 Instance detailsDefined in GHC.Arr Methods(==) :: Array i e -> Array i e -> Bool #(/=) :: Array i e -> Array i e -> Bool # Eq (Proxy s) Source # Since: 4.7.0.0 Instance detailsDefined in Data.Proxy Methods(==) :: Proxy s -> Proxy s -> Bool #(/=) :: Proxy s -> Proxy s -> Bool # Eq (IOArray i e) Source # Since: 4.1.0.0 Instance detailsDefined in GHC.IOArray Methods(==) :: IOArray i e -> IOArray i e -> Bool #(/=) :: IOArray i e -> IOArray i e -> Bool # Eq a => Eq (Arg a b) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Arg a b -> Arg a b -> Bool #(/=) :: Arg a b -> Arg a b -> Bool # Eq (Fixed a) Source # Since: 2.1 Instance detailsDefined in Data.Fixed Methods(==) :: Fixed a -> Fixed a -> Bool #(/=) :: Fixed a -> Fixed a -> Bool # Eq (f p) => Eq (Rec1 f p) Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: Rec1 f p -> Rec1 f p -> Bool #(/=) :: Rec1 f p -> Rec1 f p -> Bool # Eq (URec Word p) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Word p -> URec Word p -> Bool #(/=) :: URec Word p -> URec Word p -> Bool # Eq (URec Int p) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Int p -> URec Int p -> Bool #(/=) :: URec Int p -> URec Int p -> Bool # Eq (URec Float p) Source # Instance detailsDefined in GHC.Generics Methods(==) :: URec Float p -> URec Float p -> Bool #(/=) :: URec Float p -> URec Float p -> Bool # Eq (URec Double p) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Double p -> URec Double p -> Bool #(/=) :: URec Double p -> URec Double p -> Bool # Eq (URec Char p) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Char p -> URec Char p -> Bool #(/=) :: URec Char p -> URec Char p -> Bool # Eq (URec (Ptr ()) p) Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool #(/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool # (Eq a, Eq b, Eq c) => Eq (a, b, c) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c) -> (a, b, c) -> Bool #(/=) :: (a, b, c) -> (a, b, c) -> Bool # Eq (STArray s i e) Source # Since: 2.1 Instance detailsDefined in GHC.Arr Methods(==) :: STArray s i e -> STArray s i e -> Bool #(/=) :: STArray s i e -> STArray s i e -> Bool # Eq (a :~: b) Source # Since: 4.7.0.0 Instance detailsDefined in Data.Type.Equality Methods(==) :: (a :~: b) -> (a :~: b) -> Bool #(/=) :: (a :~: b) -> (a :~: b) -> Bool # Eq (Coercion a b) Source # Since: 4.7.0.0 Instance detailsDefined in Data.Type.Coercion Methods(==) :: Coercion a b -> Coercion a b -> Bool #(/=) :: Coercion a b -> Coercion a b -> Bool # Eq (f a) => Eq (Alt f a) Source # Since: 4.8.0.0 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Alt f a -> Alt f a -> Bool #(/=) :: Alt f a -> Alt f a -> Bool # Eq (f a) => Eq (Ap f a) Source # Since: 4.12.0.0 Instance detailsDefined in Data.Monoid Methods(==) :: Ap f a -> Ap f a -> Bool #(/=) :: Ap f a -> Ap f a -> Bool # Eq a => Eq (Const a b) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Functor.Const Methods(==) :: Const a b -> Const a b -> Bool #(/=) :: Const a b -> Const a b -> Bool # Eq c => Eq (K1 i c p) Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: K1 i c p -> K1 i c p -> Bool #(/=) :: K1 i c p -> K1 i c p -> Bool # (Eq (f p), Eq (g p)) => Eq ((f :+: g) p) Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: (f :+: g) p -> (f :+: g) p -> Bool #(/=) :: (f :+: g) p -> (f :+: g) p -> Bool # (Eq (f p), Eq (g p)) => Eq ((f :*: g) p) Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: (f :*: g) p -> (f :*: g) p -> Bool #(/=) :: (f :*: g) p -> (f :*: g) p -> Bool # (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d) -> (a, b, c, d) -> Bool #(/=) :: (a, b, c, d) -> (a, b, c, d) -> Bool # Eq (a :~~: b) Source # Since: 4.10.0.0 Instance detailsDefined in Data.Type.Equality Methods(==) :: (a :~~: b) -> (a :~~: b) -> Bool #(/=) :: (a :~~: b) -> (a :~~: b) -> Bool # (Eq1 f, Eq1 g, Eq a) => Eq (Sum f g a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Functor.Sum Methods(==) :: Sum f g a -> Sum f g a -> Bool #(/=) :: Sum f g a -> Sum f g a -> Bool # (Eq1 f, Eq1 g, Eq a) => Eq (Product f g a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Functor.Product Methods(==) :: Product f g a -> Product f g a -> Bool #(/=) :: Product f g a -> Product f g a -> Bool # Eq (f p) => Eq (M1 i c f p) Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: M1 i c f p -> M1 i c f p -> Bool #(/=) :: M1 i c f p -> M1 i c f p -> Bool # Eq (f (g p)) => Eq ((f :.: g) p) Source # Since: 4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: (f :.: g) p -> (f :.: g) p -> Bool #(/=) :: (f :.: g) p -> (f :.: g) p -> Bool # (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool #(/=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool # (Eq1 f, Eq1 g, Eq a) => Eq (Compose f g a) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Functor.Compose Methods(==) :: Compose f g a -> Compose f g a -> Bool #(/=) :: Compose f g a -> Compose f g a -> Bool # (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool #(/=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool # (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool #(/=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool #(/=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool #(/=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool #(/=) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool #(/=) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool #(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool #(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool #(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool # (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) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool #(/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool #