Data.Eq — Haskell 7 | Spec-Zone.ru

Авторские права	(c) Университет Глазго 2005
Лицензия	BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка	libraries@haskell.org
Устойчивость	стабильная
Переносимость	переносимая
Safe Haskell	Надёжная
Язык	Haskell2010

Описание

Равенство

class Eq a where Источник

Класс Eq определяет равенство (==) и неравенство (/=). Все базовые типы данных, экспортируемые модулем Prelude, являются экземплярами Eq, и Eq может быть выведено для любого типа данных, составные части которого также являются экземплярами Eq.

Минимальное полное определение: либо == или /=.

Минимальное полное определение

(==) | (/=)

Методы

(==) :: a -> a -> Bool infix 4 Источник

(/=) :: a -> a -> Bool infix 4 Источник

Экземпляры

Eq Bool
Eq Char
Eq Double
Eq Float
Eq Int
Eq Int8
Eq Int16
Eq Int32
Eq Int64
Eq Integer
Eq Ordering
Eq Word
Eq Word8
Eq Word16
Eq Word32
Eq Word64
Eq CallStack
Eq TypeRep
Eq ()
Eq BigNat
Eq Number
Eq Lexeme
Eq GeneralCategory
Eq Fingerprint
Eq TyCon
Eq Associativity
Eq Fixity
Eq Arity
Eq Any
Eq All
Eq ArithException
Eq ErrorCall
Eq IOException
Eq MaskingState
Eq CUIntMax
Eq CIntMax
Eq CUIntPtr
Eq CIntPtr
Eq CSUSeconds
Eq CUSeconds
Eq CTime
Eq CClock
Eq CSigAtomic
Eq CWchar
Eq CSize
Eq CPtrdiff
Eq CDouble
Eq CFloat
Eq CULLong
Eq CLLong
Eq CULong
Eq CLong
Eq CUInt
Eq CInt
Eq CUShort
Eq CShort
Eq CUChar
Eq CSChar
Eq CChar
Eq IntPtr
Eq WordPtr
Eq BufferState
Eq CodingProgress
Eq SeekMode
Eq IODeviceType
Eq NewlineMode
Eq Newline
Eq BufferMode
Eq Handle
Eq IOErrorType
Eq ExitCode
Eq ArrayException
Eq AsyncException
Eq Errno

Eq Fd
Eq CRLim
Eq CTcflag
Eq CSpeed
Eq CCc
Eq CUid
Eq CNlink
Eq CGid
Eq CSsize
Eq CPid
Eq COff
Eq CMode
Eq CIno
Eq CDev
Eq ThreadStatus
Eq BlockReason
Eq ThreadId
Eq IOMode
Eq Lifetime
Eq Event
Eq FdKey
Eq TimeoutKey
Eq HandlePosn
Eq Version
Eq Fixity
Eq ConstrRep
Eq DataRep
Eq Constr	Равенство конструкторов
Eq Natural
Eq SomeSymbol
Eq SomeNat
Eq SrcLoc
Eq SpecConstrAnnotation
Eq Unique
Eq Void
Eq a => Eq [a]
Eq a => Eq (Ratio a)
Eq (StablePtr a)
Eq (Ptr a)
Eq (FunPtr a)
Eq (U1 p)
Eq p => Eq (Par1 p)
Eq a => Eq (Maybe a)
Eq a => Eq (Down a)
Eq a => Eq (Last a)
Eq a => Eq (First a)
Eq a => Eq (Product a)
Eq a => Eq (Sum a)
Eq a => Eq (Dual a)
Eq (MVar a)
Eq (IORef a)
Eq (ForeignPtr a)
Eq (TVar a)
Eq a => Eq (ZipList a)
Eq (Chan a)
Eq a => Eq (Complex a)
Eq (Fixed a)
Eq a => Eq (Identity a)
Eq (StableName a)
(Eq a, Eq b) => Eq (Either a b)
Eq (f p) => Eq (Rec1 f p)
(Eq a, Eq b) => Eq (a, b)
Eq (STRef s a)
Eq (Proxy k s)
Eq a => Eq (Const a b)
Eq c => Eq (K1 i c p)
(Eq (f p), Eq (g p)) => Eq ((:+:) f g p)
(Eq (f p), Eq (g p)) => Eq ((:*:) f g p)
Eq (f (g p)) => Eq ((:.:) f g p)
(Eq a, Eq b, Eq c) => Eq (a, b, c)
Eq ((:~:) k a b)
Eq (Coercion k a b)
Eq (f a) => Eq (Alt k f a)

Eq (f p) => Eq (M1 i c f p)
(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
(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)
(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)
(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)
(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)
(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)
(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)
(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)
(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)