Data.Eq (original) (raw)
Equality of constructors
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-2.1
Instance details
Defined in Data.Semigroup.Internal
Since: base-2.1
Instance details
Defined in Data.Semigroup.Internal
Instance details
Defined in Data.Typeable.Internal
Instance details
Defined in Data.Unique
Since: base-2.1
Instance details
Defined in Data.Version
Since: base-4.8.0.0
Instance details
Defined in Data.Void
Since: base-2.1
Instance details
Defined in Foreign.C.Error
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.C.Types
Instance details
Defined in Foreign.Ptr
Instance details
Defined in Foreign.Ptr
Since: base-4.11.0.0
Instance details
Defined in GHC.ByteOrder
Since: base-4.3.0.0
Instance details
Defined in GHC.Conc.Sync
Since: base-4.2.0.0
Instance details
Defined in GHC.Conc.Sync
Since: base-4.3.0.0
Instance details
Defined in GHC.Conc.Sync
Since: base-4.4.0.0
Instance details
Defined in GHC.Event.Internal.Types
Since: base-4.8.1.0
Instance details
Defined in GHC.Event.Internal.Types
Since: base-4.4.0.0
Instance details
Defined in GHC.Event.Manager
Instance details
Defined in GHC.Event.TimeOut
Since: base-4.7.0.0
Instance details
Defined in GHC.Exception
Since: base-3.0
Instance details
Defined in GHC.Exception.Type
Eq SpecConstrAnnotation Source #
Since: base-4.3.0.0
Instance details
Defined in GHC.Exts
Since: base-4.4.0.0
Instance details
Defined in GHC.Fingerprint.Type
Since: base-4.6.0.0
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Since: base-4.6.0.0
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Eq SourceUnpackedness Source #
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Since: base-4.3.0.0
Instance details
Defined in GHC.IO
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Buffer
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Device
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Device
Since: base-4.4.0.0
Instance details
Defined in GHC.IO.Encoding.Types
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Exception
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Exception
Instance details
Defined in GHC.IO.Exception
Since: base-4.1.0.0
Instance details
Defined in GHC.IO.Exception
Since: base-4.1.0.0
Instance details
Defined in GHC.IO.Exception
Since: base-4.1.0.0
Instance details
Defined in GHC.IO.Handle
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Handle.Types
Since: base-4.1.0.0
Instance details
Defined in GHC.IO.Handle.Types
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Handle.Types
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.Handle.Types
Since: base-4.2.0.0
Instance details
Defined in GHC.IO.IOMode
Since: base-2.1
Instance details
Defined in GHC.Int
Since: base-2.1
Instance details
Defined in GHC.Int
Since: base-2.1
Instance details
Defined in GHC.Int
Since: base-2.1
Instance details
Defined in GHC.Int
Instance details
Defined in GHC.RTS.Flags
Since: base-4.9.0.0
Instance details
Defined in GHC.Stack.Types
Instance details
Defined in GHC.TypeLits
Since: base-4.7.0.0
Instance details
Defined in GHC.TypeLits
Since: base-4.7.0.0
Instance details
Defined in GHC.TypeNats
Since: base-2.1
Instance details
Defined in GHC.Unicode
Since: base-2.1
Instance details
Defined in GHC.Word
Since: base-2.1
Instance details
Defined in GHC.Word
Since: base-2.1
Instance details
Defined in GHC.Word
Since: base-2.1
Instance details
Defined in GHC.Word
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Posix.Types
Instance details
Defined in System.Timeout
Since: base-2.1
Instance details
Defined in Text.Read.Lex
Since: base-4.6.0.0
Instance details
Defined in Text.Read.Lex
Instance details
Defined in GHC.Num.BigNat
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Num.Integer
Instance details
Defined in GHC.Num.Natural
Eq ()
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
Note that due to the presence of NaN, [Double](Prelude.html#t:Double "Prelude")'s [Eq](Data-Eq.html#t:Eq "Data.Eq") instance does not satisfy reflexivity.
>>> **0/0 == (0/0 :: Double)** ****False
Also note that [Double](Prelude.html#t:Double "Prelude")'s [Eq](Data-Eq.html#t:Eq "Data.Eq") instance does not satisfy substitutivity:
>>> **0 == (-0 :: Double)** ****True
>>> **recip 0 == recip (-0 :: Double)** ****False
Instance details
Defined in GHC.Classes
Note that due to the presence of NaN, [Float](Prelude.html#t:Float "Prelude")'s [Eq](Data-Eq.html#t:Eq "Data.Eq") instance does not satisfy reflexivity.
>>> **0/0 == (0/0 :: Float)** ****False
Also note that [Float](Prelude.html#t:Float "Prelude")'s [Eq](Data-Eq.html#t:Eq "Data.Eq") instance does not satisfy extensionality:
>>> **0 == (-0 :: Float)** ****True
>>> **recip 0 == recip (-0 :: Float)** ****False
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
Eq a => Eq (ZipList a) Source #
Since: base-4.7.0.0
Instance details
Defined in Control.Applicative
Since: base-4.4.0.0
Instance details
Defined in Control.Concurrent.Chan
Since: base-4.16
Instance details
Defined in Data.Bits
Since: base-4.16
Instance details
Defined in Data.Bits
Since: base-4.16
Instance details
Defined in Data.Bits
Since: base-4.16
Instance details
Defined in Data.Bits
Eq a => Eq (Complex a) Source #
Since: base-2.1
Instance details
Defined in Data.Complex
Eq a => Eq (Identity a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Functor.Identity
Since: base-2.1
Instance details
Defined in Data.Monoid
Since: base-2.1
Instance details
Defined in Data.Monoid
Since: base-4.6.0.0
Instance details
Defined in Data.Ord
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Eq m => Eq (WrappedMonoid m) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Since: base-2.1
Instance details
Defined in Data.Semigroup.Internal
Eq a => Eq (Product a) Source #
Since: base-2.1
Instance details
Defined in Data.Semigroup.Internal
Since: base-2.1
Instance details
Defined in Data.Semigroup.Internal
Since: base-4.8.0.0
Instance details
Defined in GHC.Conc.Sync
Eq (ForeignPtr a) Source #
Since: base-2.1
Instance details
Defined in GHC.ForeignPtr
Since: base-4.7.0.0
Instance details
Defined in GHC.Generics
Pointer equality.
Since: base-4.0.0.0
Instance details
Defined in GHC.IORef
Since: base-4.1.0.0
Instance details
Defined in GHC.MVar
Instance details
Defined in GHC.Ptr
Since: base-2.1
Instance details
Defined in GHC.Ptr
Since: base-2.1
Instance details
Defined in GHC.Real
Since: base-2.1
Instance details
Defined in GHC.Stable
Eq (StableName a) Source #
Since: base-2.1
Instance details
Defined in GHC.StableName
Eq a => Eq (NonEmpty a) Source #
Since: base-4.9.0.0
Instance details
Defined in GHC.Base
Since: base-2.1
Instance details
Defined in GHC.Maybe
Instance details
Defined in GHC.Classes
Instance details
Defined in GHC.Classes
(Eq a, Eq b) => Eq (Either a b) Source #
Since: base-2.1
Instance details
Defined in Data.Either
Since: base-2.1
Instance details
Defined in Data.Fixed
Since: base-4.7.0.0
Instance details
Defined in Data.Proxy
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Since: base-2.1
Instance details
Defined in Data.Typeable.Internal
(Ix i, Eq e) => Eq (Array i e) Source #
Since: base-2.1
Instance details
Defined in GHC.Arr
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Since: base-4.1.0.0
Instance details
Defined in GHC.IOArray
Pointer equality.
Since: base-2.1
Instance details
Defined in GHC.STRef
Instance details
Defined in GHC.Classes
Eq a => Eq (Const a b) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Const
Eq (f a) => Eq (Ap f a) Source #
Since: base-4.12.0.0
Instance details
Defined in Data.Monoid
Eq (f a) => Eq (Alt f a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Semigroup.Internal
Since: base-4.7.0.0
Instance details
Defined in Data.Type.Coercion
Since: base-4.7.0.0
Instance details
Defined in Data.Type.Equality
Instance details
Defined in Data.Type.Ord
Since: base-2.1
Instance details
Defined in GHC.Arr
Eq (f p) => Eq (Rec1 f p) Source #
Since: base-4.7.0.0
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
Since: base-4.9.0.0
Instance details
Defined in GHC.Generics
(Eq a, Eq b, Eq c) => Eq (a, b, c)
Instance details
Defined in GHC.Classes
(Eq1 f, Eq1 g, Eq a) => Eq (Product f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Product
(Eq1 f, Eq1 g, Eq a) => Eq (Sum f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Sum
Since: base-4.10.0.0
Instance details
Defined in Data.Type.Equality
(Eq (f p), Eq (g p)) => Eq ((f :*: g) p) Source #
Since: base-4.7.0.0
Instance details
Defined in GHC.Generics
(Eq (f p), Eq (g p)) => Eq ((f :+: g) p) Source #
Since: base-4.7.0.0
Instance details
Defined in GHC.Generics
Eq c => Eq (K1 i c p) Source #
Since: base-4.7.0.0
Instance details
Defined in GHC.Generics
(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
Instance details
Defined in GHC.Classes
Methods
(==) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #
(/=) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source #
(Eq1 f, Eq1 g, Eq a) => Eq (Compose f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
Eq (f (g p)) => Eq ((f :.: g) p) Source #
Since: base-4.7.0.0
Instance details
Defined in GHC.Generics
Eq (f p) => Eq (M1 i c f p) Source #
Since: base-4.7.0.0
Instance details
Defined in GHC.Generics
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e)
Instance details
Defined 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 #
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f)
Instance details
Defined 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 details
Defined 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 details
Defined 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 details
Defined 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 details
Defined 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 details
Defined 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 details
Defined 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 details
Defined 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 details
Defined 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 details
Defined 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 #