Data.Eq
| Авторские права | (c) Университет Глазго 2005 |
|---|---|
| Лицензия | BSD-стиль (см. файл libraries/base/LICENSE) |
| Поддержка | libraries@haskell.org |
| Стабильность | стабильная |
| Переносимость | переносимая |
| Safe Haskell | Safe |
| Язык | Haskell2010 |
Описание
Равенство
class Eq a where Исходный код
Класс Eq определяет равенство (==) и неравенство (/=). Все базовые типы данных, экспортируемые Prelude, являются экземплярами Eq, и Eq может быть выведено для любого типа данных, составные части которого также являются экземплярами Eq.
Отчет Haskell не определяет законов для Eq. Тем не менее, экземпляры рекомендуются следовать этим свойствам:
Экземпляры
| Eq ByteArray Источник | С версии: base-4.17.0.0 |
| Eq Timeout Источник | |
| Eq BigNat | |
| Eq Void Источник | С версии: base-4.8.0.0 |
| Eq ByteOrder Источник | С версии: base-4.11.0.0 |
| Eq ClosureType Источник | |
Определено в GHC.Internal.ClosureTypes Методы(==) :: ClosureType -> ClosureType -> Bool Источник (/=) :: ClosureType -> ClosureType -> Bool Источник | |
| Eq BlockReason Источник | С версии: base-4.3.0.0 |
Определено в GHC.Internal.Conc.Sync Методы(==) :: BlockReason -> BlockReason -> Bool Источник (/=) :: BlockReason -> BlockReason -> Bool Источник | |
| Eq ThreadId Источник | С версии: base-4.2.0.0 |
| Eq ThreadStatus Source | С версии: base-4.3.0.0 |
Определено в GHC.Internal.Conc.Sync Методы(==) :: ThreadStatus -> ThreadStatus -> Bool Source (/=) :: ThreadStatus -> ThreadStatus -> Bool Source | |
| Eq Constr Source |
Равенство конструкторов С версии: base-4.0.0.0 |
| Eq ConstrRep Source | С версии: base-4.0.0.0 |
| Eq DataRep Source | С версии: base-4.0.0.0 |
| Eq Fixity Source | С версии: base-4.0.0.0 |
| Eq All Source | С версии: base-2.1 |
| Eq Any Source | С версии: base-2.1 |
| Eq SomeTypeRep Источник | |
Определено в GHC.Internal.Data.Typeable.Internal Методы(==) :: SomeTypeRep -> SomeTypeRep -> Bool Источник (/=) :: SomeTypeRep -> SomeTypeRep -> Bool Источник | |
| Eq Unique Источник | |
| Eq Version Источник | С момента: base-2.1 |
| Eq ControlMessage Источник | С момента: base-4.4.0.0 |
| Eq Event Источник | С момента: base-4.4.0.0 |
| Eq EventLifetime Источник | С момента: base-4.8.0.0 |
| Eq Lifetime Источник | С момента: base-4.8.1.0 |
| Eq FdKey Источник | С момента: base-4.4.0.0 |
| Eq State Источник | С момента: base-4.4.0.0 |
| Eq TimeoutKey Источник | |
Определено в GHC.Internal.Event.TimeOut Методы(==) :: TimeoutKey -> TimeoutKey -> Bool Источник (/=) :: TimeoutKey -> TimeoutKey -> Bool Источник | |
| Eq State Источник | С момента: base-4.7.0.0 |
| Eq Unique Источник | С момента: base-4.4.0.0 |
| Eq ErrorCall Источник | С момента: base-4.7.0.0 |
| Eq ArithException Источник | С момента: base-3.0 |
Определено в GHC.Internal.Exception.Type Методы(==) :: ArithException -> ArithException -> Bool Источник (/=) :: ArithException -> ArithException -> Bool Источник | |
| Eq SpecConstrAnnotation Источник | С момента: base-4.3.0.0 |
Определено в GHC.Internal.Exts Методы(==) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool Источник (/=) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool Источник | |
| Eq Fingerprint Источник | С момента: base-4.4.0.0 |
Определено в GHC.Internal.Fingerprint.Type Методы(==) :: Fingerprint -> Fingerprint -> Bool Источник (/=) :: Fingerprint -> Fingerprint -> Bool Источник | |
| Eq Errno Источник | С версии: base-2.1 |
| Eq CBool Источник | |
| Eq CChar Источник | |
| Eq CClock Источник | |
| Eq CDouble Источник | |
| Eq CFloat Источник | |
| Eq CInt Источник | |
Определено в GHC.Internal.Foreign.C.Types Методы(==) :: CSUSeconds -> CSUSeconds -> Bool Источник (/=) :: CSUSeconds -> CSUSeconds -> Bool Источник | |
| Eq CShort Источник | |
| Eq CSigAtomic Источник | |
Определено в GHC.Internal.Foreign.C.Types Методы(==) :: CSigAtomic -> CSigAtomic -> Bool Источник (/=) :: CSigAtomic -> CSigAtomic -> Bool Источник | |
| Eq CSize Источник | |
| Eq CTime Источник | |
| Eq CUChar Источник | |
| Eq CUInt Источник | |
| Eq CUIntMax Источник | |
Определено в GHC.Internal.Foreign.C.Types Методы(==) :: CUIntMax -> CUIntMax -> Bool Исходный код (/=) :: CUIntMax -> CUIntMax -> Bool Исходный код | |
| Eq CUIntPtr Исходный код | |
Определено в GHC.Internal.Foreign.C.Types Методы(==) :: CUIntPtr -> CUIntPtr -> Bool Исходный код (/=) :: CUIntPtr -> CUIntPtr -> Bool Исходный код | |
| Eq CULLong Исходный код | |
Определено в GHC.Internal.Foreign.C.Types Методы(==) :: CULLong -> CULLong -> Bool Исходный код (/=) :: CULLong -> CULLong -> Bool Исходный код | |
| Eq CULong Исходный код | |
Определено в GHC.Internal.Foreign.C.Types | |
| Eq CUSeconds Исходный код | |
Определено в GHC.Internal.Foreign.C.Types Методы(==) :: CUSeconds -> CUSeconds -> Bool Исходный код (/=) :: CUSeconds -> CUSeconds -> Bool Исходный код | |
| Eq CUShort Исходный код | |
Определено в GHC.Internal.Foreign.C.Types Методы(==) :: CUShort -> CUShort -> Bool Исходный код (/=) :: CUShort -> CUShort -> Bool Исходный код | |
| Eq CWchar Исходный код | |
Определено в GHC.Internal.Foreign.C.Types | |
| Eq IntPtr Исходный код | |
| Eq Int8 Source | Since: base-2.1 |
| Eq Extension Source | |
| Eq IoManagerFlag Source | |
Определено в GHC.Internal.RTS.Flags Методы(==) :: IoManagerFlag -> IoManagerFlag -> Bool Source (/=) :: IoManagerFlag -> IoManagerFlag -> Bool Source | |
| Eq StackEntry Source | |
Определено в GHC.Internal.Stack.CloneStack Методы(==) :: StackEntry -> StackEntry -> Bool Source (/=) :: StackEntry -> StackEntry -> Bool Source | |
| Eq SrcLoc Source | Since: base-4.9.0.0 |
| Eq CBlkCnt Source | |
| Eq CBlkSize Source | |
| Eq Con Source | |
| Eq Dec Source | |
| Eq DecidedStrictness Source | |
Определено в GHC.Internal.TH.Syntax Methods(==) :: DecidedStrictness -> DecidedStrictness -> Bool Source (/=) :: DecidedStrictness -> DecidedStrictness -> Bool Source | |
| Eq DerivClause Source | |
Определено в GHC.Internal.TH.Syntax Methods(==) :: DerivClause -> DerivClause -> Bool Source (/=) :: DerivClause -> DerivClause -> Bool Source | |
| Eq DerivStrategy Source | |
Определено в GHC.Internal.TH.Syntax Methods(==) :: DerivStrategy -> DerivStrategy -> Bool Source (/=) :: DerivStrategy -> DerivStrategy -> Bool Source | |
| Eq DocLoc Source | |
| Eq Exp Source | |
| Eq FamilyResultSig Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: FamilyResultSig -> FamilyResultSig -> Bool Source (/=) :: FamilyResultSig -> FamilyResultSig -> Bool Source | |
| Eq Fixity Source | |
| Eq FixityDirection Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: FixityDirection -> FixityDirection -> Bool Source (/=) :: FixityDirection -> FixityDirection -> Bool Source | |
| Eq Foreign Source | |
| Eq FunDep Source | |
| Eq Guard Source | |
| Eq Info Source | |
| Eq InjectivityAnn Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: InjectivityAnn -> InjectivityAnn -> Bool Source (/=) :: InjectivityAnn -> InjectivityAnn -> Bool Source | |
| Eq Inline Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: ModuleInfo -> ModuleInfo -> Bool Source (/=) :: ModuleInfo -> ModuleInfo -> Bool Source | |
| Eq Name Source | |
| Eq NameFlavour Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: NameFlavour -> NameFlavour -> Bool Source (/=) :: NameFlavour -> NameFlavour -> Bool Source | |
| Eq NameSpace Source | |
| Eq NamespaceSpecifier Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: NamespaceSpecifier -> NamespaceSpecifier -> Bool Source (/=) :: NamespaceSpecifier -> NamespaceSpecifier -> Bool Source | |
| Eq OccName Source | |
| Eq Overlap Source | |
| Eq Pat Source | |
| Eq PatSynArgs Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: PatSynArgs -> PatSynArgs -> Bool Source (/=) :: PatSynArgs -> PatSynArgs -> Bool Source | |
| Eq PatSynDir Source | |
| Eq Phases Source | |
| Eq Safety Source | |
| Eq SourceStrictness Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: SourceStrictness -> SourceStrictness -> Bool Source (/=) :: SourceStrictness -> SourceStrictness -> Bool Source | |
| Eq SourceUnpackedness Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source | |
| Eq Specificity Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: Specificity -> Specificity -> Bool Source (/=) :: Specificity -> Specificity -> Bool Source | |
| Eq Stmt Source | |
| Eq TyLit Source | |
| Eq TySynEqn Source | |
| Eq Type Source | |
| Eq TypeFamilyHead Source | |
Определено в GHC.Internal.TH.Syntax Методы(==) :: TypeFamilyHead -> TypeFamilyHead -> Bool Source (/=) :: TypeFamilyHead -> TypeFamilyHead -> Bool Source | |
| Eq Lexeme Source | Since: base-2.1 |
| Eq Number Source | Since: base-4.6.0.0 |
| Eq SomeChar Source | |
| Eq SomeSymbol Source | Since: base-4.7.0.0 |
Определено в GHC.Internal.TypeLits Методы(==) :: SomeSymbol -> SomeSymbol -> Bool Source (/=) :: SomeSymbol -> SomeSymbol -> Bool Source | |
| Eq SomeNat Source | Since: base-4.7.0.0 |
| Eq GeneralCategory Source | Since: base-2.1 |
Определено в GHC.Internal.Unicode Методы(==) :: GeneralCategory -> GeneralCategory -> Bool Source (/=) :: GeneralCategory -> GeneralCategory -> Bool Source | |
| Eq Word16 Source | Since: base-2.1 |
| Eq Word32 Source | Since: base-2.1 |
| Eq Word64 Source | Since: base-2.1 |
Определено в GHC.Classes Методы(==) :: Булево -> Булево -> Булево Исходный код (/=) :: Булево -> Булево -> Булево Исходный код | |
| Eq Символ Исходный код | |
Определено в GHC.Classes Методы(==) :: Символ -> Символ -> Булево Исходный код (/=) :: Символ -> Символ -> Булево Исходный код | |
| Eq Двойное Исходный код |
Обратите внимание, что из-за наличия >>> 0/0 == (0/0 :: Double) False Также обратите внимание, что экземпляр >>> 0 == (-0 :: Double) True >>> recip 0 == recip (-0 :: Double) False |
Определено в GHC.Classes Методы(==) :: Двойное -> Двойное -> Булево Исходный код (/=) :: Двойное -> Двойное -> Булево Исходный код | |
| Eq Число с плавающей точкой Исходный код |
Обратите внимание, что из-за наличия >>> 0/0 == (0/0 :: Float) False Также обратите внимание, что экземпляр >>> 0 == (-0 :: Float) True >>> recip 0 == recip (-0 :: Float) False |
Определено в GHC.Classes | |
| Eq Целое Исходный код | |
Определено в GHC.Classes | |
| Eq Слово Исходный код | |
Определено в GHC.Classes | |
| Eq (Канал a) Исходный код | С: base-4.4.0.0 |
Определено в Control.Concurrent.Chan Методы(==) :: Канал a -> Канал a -> Булево Исходный код (/=) :: Канал a -> Канал a -> Булево Исходный код | |
| Eq (Изменяемый массив байтов s) Исходный код | С: base-4.17.0.0 |
Определено в Data.Array.Byte Методы(==) :: Изменяемый массив байтов s -> Изменяемый массив байтов s -> Булево Исходный код (/=) :: Изменяемый массив байтов s -> Изменяемый массив байтов s -> Булево Исходный код | |
| Eq a => Eq (Complex a) Source | Since: base-2.1 |
| Eq a => Eq (First a) Source | Since: base-4.9.0.0 |
| Eq a => Eq (Last a) Source | Since: base-4.9.0.0 |
| Eq a => Eq (Max a) Source | Since: base-4.9.0.0 |
| Eq a => Eq (Min a) Source | Since: base-4.9.0.0 |
| Eq m => Eq (WrappedMonoid m) Source | Since: base-4.9.0.0 |
Defined in Data.Semigroup Methods(==) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source (/=) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source | |
| Eq a => Eq (NonEmpty a) Source | Since: base-4.9.0.0 |
| Eq (TVar a) Source | Since: base-4.8.0.0 |
| Eq a => Eq (And a) Source | Since: base-4.16 |
| Eq a => Eq (Iff a) Source | Since: base-4.16 |
| Eq a => Eq (Ior a) Source | Since: base-4.16 |
| Eq a => Eq (Xor a) Source | Since: base-4.16 |
| Eq a => Eq (Identity a) Source | Since: base-4.8.0.0 |
| Eq a => Eq (First a) Source | Since: base-2.1 |
| Eq a => Eq (Last a) Source | Since: base-2.1 |
| Eq a => Eq (Down a) Source | С версии: base-4.6.0.0 |
| Eq a => Eq (Dual a) Source | С версии: base-2.1 |
| Eq a => Eq (Product a) Source | С версии: base-2.1 |
| Eq a => Eq (Sum a) Source | С версии: base-2.1 |
| Eq (ConstPtr a) Source | |
| Eq (ForeignPtr a) Source | С версии: base-2.1 |
Определено в GHC.Internal.ForeignPtr Краткое описание методов(==) :: ForeignPtr a -> ForeignPtr a -> Bool Source (/=) :: ForeignPtr a -> ForeignPtr a -> Bool Source | |
| Eq a => Eq (ZipList a) Source | С версии: base-4.7.0.0 |
| Eq a => Eq (Solo a) Источник | |
| Eq a => Eq [a] Источник | |
| Eq (Fixed a) Источник | С: base-2.1 |
| Eq a => Eq (Arg a b) Источник |
Обратите внимание, что экземпляр >>> Arg 0 0 == Arg 0 1 True >>> let f (Arg _ x) = x in f (Arg 0 0) == f (Arg 0 1) False С: base-4.9.0.0 |
| (Ix i, Eq e) => Eq (Array i e) Источник | С: base-2.1 |
| (Eq a, Eq b) => Eq (Either a b) Источник | С: base-2.1 |
| Eq (Proxy s) Источник | С: base-4.7.0.0 |
| Eq (TypeRep a) Source | Since: base-2.1 |
| Eq (U1 p) Source | Since: base-4.9.0.0 |
| Eq (V1 p) Source | Since: base-4.9.0.0 |
| Eq (IOArray i e) Source | Since: base-4.1.0.0 |
| Eq (STRef s a) Source |
Равенство указателей. Since: base-2.1 |
| (Eq a, Eq b) => Eq (a, b) Source | |
| Eq (STArray s i e) Source | Since: base-2.1 |
| Eq a => Eq (Const a b) Source | Since: base-4.9.0.0 |
| Eq (f a) => Eq (Ap f a) Источник | С версии: base-4.12.0.0 |
| Eq (f a) => Eq (Alt f a) Источник | С версии: base-4.8.0.0 |
| Eq (Coercion a b) Источник | С версии: base-4.7.0.0 |
| Eq (a :~: b) Источник | С версии: base-4.7.0.0 |
| Eq (OrderingI a b) Источник | |
| (Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a) Источник | С версии: base-4.18.0.0 |
Определено в GHC.Internal.Generics Методы(==) :: Generically1 f a -> Generically1 f a -> Bool Источник (/=) :: Generically1 f a -> Generically1 f a -> Bool Источник | |
| Eq (f p) => Eq (Rec1 f p) Источник | С версии: base-4.7.0.0 |
| (Eq a, Eq b, Eq c) => Eq (a, b, c) Источник | |
| (Eq (f a), Eq (g a)) => Eq (Product f g a) Источник | С версии: base-4.18.0.0 |
| (Eq (f a), Eq (g a)) => Eq (Sum f g a) Источник | С версии: base-4.18.0.0 |
| Eq (a :~~: b) Источник | С версии: base-4.10.0.0 |
| (Eq (f p), Eq (g p)) => Eq ((f :*: g) p) Источник | С версии: base-4.7.0.0 |
| (Eq (f p), Eq (g p)) => Eq ((f :+: g) p) Источник | С версии: base-4.7.0.0 |
| Eq c => Eq (K1 i c p) Источник | С версии: base-4.7.0.0 |
| (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) Источник | |
| Eq (f (g a)) => Eq (Compose f g a) Источник | С версии: base-4.18.0.0 |
| Eq (f (g p)) => Eq ((f :.: g) p) Источник | С версии: base-4.7.0.0 |
| Eq (f p) => Eq (M1 i c f p) Источник | С версии: base-4.7.0.0 |
| (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e) Источник | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f) Источник | |
| (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g) Источник | |
| (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) 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) 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) 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) 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) 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) Source | |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Eq.html