Eq Bool | |
Instance detailsDefined in GHC.Classes |
Eq Char | |
Instance detailsDefined in GHC.Classes |
Eq Double | 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 |
Eq Float | 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 |
Eq Int | |
Instance detailsDefined in GHC.Classes |
Eq Int8 | Since: base-2.1 |
Instance detailsDefined in GHC.Int |
Eq Int16 | Since: base-2.1 |
Instance detailsDefined in GHC.Int |
Eq Int32 | Since: base-2.1 |
Instance detailsDefined in GHC.Int |
Eq Int64 | Since: base-2.1 |
Instance detailsDefined in GHC.Int |
Eq Integer | |
Instance detailsDefined in GHC.Integer.Type |
Eq Natural | Since: base-4.8.0.0 |
Instance detailsDefined in GHC.Natural |
Eq Ordering | |
Instance detailsDefined in GHC.Classes |
Eq Word | |
Instance detailsDefined in GHC.Classes |
Eq Word8 | Since: base-2.1 |
Instance detailsDefined in GHC.Word |
Eq Word16 | Since: base-2.1 |
Instance detailsDefined in GHC.Word |
Eq Word32 | Since: base-2.1 |
Instance detailsDefined in GHC.Word |
Eq Word64 | Since: base-2.1 |
Instance detailsDefined in GHC.Word |
Eq SomeTypeRep | |
Instance detailsDefined in Data.Typeable.Internal |
Eq Exp | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Match | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Clause | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Pat | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Type | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Dec | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Name | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq FunDep | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq InjectivityAnn | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Overlap | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq () | |
Instance detailsDefined in GHC.Classes |
Eq TyCon | |
Instance detailsDefined in GHC.Classes |
Eq Module | |
Instance detailsDefined in GHC.Classes |
Eq TrName | |
Instance detailsDefined in GHC.Classes |
Eq Version | Since: base-2.1 |
Instance detailsDefined in Data.Version |
Eq StdGen | |
Instance detailsDefined in System.Random.Internal |
Eq ByteString | |
Instance detailsDefined in Data.ByteString.Internal |
Eq ByteString | |
Instance detailsDefined in Data.ByteString.Lazy.Internal |
Eq Scientific | Scientific numbers can be safely compared for equality. No magnitude 10^e
is calculated so there's no risk of a blowup in space or time when comparing
scientific numbers coming from untrusted sources. |
Instance detailsDefined in Data.Scientific |
Eq UTCTime | |
Instance detailsDefined in Data.Time.Clock.Internal.UTCTime |
Eq JSONPathElement | |
Instance detailsDefined in Data.Aeson.Types.Internal |
Eq Value | |
Instance detailsDefined in Data.Aeson.Types.Internal |
Eq DotNetTime | |
Instance detailsDefined in Data.Aeson.Types.Internal |
Eq SumEncoding | |
Instance detailsDefined in Data.Aeson.Types.Internal |
Eq Key | |
Instance detailsDefined in Data.Aeson.Key |
Eq ThreadId | Since: base-4.2.0.0 |
Instance detailsDefined in GHC.Conc.Sync |
Eq AsyncCancelled | |
Instance detailsDefined in Control.Concurrent.Async |
Eq Pos | |
Instance detailsDefined in Data.Attoparsec.Internal.Types |
Eq More | |
Instance detailsDefined in Data.Attoparsec.Internal.Types |
Eq Void | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Void |
Eq SpecConstrAnnotation | Since: base-4.3.0.0 |
Instance detailsDefined in GHC.Exts |
Eq Unique | |
Instance detailsDefined in Data.Unique |
Eq BlockReason | Since: base-4.3.0.0 |
Instance detailsDefined in GHC.Conc.Sync |
Eq ThreadStatus | Since: base-4.3.0.0 |
Instance detailsDefined in GHC.Conc.Sync |
Eq AsyncException | Since: base-4.2.0.0 |
Instance detailsDefined in GHC.IO.Exception |
Eq ArrayException | Since: base-4.2.0.0 |
Instance detailsDefined in GHC.IO.Exception |
Eq ExitCode | |
Instance detailsDefined in GHC.IO.Exception |
Eq IOErrorType | Since: base-4.1.0.0 |
Instance detailsDefined in GHC.IO.Exception |
Eq MaskingState | Since: base-4.3.0.0 |
Instance detailsDefined in GHC.IO |
Eq IOException | Since: base-4.1.0.0 |
Instance detailsDefined in GHC.IO.Exception |
Eq ErrorCall | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Exception |
Eq ArithException | Since: base-3.0 |
Instance detailsDefined in GHC.Exception.Type |
Eq All | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Eq Any | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Eq Fixity | Since: base-4.6.0.0 |
Instance detailsDefined in GHC.Generics |
Eq Associativity | Since: base-4.6.0.0 |
Instance detailsDefined in GHC.Generics |
Eq SourceUnpackedness | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq SourceStrictness | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq DecidedStrictness | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq SomeSymbol | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.TypeLits |
Eq CChar | |
Instance detailsDefined in Foreign.C.Types |
Eq CSChar | |
Instance detailsDefined in Foreign.C.Types |
Eq CUChar | |
Instance detailsDefined in Foreign.C.Types |
Eq CShort | |
Instance detailsDefined in Foreign.C.Types |
Eq CUShort | |
Instance detailsDefined in Foreign.C.Types |
Eq CInt | |
Instance detailsDefined in Foreign.C.Types |
Eq CUInt | |
Instance detailsDefined in Foreign.C.Types |
Eq CLong | |
Instance detailsDefined in Foreign.C.Types |
Eq CULong | |
Instance detailsDefined in Foreign.C.Types |
Eq CLLong | |
Instance detailsDefined in Foreign.C.Types |
Eq CULLong | |
Instance detailsDefined in Foreign.C.Types |
Eq CBool | |
Instance detailsDefined in Foreign.C.Types |
Eq CFloat | |
Instance detailsDefined in Foreign.C.Types |
Eq CDouble | |
Instance detailsDefined in Foreign.C.Types |
Eq CPtrdiff | |
Instance detailsDefined in Foreign.C.Types |
Eq CSize | |
Instance detailsDefined in Foreign.C.Types |
Eq CWchar | |
Instance detailsDefined in Foreign.C.Types |
Eq CSigAtomic | |
Instance detailsDefined in Foreign.C.Types |
Eq CClock | |
Instance detailsDefined in Foreign.C.Types |
Eq CTime | |
Instance detailsDefined in Foreign.C.Types |
Eq CUSeconds | |
Instance detailsDefined in Foreign.C.Types |
Eq CSUSeconds | |
Instance detailsDefined in Foreign.C.Types |
Eq CIntPtr | |
Instance detailsDefined in Foreign.C.Types |
Eq CUIntPtr | |
Instance detailsDefined in Foreign.C.Types |
Eq CIntMax | |
Instance detailsDefined in Foreign.C.Types |
Eq CUIntMax | |
Instance detailsDefined in Foreign.C.Types |
Eq WordPtr | |
Instance detailsDefined in Foreign.Ptr |
Eq IntPtr | |
Instance detailsDefined in Foreign.Ptr |
Eq Fingerprint | Since: base-4.4.0.0 |
Instance detailsDefined in GHC.Fingerprint.Type |
Eq GeneralCategory | Since: base-2.1 |
Instance detailsDefined in GHC.Unicode |
Eq SrcLoc | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Stack.Types |
Eq ShortByteString | |
Instance detailsDefined in Data.ByteString.Short.Internal |
Eq Clock | |
Instance detailsDefined in System.Clock |
Eq TimeSpec | |
Instance detailsDefined in System.Clock |
Eq IntSet | |
Instance detailsDefined in Data.IntSet.Internal |
Eq ByteArray | Since: primitive-0.6.3.0 |
Instance detailsDefined in Data.Primitive.ByteArray |
Eq Extension | |
Instance detailsDefined in GHC.LanguageExtensions.Type |
Eq ForeignSrcLang | |
Instance detailsDefined in GHC.ForeignSrcLang.Type |
Eq BigNat | |
Instance detailsDefined in GHC.Integer.Type |
Eq Flot | |
Instance detailsDefined in Language.Javascript.Flot |
Eq Doc | |
Instance detailsDefined in Text.PrettyPrint.HughesPJ |
Eq TextDetails | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
Eq Style | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
Eq Mode | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
Eq ModName | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq PkgName | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Module | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq OccName | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq NameFlavour | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq NameSpace | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Loc | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Info | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq ModuleInfo | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Fixity | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq FixityDirection | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Lit | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Bytes | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Body | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Guard | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Stmt | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Range | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq DerivClause | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq DerivStrategy | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq TypeFamilyHead | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq TySynEqn | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Foreign | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Callconv | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Safety | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Pragma | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Inline | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq RuleMatch | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Phases | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq RuleBndr | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq AnnTarget | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq SourceUnpackedness | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq SourceStrictness | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq DecidedStrictness | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Con | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Bang | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq PatSynDir | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq PatSynArgs | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq TyVarBndr | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq FamilyResultSig | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq TyLit | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq Role | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq AnnLookup | |
Instance detailsDefined in Language.Haskell.TH.Syntax |
Eq ShortText | |
Instance detailsDefined in Data.Text.Short.Internal |
Eq TimeLocale | |
Instance detailsDefined in Data.Time.Format.Locale |
Eq LocalTime | |
Instance detailsDefined in Data.Time.LocalTime.Internal.LocalTime |
Eq TimeOfDay | |
Instance detailsDefined in Data.Time.LocalTime.Internal.TimeOfDay |
Eq TimeZone | |
Instance detailsDefined in Data.Time.LocalTime.Internal.TimeZone |
Eq CalendarDiffTime | |
Instance detailsDefined in Data.Time.LocalTime.Internal.CalendarDiffTime |
Eq UniversalTime | |
Instance detailsDefined in Data.Time.Clock.Internal.UniversalTime |
Eq NominalDiffTime | |
Instance detailsDefined in Data.Time.Clock.Internal.NominalDiffTime |
Eq AbsoluteTime | |
Instance detailsDefined in Data.Time.Clock.Internal.AbsoluteTime |
Eq DiffTime | |
Instance detailsDefined in Data.Time.Clock.Internal.DiffTime |
Eq DayOfWeek | |
Instance detailsDefined in Data.Time.Calendar.Week |
Eq Day | |
Instance detailsDefined in Data.Time.Calendar.Days |
Eq CalendarDiffDays | |
Instance detailsDefined in Data.Time.Calendar.CalendarDiffDays |
Eq UnpackedUUID | |
Instance detailsDefined in Data.UUID.Types.Internal Methods (==) :: UnpackedUUID -> UnpackedUUID -> Bool # (/=) :: UnpackedUUID -> UnpackedUUID -> Bool # |
Eq UUID | |
Instance detailsDefined in Data.UUID.Types.Internal |
Eq Timeout | |
Instance detailsDefined in System.Time.Extra |
Eq B | |
Instance detailsDefined in Data.Text.Short.Internal |
Eq RunChanged Source # | |
Instance detailsDefined in Development.IDE.Graph.Internal.Types |
Eq RunMode Source # | |
Instance detailsDefined in Development.IDE.Graph.Internal.Types |
Eq Key Source # | |
Instance detailsDefined in Development.IDE.Graph.Internal.Types |
Eq Step Source # | |
Instance detailsDefined in Development.IDE.Graph.Internal.Types |
Eq a => Eq [a] | |
Instance detailsDefined in GHC.Classes |
Eq a => Eq (Maybe a) | Since: base-2.1 |
Instance detailsDefined in GHC.Maybe |
Eq a => Eq (Ratio a) | Since: base-2.1 |
Instance detailsDefined in GHC.Real |
Eq (Ptr a) | Since: base-2.1 |
Instance detailsDefined in GHC.Ptr |
Eq (FunPtr a) | |
Instance detailsDefined in GHC.Ptr |
Eq p => Eq (Par1 p) | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Generics |
Eq a => Eq (Solo a) | |
Instance detailsDefined in Data.Tuple.Solo |
Eq (Encoding' a) | |
Instance detailsDefined in Data.Aeson.Encoding.Internal |
Eq a => Eq (IResult a) | |
Instance detailsDefined in Data.Aeson.Types.Internal |
Eq a => Eq (Result a) | |
Instance detailsDefined in Data.Aeson.Types.Internal |
Eq v => Eq (KeyMap v) | |
Instance detailsDefined in Data.Aeson.KeyMap |
Eq (ForeignPtr a) | Since: base-2.1 |
Instance detailsDefined in GHC.ForeignPtr |
Eq (Async a) | |
Instance detailsDefined in Control.Concurrent.Async |
Eq a => Eq (Complex a) | Since: base-2.1 |
Instance detailsDefined in Data.Complex |
Eq a => Eq (Min a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Eq a => Eq (Max a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Eq a => Eq (First a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Eq a => Eq (Last a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Eq m => Eq (WrappedMonoid m) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Eq a => Eq (Option a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Eq (Chan a) | Since: base-4.4.0.0 |
Instance detailsDefined in Control.Concurrent.Chan |
Eq (StableName a) | Since: base-2.1 |
Instance detailsDefined in GHC.StableName |
Eq a => Eq (ZipList a) | Since: base-4.7.0.0 |
Instance detailsDefined in Control.Applicative |
Eq a => Eq (Identity a) | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Functor.Identity |
Eq (TVar a) | Since: base-4.8.0.0 |
Instance detailsDefined in GHC.Conc.Sync |
Eq (IORef a) | Pointer equality. Since: base-4.0.0.0 |
Instance detailsDefined in GHC.IORef |
Eq a => Eq (First a) | Since: base-2.1 |
Instance detailsDefined in Data.Monoid |
Eq a => Eq (Last a) | Since: base-2.1 |
Instance detailsDefined in Data.Monoid |
Eq a => Eq (Dual a) | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Eq a => Eq (Sum a) | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Eq a => Eq (Product a) | Since: base-2.1 |
Instance detailsDefined in Data.Semigroup.Internal |
Eq a => Eq (Down a) | Since: base-4.6.0.0 |
Instance detailsDefined in Data.Ord |
Eq (MVar a) | Since: base-4.1.0.0 |
Instance detailsDefined in GHC.MVar |
Eq a => Eq (NonEmpty a) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Base |
Eq a => Eq (IntMap a) | |
Instance detailsDefined in Data.IntMap.Internal |
Eq a => Eq (Tree a) | |
Instance detailsDefined in Data.Tree |
Eq a => Eq (Seq a) | |
Instance detailsDefined in Data.Sequence.Internal |
Eq a => Eq (ViewL a) | |
Instance detailsDefined in Data.Sequence.Internal |
Eq a => Eq (ViewR a) | |
Instance detailsDefined in Data.Sequence.Internal |
Eq a => Eq (Set a) | |
Instance detailsDefined in Data.Set.Internal |
Eq1 f => Eq (Fix f) | |
Instance detailsDefined in Data.Fix |
(Functor f, Eq1 f) => Eq (Mu f) | |
Instance detailsDefined in Data.Fix |
(Functor f, Eq1 f) => Eq (Nu f) | |
Instance detailsDefined in Data.Fix |
Eq a => Eq (Array a) | |
Instance detailsDefined in Data.Primitive.Array |
Eq a => Eq (SmallArray a) | |
Instance detailsDefined in Data.Primitive.SmallArray |
Eq (MutableByteArray s) | |
Instance detailsDefined in Data.Primitive.ByteArray |
(Eq a, Prim a) => Eq (PrimArray a) | Since: primitive-0.6.4.0 |
Instance detailsDefined in Data.Primitive.PrimArray |
Eq a => Eq (DNonEmpty a) | |
Instance detailsDefined in Data.DList.DNonEmpty.Internal |
Eq a => Eq (DList a) | |
Instance detailsDefined in Data.DList.Internal |
Eq a => Eq (Change a) | |
Instance detailsDefined in Focus |
Eq a => Eq (Hashed a) | Uses precomputed hash to detect inequality faster |
Instance detailsDefined in Data.Hashable.Class |
Eq (Doc a) | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
Eq a => Eq (AnnotDetails a) | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
Eq a => Eq (Span a) | |
Instance detailsDefined in Text.PrettyPrint.Annotated.HughesPJ |
(Eq a, PrimUnlifted a) => Eq (UnliftedArray a) | |
Instance detailsDefined in Data.Primitive.Unlifted.Array |
Eq g => Eq (AtomicGen g) | |
Instance detailsDefined in System.Random.Stateful |
Eq g => Eq (IOGen g) | |
Instance detailsDefined in System.Random.Stateful |
Eq g => Eq (STGen g) | |
Instance detailsDefined in System.Random.Stateful |
Eq g => Eq (TGen g) | |
Instance detailsDefined in System.Random.Stateful |
Eq g => Eq (StateGen g) | |
Instance detailsDefined in System.Random.Internal |
Eq (TQueue a) | |
Instance detailsDefined in Control.Concurrent.STM.TQueue |
Eq (TMVar a) | |
Instance detailsDefined in Control.Concurrent.STM.TMVar |
Eq (TChan a) | |
Instance detailsDefined in Control.Concurrent.STM.TChan |
Eq (TBQueue a) | |
Instance detailsDefined in Control.Concurrent.STM.TBQueue |
Eq a => Eq (Maybe a) | |
Instance detailsDefined in Data.Strict.Maybe |
Eq a => Eq (HashSet a) | Note that, in the presence of hash collisions, equal HashSet s may
behave differently, i.e. substitutivity may be violated: >>> data D = A | B deriving (Eq, Show)
>>> instance Hashable D where hashWithSalt salt _d = salt
>>> x = fromList [A, B]
>>> y = fromList [B, A]
>>> x == y
True
>>> toList x
[A,B]
>>> toList y
[B,A]
In general, the lack of substitutivity can be observed with any function
that depends on the key ordering, such as folds and traversals. |
Instance detailsDefined in Data.HashSet.Internal |
(Storable a, Eq a) => Eq (Vector a) | |
Instance detailsDefined in Data.Vector.Storable |
(Prim a, Eq a) => Eq (Vector a) | |
Instance detailsDefined in Data.Vector.Primitive |
Eq a => Eq (Vector a) | |
Instance detailsDefined in Data.Vector |
(Eq a, Eq b) => Eq (Either a b) | Since: base-2.1 |
Instance detailsDefined in Data.Either |
Eq (V1 p) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (U1 p) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (TypeRep a) | Since: base-2.1 |
Instance detailsDefined in Data.Typeable.Internal |
(Eq a, Eq b) => Eq (a, b) | |
Instance detailsDefined in GHC.Classes |
(Eq k, Eq a) => Eq (Map k a) | |
Instance detailsDefined in Data.Map.Internal |
(Eq k, Eq v) => Eq (HashMap k v) | Note that, in the presence of hash collisions, equal HashMap s may
behave differently, i.e. substitutivity may be violated: >>> data D = A | B deriving (Eq, Show)
>>> instance Hashable D where hashWithSalt salt _d = salt
>>> x = fromList [(A,1), (B,2)]
>>> y = fromList [(B,2), (A,1)]
>>> x == y
True
>>> toList x
[(A,1),(B,2)]
>>> toList y
[(B,2),(A,1)]
In general, the lack of substitutivity can be observed with any function
that depends on the key ordering, such as folds and traversals. |
Instance detailsDefined in Data.HashMap.Internal |
(Ix i, Eq e) => Eq (Array i e) | Since: base-2.1 |
Instance detailsDefined in GHC.Arr |
Eq (Fixed a) | Since: base-2.1 |
Instance detailsDefined in Data.Fixed |
Eq a => Eq (Arg a b) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Semigroup |
Eq (Proxy s) | Since: base-4.7.0.0 |
Instance detailsDefined in Data.Proxy |
Eq (STRef s a) | Pointer equality. Since: base-2.1 |
Instance detailsDefined in GHC.STRef |
Eq (MutableArray s a) | |
Instance detailsDefined in Data.Primitive.Array |
Eq (SmallMutableArray s a) | |
Instance detailsDefined in Data.Primitive.SmallArray |
Eq (MutablePrimArray s a) | |
Instance detailsDefined in Data.Primitive.PrimArray |
Eq (m (Maybe (a, ListT m a))) => Eq (ListT m a) | |
Instance detailsDefined in ListT |
Eq (MutableUnliftedArray s a) | |
Instance detailsDefined in Data.Primitive.Unlifted.Array |
(Eq a, Eq b) => Eq (These a b) | |
Instance detailsDefined in Data.These |
Ix i => Eq (TArray i e) | |
Instance detailsDefined in Control.Concurrent.STM.TArray |
(Eq a, Eq b) => Eq (Product2 a b) | |
Instance detailsDefined in StmContainers.Prelude Methods (==) :: Product2 a b -> Product2 a b -> Bool # (/=) :: Product2 a b -> Product2 a b -> Bool # |
(Eq a, Eq b) => Eq (Pair a b) | |
Instance detailsDefined in Data.Strict.Tuple |
(Eq a, Eq b) => Eq (These a b) | |
Instance detailsDefined in Data.Strict.These |
(Eq a, Eq b) => Eq (Either a b) | |
Instance detailsDefined in Data.Strict.Either |
(Eq k, Eq v) => Eq (Leaf k v) | |
Instance detailsDefined in Data.HashMap.Internal |
Eq (f p) => Eq (Rec1 f p) | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (URec (Ptr ()) p) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (URec Char p) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (URec Double p) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (URec Float p) | |
Instance detailsDefined in GHC.Generics |
Eq (URec Int p) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (URec Word p) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Generics |
(Eq a, Eq b, Eq c) => Eq (a, b, c) | |
Instance detailsDefined in GHC.Classes |
Eq (STArray s i e) | Since: base-2.1 |
Instance detailsDefined in GHC.Arr |
Eq a => Eq (Const a b) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Const |
Eq (f a) => Eq (Ap f a) | Since: base-4.12.0.0 |
Instance detailsDefined in Data.Monoid |
Eq (f a) => Eq (Alt f a) | Since: base-4.8.0.0 |
Instance detailsDefined in Data.Semigroup.Internal |
Eq (a :~: b) | Since: base-4.7.0.0 |
Instance detailsDefined in Data.Type.Equality |
Eq (p a a) => Eq (Join p a) | |
Instance detailsDefined in Data.Bifunctor.Join |
(Eq e, Eq1 m, Eq a) => Eq (ErrorT e m a) | |
Instance detailsDefined in Control.Monad.Trans.Error |
Eq b => Eq (Tagged s b) | |
Instance detailsDefined in Data.Tagged |
(Eq1 f, Eq1 g, Eq a) => Eq (These1 f g a) | |
Instance detailsDefined in Data.Functor.These |
Eq c => Eq (K1 i c p) | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Generics |
(Eq (f p), Eq (g p)) => Eq ((f :+: g) p) | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Generics |
(Eq (f p), Eq (g p)) => Eq ((f :*: g) p) | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Generics |
(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 # |
(Eq1 f, Eq1 g, Eq a) => Eq (Product f g a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Product |
(Eq1 f, Eq1 g, Eq a) => Eq (Sum f g a) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Sum |
Eq (a :~~: b) | Since: base-4.10.0.0 |
Instance detailsDefined in Data.Type.Equality |
Eq (f p) => Eq (M1 i c f p) | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Generics |
Eq (f (g p)) => Eq ((f :.: g) p) | Since: base-4.7.0.0 |
Instance detailsDefined in GHC.Generics |
(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) | Since: base-4.9.0.0 |
Instance detailsDefined in Data.Functor.Compose |
Eq (p a b) => Eq (WrappedBifunctor p a b) | |
Instance detailsDefined in Data.Bifunctor.Wrapped |
Eq (g b) => Eq (Joker g a b) | |
Instance detailsDefined in Data.Bifunctor.Joker |
Eq (p b a) => Eq (Flip p a b) | |
Instance detailsDefined in Data.Bifunctor.Flip |
Eq (f a) => Eq (Clown f a b) | |
Instance detailsDefined in Data.Bifunctor.Clown |
(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 (p a b), Eq (q a b)) => Eq (Sum p q a b) | |
Instance detailsDefined in Data.Bifunctor.Sum |
(Eq (f a b), Eq (g a b)) => Eq (Product f g a b) | |
Instance detailsDefined in Data.Bifunctor.Product |
(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 (f (p a b)) => Eq (Tannen f p a b) | |
Instance detailsDefined in Data.Bifunctor.Tannen |
(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 (p (f a) (g b)) => Eq (Biff p f g a b) | |
Instance detailsDefined in Data.Bifunctor.Biff |
(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 # |