base-4.14.1.0: Basic libraries

Data.Eq

Description

Equality

Synopsis

# 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.

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 Source #

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

#### Instances

Instances details
 Instance detailsDefined in GHC.Classes Methods(==) :: Bool -> Bool -> Bool Source #(/=) :: Bool -> Bool -> Bool Source # Instance detailsDefined in GHC.Classes Methods(==) :: Char -> Char -> Bool Source #(/=) :: Char -> Char -> Bool Source # 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 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 Instance detailsDefined in GHC.Classes Methods(==) :: Int -> Int -> Bool Source #(/=) :: Int -> Int -> Bool Source # # Since: base-2.1 Instance detailsDefined in GHC.Int Methods(==) :: Int8 -> Int8 -> Bool Source #(/=) :: Int8 -> Int8 -> Bool Source # # Since: base-2.1 Instance detailsDefined in GHC.Int Methods # Since: base-2.1 Instance detailsDefined in GHC.Int Methods # Since: base-2.1 Instance detailsDefined in GHC.Int Methods Instance detailsDefined in GHC.Integer.Type Methods # Since: base-4.8.0.0 Instance detailsDefined in GHC.Natural Methods Instance detailsDefined in GHC.Classes Methods Instance detailsDefined in GHC.Classes Methods(==) :: Word -> Word -> Bool Source #(/=) :: Word -> Word -> Bool Source # # Since: base-2.1 Instance detailsDefined in GHC.Word Methods # Since: base-2.1 Instance detailsDefined in GHC.Word Methods # Since: base-2.1 Instance detailsDefined in GHC.Word Methods # Since: base-2.1 Instance detailsDefined in GHC.Word Methods # Instance detailsDefined in Data.Typeable.Internal Methods Eq () Instance detailsDefined in GHC.Classes Methods(==) :: () -> () -> Bool Source #(/=) :: () -> () -> Bool Source # Instance detailsDefined in GHC.Classes Methods Instance detailsDefined in GHC.Classes Methods Instance detailsDefined in GHC.Classes Methods Instance detailsDefined in GHC.Integer.Type Methods # Since: base-4.9.0.0 Instance detailsDefined in GHC.Stack.Types Methods # Since: base-2.1 Instance detailsDefined in GHC.Unicode Methods # Since: base-4.6.0.0 Instance detailsDefined in Text.Read.Lex Methods # Since: base-2.1 Instance detailsDefined in Text.Read.Lex Methods # Since: base-4.4.0.0 Instance detailsDefined in GHC.Fingerprint.Type Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.IOMode Methods # Instance detailsDefined in Foreign.Ptr Methods # Instance detailsDefined in Foreign.Ptr Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods(==) :: CInt -> CInt -> Bool Source #(/=) :: CInt -> CInt -> Bool Source # # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Instance detailsDefined in Foreign.C.Types Methods # Since: base-4.7.0.0 Instance detailsDefined in GHC.TypeNats Methods # Since: base-4.7.0.0 Instance detailsDefined in GHC.TypeLits Methods # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods # Since: base-4.6.0.0 Instance detailsDefined in GHC.Generics Methods # Since: base-4.6.0.0 Instance detailsDefined in GHC.Generics Methods # Since: base-2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Any -> Any -> Bool Source #(/=) :: Any -> Any -> Bool Source # # Since: base-2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: All -> All -> Bool Source #(/=) :: All -> All -> Bool Source # # Since: base-3.0 Instance detailsDefined in GHC.Exception.Type Methods # Since: base-4.7.0.0 Instance detailsDefined in GHC.Exception Methods # Since: base-4.1.0.0 Instance detailsDefined in GHC.IO.Exception Methods # Since: base-4.3.0.0 Instance detailsDefined in GHC.IO Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Buffer Methods # Since: base-4.4.0.0 Instance detailsDefined in GHC.IO.Encoding.Types Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Device Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Device Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods # Since: base-4.1.0.0 Instance detailsDefined in GHC.IO.Handle.Types Methods # Since: base-4.1.0.0 Instance detailsDefined in GHC.IO.Exception Methods # Instance detailsDefined in GHC.IO.Exception Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Exception Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.IO.Exception Methods # Since: base-2.1 Instance detailsDefined in Foreign.C.Error Methods # Instance detailsDefined in System.Posix.Types Methods(==) :: Fd -> Fd -> Bool Source #(/=) :: Fd -> Fd -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods(==) :: CKey -> CKey -> Bool Source #(/=) :: CKey -> CKey -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods(==) :: CId -> CId -> Bool Source #(/=) :: CId -> CId -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods(==) :: CCc -> CCc -> Bool Source #(/=) :: CCc -> CCc -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods(==) :: CUid -> CUid -> Bool Source #(/=) :: CUid -> CUid -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods(==) :: CGid -> CGid -> Bool Source #(/=) :: CGid -> CGid -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods(==) :: CPid -> CPid -> Bool Source #(/=) :: CPid -> CPid -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods(==) :: COff -> COff -> Bool Source #(/=) :: COff -> COff -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods # Instance detailsDefined in System.Posix.Types Methods(==) :: CIno -> CIno -> Bool Source #(/=) :: CIno -> CIno -> Bool Source # # Instance detailsDefined in System.Posix.Types Methods(==) :: CDev -> CDev -> Bool Source #(/=) :: CDev -> CDev -> Bool Source # # Since: base-4.8.1.0 Instance detailsDefined in GHC.Event.Internal Methods # Since: base-4.4.0.0 Instance detailsDefined in GHC.Event.Internal Methods # Since: base-4.3.0.0 Instance detailsDefined in GHC.Conc.Sync Methods # Since: base-4.3.0.0 Instance detailsDefined in GHC.Conc.Sync Methods # Since: base-4.2.0.0 Instance detailsDefined in GHC.Conc.Sync Methods # Since: base-4.7.0.0 Instance detailsDefined in GHC.Event.TimerManager Methods # Since: base-4.4.0.0 Instance detailsDefined in GHC.Event.Manager Methods # Since: base-4.1.0.0 Instance detailsDefined in GHC.IO.Handle Methods # Since: base-2.1 Instance detailsDefined in Data.Version Methods # Since: base-4.11.0.0 Instance detailsDefined in GHC.ByteOrder Methods # Instance detailsDefined in Data.Unique Methods # Instance detailsDefined in System.Timeout Methods # Since: base-4.0.0.0 Instance detailsDefined in Data.Data Methods # Since: base-4.0.0.0 Instance detailsDefined in Data.Data Methods # Since: base-4.0.0.0 Instance detailsDefined in Data.Data Methods # Equality of constructorsSince: base-4.0.0.0 Instance detailsDefined in Data.Data Methods # Since: base-4.3.0.0 Instance detailsDefined in GHC.Exts Methods # Since: base-4.8.0.0 Instance detailsDefined in Data.Void Methods(==) :: Void -> Void -> Bool Source #(/=) :: Void -> Void -> Bool Source # Eq a => Eq [a] Instance detailsDefined in GHC.Classes Methods(==) :: [a] -> [a] -> Bool Source #(/=) :: [a] -> [a] -> Bool Source # Eq a => Eq (Maybe a) # Since: base-2.1 Instance detailsDefined in GHC.Maybe Methods(==) :: Maybe a -> Maybe a -> Bool Source #(/=) :: Maybe a -> Maybe a -> Bool Source # Eq a => Eq (Ratio a) # Since: base-2.1 Instance detailsDefined in GHC.Real Methods(==) :: Ratio a -> Ratio a -> Bool Source #(/=) :: Ratio a -> Ratio a -> Bool Source # Eq (StablePtr a) # Since: base-2.1 Instance detailsDefined in GHC.Stable Methods(==) :: StablePtr a -> StablePtr a -> Bool Source #(/=) :: StablePtr a -> StablePtr a -> Bool Source # Eq (Ptr a) # Since: base-2.1 Instance detailsDefined in GHC.Ptr Methods(==) :: Ptr a -> Ptr a -> Bool Source #(/=) :: Ptr a -> Ptr a -> Bool Source # Eq (FunPtr a) # Instance detailsDefined in GHC.Ptr Methods(==) :: FunPtr a -> FunPtr a -> Bool Source #(/=) :: FunPtr a -> FunPtr a -> Bool Source # Eq p => Eq (Par1 p) # Since: base-4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: Par1 p -> Par1 p -> Bool Source #(/=) :: Par1 p -> Par1 p -> Bool Source # Eq a => Eq (NonEmpty a) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Base Methods(==) :: NonEmpty a -> NonEmpty a -> Bool Source #(/=) :: NonEmpty a -> NonEmpty a -> Bool Source # Eq (MVar a) # Since: base-4.1.0.0 Instance detailsDefined in GHC.MVar Methods(==) :: MVar a -> MVar a -> Bool Source #(/=) :: MVar a -> MVar a -> Bool Source # Eq a => Eq (Down a) # Since: base-4.6.0.0 Instance detailsDefined in Data.Ord Methods(==) :: Down a -> Down a -> Bool Source #(/=) :: Down a -> Down a -> Bool Source # Eq a => Eq (Product a) # Since: base-2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Product a -> Product a -> Bool Source #(/=) :: Product a -> Product a -> Bool Source # Eq a => Eq (Sum a) # Since: base-2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Sum a -> Sum a -> Bool Source #(/=) :: Sum a -> Sum a -> Bool Source # Eq a => Eq (Dual a) # Since: base-2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Dual a -> Dual a -> Bool Source #(/=) :: Dual a -> Dual a -> Bool Source # Eq a => Eq (Last a) # Since: base-2.1 Instance detailsDefined in Data.Monoid Methods(==) :: Last a -> Last a -> Bool Source #(/=) :: Last a -> Last a -> Bool Source # Eq a => Eq (First a) # Since: base-2.1 Instance detailsDefined in Data.Monoid Methods(==) :: First a -> First a -> Bool Source #(/=) :: First a -> First a -> Bool Source # Eq (IORef a) # Pointer equality.Since: base-4.0.0.0 Instance detailsDefined in GHC.IORef Methods(==) :: IORef a -> IORef a -> Bool Source #(/=) :: IORef a -> IORef a -> Bool Source # Eq (ForeignPtr a) # Since: base-2.1 Instance detailsDefined in GHC.ForeignPtr Methods(==) :: ForeignPtr a -> ForeignPtr a -> Bool Source #(/=) :: ForeignPtr a -> ForeignPtr a -> Bool Source # Eq (TVar a) # Since: base-4.8.0.0 Instance detailsDefined in GHC.Conc.Sync Methods(==) :: TVar a -> TVar a -> Bool Source #(/=) :: TVar a -> TVar a -> Bool Source # Eq a => Eq (Identity a) # Since: base-4.8.0.0 Instance detailsDefined in Data.Functor.Identity Methods(==) :: Identity a -> Identity a -> Bool Source #(/=) :: Identity a -> Identity a -> Bool Source # Eq a => Eq (ZipList a) # Since: base-4.7.0.0 Instance detailsDefined in Control.Applicative Methods(==) :: ZipList a -> ZipList a -> Bool Source #(/=) :: ZipList a -> ZipList a -> Bool Source # Eq (StableName a) # Since: base-2.1 Instance detailsDefined in GHC.StableName Methods(==) :: StableName a -> StableName a -> Bool Source #(/=) :: StableName a -> StableName a -> Bool Source # Eq (Chan a) # Since: base-4.4.0.0 Instance detailsDefined in Control.Concurrent.Chan Methods(==) :: Chan a -> Chan a -> Bool Source #(/=) :: Chan a -> Chan a -> Bool Source # Eq a => Eq (Option a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Option a -> Option a -> Bool Source #(/=) :: Option a -> Option a -> Bool Source # Eq m => Eq (WrappedMonoid m) # Since: base-4.9.0.0 Instance detailsDefined in Data.Semigroup Methods Eq a => Eq (Last a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Last a -> Last a -> Bool Source #(/=) :: Last a -> Last a -> Bool Source # Eq a => Eq (First a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: First a -> First a -> Bool Source #(/=) :: First a -> First a -> Bool Source # Eq a => Eq (Max a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Max a -> Max a -> Bool Source #(/=) :: Max a -> Max a -> Bool Source # Eq a => Eq (Min a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Min a -> Min a -> Bool Source #(/=) :: Min a -> Min a -> Bool Source # Eq a => Eq (Complex a) # Since: base-2.1 Instance detailsDefined in Data.Complex Methods(==) :: Complex a -> Complex a -> Bool Source #(/=) :: Complex a -> Complex a -> Bool Source # (Eq a, Eq b) => Eq (Either a b) # Since: base-2.1 Instance detailsDefined in Data.Either Methods(==) :: Either a b -> Either a b -> Bool Source #(/=) :: Either a b -> Either a b -> Bool Source # Eq (V1 p) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: V1 p -> V1 p -> Bool Source #(/=) :: V1 p -> V1 p -> Bool Source # Eq (U1 p) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: U1 p -> U1 p -> Bool Source #(/=) :: U1 p -> U1 p -> Bool Source # Eq (TypeRep a) # Since: base-2.1 Instance detailsDefined in Data.Typeable.Internal Methods(==) :: TypeRep a -> TypeRep a -> Bool Source #(/=) :: TypeRep a -> TypeRep a -> Bool Source # (Eq a, Eq b) => Eq (a, b) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b) -> (a, b) -> Bool Source #(/=) :: (a, b) -> (a, b) -> Bool Source # Eq (STRef s a) # Pointer equality.Since: base-2.1 Instance detailsDefined in GHC.STRef Methods(==) :: STRef s a -> STRef s a -> Bool Source #(/=) :: STRef s a -> STRef s a -> Bool Source # (Ix i, Eq e) => Eq (Array i e) # Since: base-2.1 Instance detailsDefined in GHC.Arr Methods(==) :: Array i e -> Array i e -> Bool Source #(/=) :: Array i e -> Array i e -> Bool Source # Eq (Proxy s) # Since: base-4.7.0.0 Instance detailsDefined in Data.Proxy Methods(==) :: Proxy s -> Proxy s -> Bool Source #(/=) :: Proxy s -> Proxy s -> Bool Source # Eq (IOArray i e) # Since: base-4.1.0.0 Instance detailsDefined in GHC.IOArray Methods(==) :: IOArray i e -> IOArray i e -> Bool Source #(/=) :: IOArray i e -> IOArray i e -> Bool Source # Eq a => Eq (Arg a b) # Since: base-4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Arg a b -> Arg a b -> Bool Source #(/=) :: Arg a b -> Arg a b -> Bool Source # Eq (Fixed a) # Since: base-2.1 Instance detailsDefined in Data.Fixed Methods(==) :: Fixed a -> Fixed a -> Bool Source #(/=) :: Fixed a -> Fixed a -> Bool Source # Eq (f p) => Eq (Rec1 f p) # Since: base-4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: Rec1 f p -> Rec1 f p -> Bool Source #(/=) :: Rec1 f p -> Rec1 f p -> Bool Source # Eq (URec Word p) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Word p -> URec Word p -> Bool Source #(/=) :: URec Word p -> URec Word p -> Bool Source # Eq (URec Int p) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Int p -> URec Int p -> Bool Source #(/=) :: URec Int p -> URec Int p -> Bool Source # Eq (URec Float p) # Instance detailsDefined in GHC.Generics Methods(==) :: URec Float p -> URec Float p -> Bool Source #(/=) :: URec Float p -> URec Float p -> Bool Source # Eq (URec Double p) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Double p -> URec Double p -> Bool Source #(/=) :: URec Double p -> URec Double p -> Bool Source # Eq (URec Char p) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec Char p -> URec Char p -> Bool Source #(/=) :: URec Char p -> URec Char p -> Bool Source # Eq (URec (Ptr ()) p) # Since: base-4.9.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source #(/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source # (Eq a, Eq b, Eq c) => Eq (a, b, c) Instance detailsDefined in GHC.Classes Methods(==) :: (a, b, c) -> (a, b, c) -> Bool Source #(/=) :: (a, b, c) -> (a, b, c) -> Bool Source # Eq (STArray s i e) # Since: base-2.1 Instance detailsDefined in GHC.Arr Methods(==) :: STArray s i e -> STArray s i e -> Bool Source #(/=) :: STArray s i e -> STArray s i e -> Bool Source # Eq (a :~: b) # Since: base-4.7.0.0 Instance detailsDefined in Data.Type.Equality Methods(==) :: (a :~: b) -> (a :~: b) -> Bool Source #(/=) :: (a :~: b) -> (a :~: b) -> Bool Source # Eq (Coercion a b) # Since: base-4.7.0.0 Instance detailsDefined in Data.Type.Coercion Methods(==) :: Coercion a b -> Coercion a b -> Bool Source #(/=) :: Coercion a b -> Coercion a b -> Bool Source # Eq (f a) => Eq (Alt f a) # Since: base-4.8.0.0 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Alt f a -> Alt f a -> Bool Source #(/=) :: Alt f a -> Alt f a -> Bool Source # Eq (f a) => Eq (Ap f a) # Since: base-4.12.0.0 Instance detailsDefined in Data.Monoid Methods(==) :: Ap f a -> Ap f a -> Bool Source #(/=) :: Ap f a -> Ap f a -> Bool Source # Eq a => Eq (Const a b) # Since: base-4.9.0.0 Instance detailsDefined in Data.Functor.Const Methods(==) :: Const a b -> Const a b -> Bool Source #(/=) :: Const a b -> Const a b -> Bool Source # Eq c => Eq (K1 i c p) # Since: base-4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: K1 i c p -> K1 i c p -> Bool Source #(/=) :: K1 i c p -> K1 i c p -> Bool Source # (Eq (f p), Eq (g p)) => Eq ((f :+: g) p) # Since: base-4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: (f :+: g) p -> (f :+: g) p -> Bool Source #(/=) :: (f :+: g) p -> (f :+: g) p -> Bool Source # (Eq (f p), Eq (g p)) => Eq ((f :*: g) p) # Since: base-4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: (f :*: g) p -> (f :*: g) p -> Bool Source #(/=) :: (f :*: g) p -> (f :*: g) p -> Bool Source # (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 Source #(/=) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source # Eq (a :~~: b) # Since: base-4.10.0.0 Instance detailsDefined in Data.Type.Equality Methods(==) :: (a :~~: b) -> (a :~~: b) -> Bool Source #(/=) :: (a :~~: b) -> (a :~~: b) -> Bool Source # (Eq1 f, Eq1 g, Eq a) => Eq (Sum f g a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Functor.Sum Methods(==) :: Sum f g a -> Sum f g a -> Bool Source #(/=) :: Sum f g a -> Sum f g a -> Bool Source # (Eq1 f, Eq1 g, Eq a) => Eq (Product f g a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Functor.Product Methods(==) :: Product f g a -> Product f g a -> Bool Source #(/=) :: Product f g a -> Product f g a -> Bool Source # Eq (f p) => Eq (M1 i c f p) # Since: base-4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: M1 i c f p -> M1 i c f p -> Bool Source #(/=) :: M1 i c f p -> M1 i c f p -> Bool Source # Eq (f (g p)) => Eq ((f :.: g) p) # Since: base-4.7.0.0 Instance detailsDefined in GHC.Generics Methods(==) :: (f :.: g) p -> (f :.: g) p -> Bool Source #(/=) :: (f :.: g) p -> (f :.: g) p -> Bool Source # (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 Source #(/=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source # (Eq1 f, Eq1 g, Eq a) => Eq (Compose f g a) # Since: base-4.9.0.0 Instance detailsDefined in Data.Functor.Compose Methods(==) :: Compose f g a -> Compose f g a -> Bool Source #(/=) :: Compose f g a -> Compose f g a -> Bool Source # (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 Source #(/=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Source # (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 Source #(/=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Source # (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 Source #(/=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Source # (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 Source #(/=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Source # (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 Source #(/=) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool Source # (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 Source #(/=) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool Source # (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 Source #(/=) :: (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 Source # (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 Source #(/=) :: (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 Source # (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 Source #(/=) :: (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 Source # (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 Source #(/=) :: (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 Source #