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 Void | Since: base-4.8.0.0 |
Instance detailsDefined in GHC.Base |
Eq MaskingState | Since: base-4.3.0.0 |
Instance detailsDefined in GHC.IO |
Eq ArrayException | Since: base-4.2.0.0 |
Instance detailsDefined in GHC.IO.Exception |
Eq AsyncException | 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 IOException | Since: base-4.1.0.0 |
Instance detailsDefined in GHC.IO.Exception |
Eq Module | |
Instance detailsDefined in GHC.Classes |
Eq Ordering | |
Instance detailsDefined in GHC.Classes |
Eq TrName | |
Instance detailsDefined in GHC.Classes |
Eq TyCon | |
Instance detailsDefined in GHC.Classes |
Eq Integer | |
Instance detailsDefined in GHC.Num.Integer |
Eq () | |
Instance detailsDefined in GHC.Classes |
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 extensionality: >>> 0 == (-0 :: Float)
True
>>> recip 0 == recip (-0 :: Float)
False
|
Instance detailsDefined in GHC.Classes |
Eq Int | |
Instance detailsDefined in GHC.Classes |
Eq Word | |
Instance detailsDefined in GHC.Classes |
Eq a => Eq (ZipList a) | Since: base-4.7.0.0 |
Instance detailsDefined in Control.Applicative |
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 |
(Finite a, Eq a) => Eq (Endo a) Source # | |
Instance detailsDefined in Data.Universe.Instances.Eq |
Eq a => Eq (Product 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 (NonEmpty a) | Since: base-4.9.0.0 |
Instance detailsDefined in GHC.Base |
Eq a => Eq (Ratio a) | Since: base-2.1 |
Instance detailsDefined in GHC.Real |
Eq a => Eq (Intersection a) | |
Instance detailsDefined in Data.Set.Internal |
Eq a => Eq (Set a) | |
Instance detailsDefined in Data.Set.Internal |
Eq a => Eq (Maybe a) | Since: base-2.1 |
Instance detailsDefined in GHC.Maybe |
Eq a => Eq (a) | |
Instance detailsDefined in GHC.Classes |
Eq a => Eq [a] | |
Instance detailsDefined in GHC.Classes |
(Eq a, Eq b) => Eq (Either a b) | Since: base-2.1 |
Instance detailsDefined in Data.Either |
(Eq k, Eq a) => Eq (Map k a) | |
Instance detailsDefined in Data.Map.Internal |
(Eq a, Eq b) => Eq (a, b) | |
Instance detailsDefined in GHC.Classes |
(Finite a, Eq b) => Eq (a -> b) Source # | |
Instance detailsDefined in Data.Universe.Instances.Eq |
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, Eq b, Eq c) => Eq (a, b, c) | |
Instance detailsDefined in GHC.Classes |
(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d) -> (a, b, c, d) -> Bool # (/=) :: (a, b, c, d) -> (a, b, c, d) -> Bool # |
(Eq a, 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 # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool # (/=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool # (/=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (a, b, c, d, e, f, g, h) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool # (/=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (a, b, c, d, e, f, g, h, i) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool # (/=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (a, b, c, d, e, f, g, h, i, j) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool # (/=) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool # (/=) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (a, b, c, d, e, f, g, h, i, j, k, l) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool # (/=) :: (a, b, c, d, e, f, g, h, i, j, k, l) -> (a, b, c, d, e, f, g, h, i, j, k, l) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool # (/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool # (/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool # |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) | |
Instance detailsDefined in GHC.Classes Methods (==) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool # (/=) :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool # |