base-4.12.0.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
 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 # Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods(==) :: Int8 -> Int8 -> Bool Source #(/=) :: Int8 -> Int8 -> Bool Source # Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods Source # Since: 2.1 Instance detailsDefined in GHC.Int Methods Instance detailsDefined in GHC.Integer.Type Methods Source # Since: 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 # Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods Source # Since: 2.1 Instance detailsDefined in GHC.Word Methods Source # 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 Source # Since: 4.9.0.0 Instance detailsDefined in GHC.Stack.Types Methods Source # Since: 2.1 Instance detailsDefined in GHC.Unicode Methods Source # Since: 4.6.0.0 Instance detailsDefined in Text.Read.Lex Methods Source # Since: 2.1 Instance detailsDefined in Text.Read.Lex Methods 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 Source # Instance detailsDefined in Foreign.Ptr Methods Source # Instance detailsDefined in Foreign.Ptr Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods(==) :: CInt -> CInt -> Bool Source #(/=) :: CInt -> CInt -> Bool Source # Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Instance detailsDefined in Foreign.C.Types Methods Source # Since: 4.7.0.0 Instance detailsDefined in GHC.TypeNats Methods 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 Source # Since: 2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: Any -> Any -> Bool Source #(/=) :: Any -> Any -> Bool Source # Source # Since: 2.1 Instance detailsDefined in Data.Semigroup.Internal Methods(==) :: All -> All -> Bool Source #(/=) :: All -> All -> Bool Source # 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 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 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 Source # Instance detailsDefined in System.Posix.Types Methods(==) :: Fd -> Fd -> Bool Source #(/=) :: Fd -> Fd -> Bool Source # Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CId -> CId -> Bool Source #(/=) :: CId -> CId -> Bool Source # 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 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(==) :: CCc -> CCc -> Bool Source #(/=) :: CCc -> CCc -> Bool Source # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CUid -> CUid -> Bool Source #(/=) :: CUid -> CUid -> Bool Source # Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CGid -> CGid -> Bool Source #(/=) :: CGid -> CGid -> Bool Source # Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CPid -> CPid -> Bool Source #(/=) :: CPid -> CPid -> Bool Source # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: COff -> COff -> Bool Source #(/=) :: COff -> COff -> Bool Source # Source # Instance detailsDefined in System.Posix.Types Methods Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CIno -> CIno -> Bool Source #(/=) :: CIno -> CIno -> Bool Source # Source # Instance detailsDefined in System.Posix.Types Methods(==) :: CDev -> CDev -> Bool Source #(/=) :: CDev -> CDev -> Bool Source # 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.1.0.0 Instance detailsDefined in GHC.IO.Handle Methods Source # Since: 2.1 Instance detailsDefined in Data.Version Methods Source # Since: 4.11.0.0 Instance detailsDefined in GHC.ByteOrder Methods Source # Instance detailsDefined in Data.Unique Methods Source # Since: 4.0.0.0 Instance detailsDefined in Data.Data Methods Source # Since: 4.0.0.0 Instance detailsDefined in Data.Data Methods Source # Since: 4.0.0.0 Instance detailsDefined in Data.Data Methods Source # Equality of constructorsSince: 4.0.0.0 Instance detailsDefined in Data.Data Methods 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 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) Source # Since: 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) Source # Since: 2.1 Instance detailsDefined in GHC.Real Methods(==) :: Ratio a -> Ratio a -> Bool Source #(/=) :: Ratio a -> Ratio a -> Bool Source # Eq (StablePtr a) Source # Since: 2.1 Instance detailsDefined in GHC.Stable Methods(==) :: StablePtr a -> StablePtr a -> Bool Source #(/=) :: StablePtr a -> StablePtr a -> Bool Source # Eq (Ptr a) Source # Since: 2.1 Instance detailsDefined in GHC.Ptr Methods(==) :: Ptr a -> Ptr a -> Bool Source #(/=) :: Ptr a -> Ptr a -> Bool Source # Eq (FunPtr a) Source # Instance detailsDefined in GHC.Ptr Methods(==) :: FunPtr a -> FunPtr a -> Bool Source #(/=) :: FunPtr a -> FunPtr a -> Bool Source # Eq p => Eq (Par1 p) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 2.1 Instance detailsDefined in Data.Monoid Methods(==) :: First a -> First a -> Bool Source #(/=) :: First a -> First a -> Bool Source # Eq (IORef a) Source # ^ Pointer equality.Since: 4.1.0.0 Instance detailsDefined in GHC.IORef Methods(==) :: IORef a -> IORef a -> Bool Source #(/=) :: IORef a -> IORef a -> Bool Source # Eq (ForeignPtr a) Source # Since: 2.1 Instance detailsDefined in GHC.ForeignPtr Methods(==) :: ForeignPtr a -> ForeignPtr a -> Bool Source #(/=) :: ForeignPtr a -> ForeignPtr a -> Bool Source # Eq (TVar a) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 2.1 Instance detailsDefined in GHC.StableName Methods(==) :: StableName a -> StableName a -> Bool Source #(/=) :: StableName a -> StableName a -> Bool Source # Eq (Chan a) Source # Since: 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) Source # Since: 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) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods Eq a => Eq (Last a) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 4.9.0.0 Instance detailsDefined in Data.Semigroup Methods(==) :: Min a -> Min a -> Bool Source #(/=) :: Min a -> Min a -> Bool Source # Eq (Fixed a) Source # Since: 2.1 Instance detailsDefined in Data.Fixed Methods(==) :: Fixed a -> Fixed a -> Bool Source #(/=) :: Fixed a -> Fixed a -> Bool Source # Eq a => Eq (Complex a) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Pointer equality.Since: 2.1 Instance detailsDefined in GHC.STRef Methods(==) :: STRef s a -> STRef s a -> Bool Source #(/=) :: STRef s a -> STRef s a -> Bool Source # Eq (Proxy s) Source # Since: 4.7.0.0 Instance detailsDefined in Data.Proxy Methods(==) :: Proxy s -> Proxy s -> Bool Source #(/=) :: Proxy s -> Proxy s -> Bool Source # 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 Source #(/=) :: Arg a b -> Arg a b -> Bool Source # 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 Source #(/=) :: Rec1 f p -> Rec1 f p -> Bool Source # Eq (URec Word p) Source # Since: 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) Source # Since: 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) Source # 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) Source # Since: 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) Source # Since: 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) Source # Since: 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 (a :~: b) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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) Source # Since: 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 #