Copyright	(c) The University of Glasgow 2005
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	libraries@haskell.org
Stability	stable
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Data.Eq

Description

Equality

Synopsis

classEq awhere
- (==) :: a -> a ->Bool
- (/=) :: a -> a ->Bool

Documentation

classEq awhere#

TheEq class defines equality (==) and inequality (/=). All the basic datatypes exported by thePrelude are instances ofEq, andEq may be derived for any datatype whose constituents are also instances ofEq.

The Haskell Report defines no laws forEq. However,== is customarily expected to implement an equivalence relationship where two values comparing equal are indistinguishable by "public" functions, with a "public" function being one not allowing to see implementation details. For example, for a type representing non-normalised natural numbers modulo 100, a "public" function doesn't make the difference between 1 and 201. It is expected to have the following properties:

Reflexivity: x == x =True
Symmetry: x == y =y == x
Transitivity: ifx == y && y == z =True, thenx == z =True
Substitutivity: ifx == y =True andf is a "public" function whose return type is an instance ofEq, thenf x == f y =True
Negation: x /= y =not (x == y)

Minimal complete definition: either== or/=.

Minimal complete definition

(==) |(/=)

Methods

(==) :: a -> a ->Boolinfix 4#

(/=) :: a -> a ->Boolinfix 4#

Instances

Eq Bool
Instance details Defined inGHC.Classes Methods (==) ::Bool ->Bool ->Bool # (/=) ::Bool ->Bool ->Bool #
Eq Char
Instance details Defined inGHC.Classes Methods (==) ::Char ->Char ->Bool # (/=) ::Char ->Char ->Bool #
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 details Defined inGHC.Classes Methods (==) ::Double ->Double ->Bool # (/=) ::Double ->Double ->Bool #
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 details Defined inGHC.Classes Methods (==) ::Float ->Float ->Bool # (/=) ::Float ->Float ->Bool #
Eq Int
Instance details Defined inGHC.Classes Methods (==) ::Int ->Int ->Bool # (/=) ::Int ->Int ->Bool #
Eq Int8Source #	Since: 2.1
Instance details Defined inGHC.Int Methods (==) ::Int8 ->Int8 ->Bool # (/=) ::Int8 ->Int8 ->Bool #
Eq Int16Source #	Since: 2.1
Instance details Defined inGHC.Int Methods (==) ::Int16 ->Int16 ->Bool # (/=) ::Int16 ->Int16 ->Bool #
Eq Int32Source #	Since: 2.1
Instance details Defined inGHC.Int Methods (==) ::Int32 ->Int32 ->Bool # (/=) ::Int32 ->Int32 ->Bool #
Eq Int64Source #	Since: 2.1
Instance details Defined inGHC.Int Methods (==) ::Int64 ->Int64 ->Bool # (/=) ::Int64 ->Int64 ->Bool #
Eq Integer
Instance details Defined inGHC.Integer.Type Methods (==) ::Integer ->Integer ->Bool # (/=) ::Integer ->Integer ->Bool #
Eq NaturalSource #	Since: 4.8.0.0
Instance details Defined inGHC.Natural Methods (==) ::Natural ->Natural ->Bool # (/=) ::Natural ->Natural ->Bool #
Eq Ordering
Instance details Defined inGHC.Classes Methods (==) ::Ordering ->Ordering ->Bool # (/=) ::Ordering ->Ordering ->Bool #
Eq Word
Instance details Defined inGHC.Classes Methods (==) ::Word ->Word ->Bool # (/=) ::Word ->Word ->Bool #
Eq Word8Source #	Since: 2.1
Instance details Defined inGHC.Word Methods (==) ::Word8 ->Word8 ->Bool # (/=) ::Word8 ->Word8 ->Bool #
Eq Word16Source #	Since: 2.1
Instance details Defined inGHC.Word Methods (==) ::Word16 ->Word16 ->Bool # (/=) ::Word16 ->Word16 ->Bool #
Eq Word32Source #	Since: 2.1
Instance details Defined inGHC.Word Methods (==) ::Word32 ->Word32 ->Bool # (/=) ::Word32 ->Word32 ->Bool #
Eq Word64Source #	Since: 2.1
Instance details Defined inGHC.Word Methods (==) ::Word64 ->Word64 ->Bool # (/=) ::Word64 ->Word64 ->Bool #
Eq SomeTypeRepSource #
Instance details Defined inData.Typeable.Internal Methods (==) ::SomeTypeRep ->SomeTypeRep ->Bool # (/=) ::SomeTypeRep ->SomeTypeRep ->Bool #
Eq ()
Instance details Defined inGHC.Classes Methods (==) :: () -> () ->Bool # (/=) :: () -> () ->Bool #
Eq TyCon
Instance details Defined inGHC.Classes Methods (==) ::TyCon ->TyCon ->Bool # (/=) ::TyCon ->TyCon ->Bool #
Eq Module
Instance details Defined inGHC.Classes Methods (==) ::Module ->Module ->Bool # (/=) ::Module ->Module ->Bool #
Eq TrName
Instance details Defined inGHC.Classes Methods (==) ::TrName ->TrName ->Bool # (/=) ::TrName ->TrName ->Bool #
Eq BigNat
Instance details Defined inGHC.Integer.Type Methods (==) ::BigNat ->BigNat ->Bool # (/=) ::BigNat ->BigNat ->Bool #
Eq SrcLocSource #	Since: 4.9.0.0
Instance details Defined inGHC.Stack.Types Methods (==) ::SrcLoc ->SrcLoc ->Bool # (/=) ::SrcLoc ->SrcLoc ->Bool #
Eq GeneralCategorySource #	Since: 2.1
Instance details Defined inGHC.Unicode Methods (==) ::GeneralCategory ->GeneralCategory ->Bool # (/=) ::GeneralCategory ->GeneralCategory ->Bool #
Eq NumberSource #	Since: 4.6.0.0
Instance details Defined inText.Read.Lex Methods (==) ::Number ->Number ->Bool # (/=) ::Number ->Number ->Bool #
Eq LexemeSource #	Since: 2.1
Instance details Defined inText.Read.Lex Methods (==) ::Lexeme ->Lexeme ->Bool # (/=) ::Lexeme ->Lexeme ->Bool #
Eq FingerprintSource #	Since: 4.4.0.0
Instance details Defined inGHC.Fingerprint.Type Methods (==) ::Fingerprint ->Fingerprint ->Bool # (/=) ::Fingerprint ->Fingerprint ->Bool #
Eq IOModeSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.IOMode Methods (==) ::IOMode ->IOMode ->Bool # (/=) ::IOMode ->IOMode ->Bool #
Eq IntPtrSource #
Instance details Defined inForeign.Ptr Methods (==) ::IntPtr ->IntPtr ->Bool # (/=) ::IntPtr ->IntPtr ->Bool #
Eq WordPtrSource #
Instance details Defined inForeign.Ptr Methods (==) ::WordPtr ->WordPtr ->Bool # (/=) ::WordPtr ->WordPtr ->Bool #
Eq CUIntMaxSource #
Instance details Defined inForeign.C.Types Methods (==) ::CUIntMax ->CUIntMax ->Bool # (/=) ::CUIntMax ->CUIntMax ->Bool #
Eq CIntMaxSource #
Instance details Defined inForeign.C.Types Methods (==) ::CIntMax ->CIntMax ->Bool # (/=) ::CIntMax ->CIntMax ->Bool #
Eq CUIntPtrSource #
Instance details Defined inForeign.C.Types Methods (==) ::CUIntPtr ->CUIntPtr ->Bool # (/=) ::CUIntPtr ->CUIntPtr ->Bool #
Eq CIntPtrSource #
Instance details Defined inForeign.C.Types Methods (==) ::CIntPtr ->CIntPtr ->Bool # (/=) ::CIntPtr ->CIntPtr ->Bool #
Eq CSUSecondsSource #
Instance details Defined inForeign.C.Types Methods (==) ::CSUSeconds ->CSUSeconds ->Bool # (/=) ::CSUSeconds ->CSUSeconds ->Bool #
Eq CUSecondsSource #
Instance details Defined inForeign.C.Types Methods (==) ::CUSeconds ->CUSeconds ->Bool # (/=) ::CUSeconds ->CUSeconds ->Bool #
Eq CTimeSource #
Instance details Defined inForeign.C.Types Methods (==) ::CTime ->CTime ->Bool # (/=) ::CTime ->CTime ->Bool #
Eq CClockSource #
Instance details Defined inForeign.C.Types Methods (==) ::CClock ->CClock ->Bool # (/=) ::CClock ->CClock ->Bool #
Eq CSigAtomicSource #
Instance details Defined inForeign.C.Types Methods (==) ::CSigAtomic ->CSigAtomic ->Bool # (/=) ::CSigAtomic ->CSigAtomic ->Bool #
Eq CWcharSource #
Instance details Defined inForeign.C.Types Methods (==) ::CWchar ->CWchar ->Bool # (/=) ::CWchar ->CWchar ->Bool #
Eq CSizeSource #
Instance details Defined inForeign.C.Types Methods (==) ::CSize ->CSize ->Bool # (/=) ::CSize ->CSize ->Bool #
Eq CPtrdiffSource #
Instance details Defined inForeign.C.Types Methods (==) ::CPtrdiff ->CPtrdiff ->Bool # (/=) ::CPtrdiff ->CPtrdiff ->Bool #
Eq CDoubleSource #
Instance details Defined inForeign.C.Types Methods (==) ::CDouble ->CDouble ->Bool # (/=) ::CDouble ->CDouble ->Bool #
Eq CFloatSource #
Instance details Defined inForeign.C.Types Methods (==) ::CFloat ->CFloat ->Bool # (/=) ::CFloat ->CFloat ->Bool #
Eq CBoolSource #
Instance details Defined inForeign.C.Types Methods (==) ::CBool ->CBool ->Bool # (/=) ::CBool ->CBool ->Bool #
Eq CULLongSource #
Instance details Defined inForeign.C.Types Methods (==) ::CULLong ->CULLong ->Bool # (/=) ::CULLong ->CULLong ->Bool #
Eq CLLongSource #
Instance details Defined inForeign.C.Types Methods (==) ::CLLong ->CLLong ->Bool # (/=) ::CLLong ->CLLong ->Bool #
Eq CULongSource #
Instance details Defined inForeign.C.Types Methods (==) ::CULong ->CULong ->Bool # (/=) ::CULong ->CULong ->Bool #
Eq CLongSource #
Instance details Defined inForeign.C.Types Methods (==) ::CLong ->CLong ->Bool # (/=) ::CLong ->CLong ->Bool #
Eq CUIntSource #
Instance details Defined inForeign.C.Types Methods (==) ::CUInt ->CUInt ->Bool # (/=) ::CUInt ->CUInt ->Bool #
Eq CIntSource #
Instance details Defined inForeign.C.Types Methods (==) ::CInt ->CInt ->Bool # (/=) ::CInt ->CInt ->Bool #
Eq CUShortSource #
Instance details Defined inForeign.C.Types Methods (==) ::CUShort ->CUShort ->Bool # (/=) ::CUShort ->CUShort ->Bool #
Eq CShortSource #
Instance details Defined inForeign.C.Types Methods (==) ::CShort ->CShort ->Bool # (/=) ::CShort ->CShort ->Bool #
Eq CUCharSource #
Instance details Defined inForeign.C.Types Methods (==) ::CUChar ->CUChar ->Bool # (/=) ::CUChar ->CUChar ->Bool #
Eq CSCharSource #
Instance details Defined inForeign.C.Types Methods (==) ::CSChar ->CSChar ->Bool # (/=) ::CSChar ->CSChar ->Bool #
Eq CCharSource #
Instance details Defined inForeign.C.Types Methods (==) ::CChar ->CChar ->Bool # (/=) ::CChar ->CChar ->Bool #
Eq SomeNatSource #	Since: 4.7.0.0
Instance details Defined inGHC.TypeNats Methods (==) ::SomeNat ->SomeNat ->Bool # (/=) ::SomeNat ->SomeNat ->Bool #
Eq SomeSymbolSource #	Since: 4.7.0.0
Instance details Defined inGHC.TypeLits Methods (==) ::SomeSymbol ->SomeSymbol ->Bool # (/=) ::SomeSymbol ->SomeSymbol ->Bool #
Eq DecidedStrictnessSource #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::DecidedStrictness ->DecidedStrictness ->Bool # (/=) ::DecidedStrictness ->DecidedStrictness ->Bool #
Eq SourceStrictnessSource #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::SourceStrictness ->SourceStrictness ->Bool # (/=) ::SourceStrictness ->SourceStrictness ->Bool #
Eq SourceUnpackednessSource #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::SourceUnpackedness ->SourceUnpackedness ->Bool # (/=) ::SourceUnpackedness ->SourceUnpackedness ->Bool #
Eq AssociativitySource #	Since: 4.6.0.0
Instance details Defined inGHC.Generics Methods (==) ::Associativity ->Associativity ->Bool # (/=) ::Associativity ->Associativity ->Bool #
Eq FixitySource #	Since: 4.6.0.0
Instance details Defined inGHC.Generics Methods (==) ::Fixity ->Fixity ->Bool # (/=) ::Fixity ->Fixity ->Bool #
Eq AnySource #	Since: 2.1
Instance details Defined inData.Semigroup.Internal Methods (==) ::Any ->Any ->Bool # (/=) ::Any ->Any ->Bool #
Eq AllSource #	Since: 2.1
Instance details Defined inData.Semigroup.Internal Methods (==) ::All ->All ->Bool # (/=) ::All ->All ->Bool #
Eq ArithExceptionSource #	Since: 3.0
Instance details Defined inGHC.Exception.Type Methods (==) ::ArithException ->ArithException ->Bool # (/=) ::ArithException ->ArithException ->Bool #
Eq ErrorCallSource #	Since: 4.7.0.0
Instance details Defined inGHC.Exception Methods (==) ::ErrorCall ->ErrorCall ->Bool # (/=) ::ErrorCall ->ErrorCall ->Bool #
Eq IOExceptionSource #	Since: 4.1.0.0
Instance details Defined inGHC.IO.Exception Methods (==) ::IOException ->IOException ->Bool # (/=) ::IOException ->IOException ->Bool #
Eq MaskingStateSource #	Since: 4.3.0.0
Instance details Defined inGHC.IO Methods (==) ::MaskingState ->MaskingState ->Bool # (/=) ::MaskingState ->MaskingState ->Bool #
Eq BufferStateSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Buffer Methods (==) ::BufferState ->BufferState ->Bool # (/=) ::BufferState ->BufferState ->Bool #
Eq CodingProgressSource #	Since: 4.4.0.0
Instance details Defined inGHC.IO.Encoding.Types Methods (==) ::CodingProgress ->CodingProgress ->Bool # (/=) ::CodingProgress ->CodingProgress ->Bool #
Eq SeekModeSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Device Methods (==) ::SeekMode ->SeekMode ->Bool # (/=) ::SeekMode ->SeekMode ->Bool #
Eq IODeviceTypeSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Device Methods (==) ::IODeviceType ->IODeviceType ->Bool # (/=) ::IODeviceType ->IODeviceType ->Bool #
Eq NewlineModeSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Handle.Types Methods (==) ::NewlineMode ->NewlineMode ->Bool # (/=) ::NewlineMode ->NewlineMode ->Bool #
Eq NewlineSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Handle.Types Methods (==) ::Newline ->Newline ->Bool # (/=) ::Newline ->Newline ->Bool #
Eq BufferModeSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Handle.Types Methods (==) ::BufferMode ->BufferMode ->Bool # (/=) ::BufferMode ->BufferMode ->Bool #
Eq HandleSource #	Since: 4.1.0.0
Instance details Defined inGHC.IO.Handle.Types Methods (==) ::Handle ->Handle ->Bool # (/=) ::Handle ->Handle ->Bool #
Eq IOErrorTypeSource #	Since: 4.1.0.0
Instance details Defined inGHC.IO.Exception Methods (==) ::IOErrorType ->IOErrorType ->Bool # (/=) ::IOErrorType ->IOErrorType ->Bool #
Eq ExitCodeSource #
Instance details Defined inGHC.IO.Exception Methods (==) ::ExitCode ->ExitCode ->Bool # (/=) ::ExitCode ->ExitCode ->Bool #
Eq ArrayExceptionSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Exception Methods (==) ::ArrayException ->ArrayException ->Bool # (/=) ::ArrayException ->ArrayException ->Bool #
Eq AsyncExceptionSource #	Since: 4.2.0.0
Instance details Defined inGHC.IO.Exception Methods (==) ::AsyncException ->AsyncException ->Bool # (/=) ::AsyncException ->AsyncException ->Bool #
Eq ErrnoSource #	Since: 2.1
Instance details Defined inForeign.C.Error Methods (==) ::Errno ->Errno ->Bool # (/=) ::Errno ->Errno ->Bool #
Eq FdSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::Fd ->Fd ->Bool # (/=) ::Fd ->Fd ->Bool #
Eq CTimerSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CTimer ->CTimer ->Bool # (/=) ::CTimer ->CTimer ->Bool #
Eq CKeySource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CKey ->CKey ->Bool # (/=) ::CKey ->CKey ->Bool #
Eq CIdSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CId ->CId ->Bool # (/=) ::CId ->CId ->Bool #
Eq CFsFilCntSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CFsFilCnt ->CFsFilCnt ->Bool # (/=) ::CFsFilCnt ->CFsFilCnt ->Bool #
Eq CFsBlkCntSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CFsBlkCnt ->CFsBlkCnt ->Bool # (/=) ::CFsBlkCnt ->CFsBlkCnt ->Bool #
Eq CClockIdSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CClockId ->CClockId ->Bool # (/=) ::CClockId ->CClockId ->Bool #
Eq CBlkCntSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CBlkCnt ->CBlkCnt ->Bool # (/=) ::CBlkCnt ->CBlkCnt ->Bool #
Eq CBlkSizeSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CBlkSize ->CBlkSize ->Bool # (/=) ::CBlkSize ->CBlkSize ->Bool #
Eq CRLimSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CRLim ->CRLim ->Bool # (/=) ::CRLim ->CRLim ->Bool #
Eq CTcflagSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CTcflag ->CTcflag ->Bool # (/=) ::CTcflag ->CTcflag ->Bool #
Eq CSpeedSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CSpeed ->CSpeed ->Bool # (/=) ::CSpeed ->CSpeed ->Bool #
Eq CCcSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CCc ->CCc ->Bool # (/=) ::CCc ->CCc ->Bool #
Eq CUidSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CUid ->CUid ->Bool # (/=) ::CUid ->CUid ->Bool #
Eq CNlinkSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CNlink ->CNlink ->Bool # (/=) ::CNlink ->CNlink ->Bool #
Eq CGidSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CGid ->CGid ->Bool # (/=) ::CGid ->CGid ->Bool #
Eq CSsizeSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CSsize ->CSsize ->Bool # (/=) ::CSsize ->CSsize ->Bool #
Eq CPidSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CPid ->CPid ->Bool # (/=) ::CPid ->CPid ->Bool #
Eq COffSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::COff ->COff ->Bool # (/=) ::COff ->COff ->Bool #
Eq CModeSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CMode ->CMode ->Bool # (/=) ::CMode ->CMode ->Bool #
Eq CInoSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CIno ->CIno ->Bool # (/=) ::CIno ->CIno ->Bool #
Eq CDevSource #
Instance details Defined inSystem.Posix.Types Methods (==) ::CDev ->CDev ->Bool # (/=) ::CDev ->CDev ->Bool #
Eq LifetimeSource #	Since: 4.8.1.0
Instance details Defined inGHC.Event.Internal Methods (==) ::Lifetime ->Lifetime ->Bool # (/=) ::Lifetime ->Lifetime ->Bool #
Eq EventSource #	Since: 4.4.0.0
Instance details Defined inGHC.Event.Internal Methods (==) ::Event ->Event ->Bool # (/=) ::Event ->Event ->Bool #
Eq ThreadStatusSource #	Since: 4.3.0.0
Instance details Defined inGHC.Conc.Sync Methods (==) ::ThreadStatus ->ThreadStatus ->Bool # (/=) ::ThreadStatus ->ThreadStatus ->Bool #
Eq BlockReasonSource #	Since: 4.3.0.0
Instance details Defined inGHC.Conc.Sync Methods (==) ::BlockReason ->BlockReason ->Bool # (/=) ::BlockReason ->BlockReason ->Bool #
Eq ThreadIdSource #	Since: 4.2.0.0
Instance details Defined inGHC.Conc.Sync Methods (==) ::ThreadId ->ThreadId ->Bool # (/=) ::ThreadId ->ThreadId ->Bool #
Eq TimeoutKeySource #	Since: 4.7.0.0
Instance details Defined inGHC.Event.TimerManager Methods (==) ::TimeoutKey ->TimeoutKey ->Bool # (/=) ::TimeoutKey ->TimeoutKey ->Bool #
Eq FdKeySource #	Since: 4.4.0.0
Instance details Defined inGHC.Event.Manager Methods (==) ::FdKey ->FdKey ->Bool # (/=) ::FdKey ->FdKey ->Bool #
Eq HandlePosnSource #	Since: 4.1.0.0
Instance details Defined inGHC.IO.Handle Methods (==) ::HandlePosn ->HandlePosn ->Bool # (/=) ::HandlePosn ->HandlePosn ->Bool #
Eq VersionSource #	Since: 2.1
Instance details Defined inData.Version Methods (==) ::Version ->Version ->Bool # (/=) ::Version ->Version ->Bool #
Eq ByteOrderSource #	Since: 4.11.0.0
Instance details Defined inGHC.ByteOrder Methods (==) ::ByteOrder ->ByteOrder ->Bool # (/=) ::ByteOrder ->ByteOrder ->Bool #
Eq UniqueSource #
Instance details Defined inData.Unique Methods (==) ::Unique ->Unique ->Bool # (/=) ::Unique ->Unique ->Bool #
Eq FixitySource #	Since: 4.0.0.0
Instance details Defined inData.Data Methods (==) ::Fixity ->Fixity ->Bool # (/=) ::Fixity ->Fixity ->Bool #
Eq ConstrRepSource #	Since: 4.0.0.0
Instance details Defined inData.Data Methods (==) ::ConstrRep ->ConstrRep ->Bool # (/=) ::ConstrRep ->ConstrRep ->Bool #
Eq DataRepSource #	Since: 4.0.0.0
Instance details Defined inData.Data Methods (==) ::DataRep ->DataRep ->Bool # (/=) ::DataRep ->DataRep ->Bool #
Eq ConstrSource #	Equality of constructors Since: 4.0.0.0
Instance details Defined inData.Data Methods (==) ::Constr ->Constr ->Bool # (/=) ::Constr ->Constr ->Bool #
Eq SpecConstrAnnotationSource #	Since: 4.3.0.0
Instance details Defined inGHC.Exts Methods (==) ::SpecConstrAnnotation ->SpecConstrAnnotation ->Bool # (/=) ::SpecConstrAnnotation ->SpecConstrAnnotation ->Bool #
Eq VoidSource #	Since: 4.8.0.0
Instance details Defined inData.Void Methods (==) ::Void ->Void ->Bool # (/=) ::Void ->Void ->Bool #
Eq a =>Eq [a]
Instance details Defined inGHC.Classes Methods (==) :: [a] -> [a] ->Bool # (/=) :: [a] -> [a] ->Bool #
Eq a =>Eq (Maybe a)Source #	Since: 2.1
Instance details Defined inGHC.Maybe Methods (==) ::Maybe a ->Maybe a ->Bool # (/=) ::Maybe a ->Maybe a ->Bool #
Eq a =>Eq (Ratio a)Source #	Since: 2.1
Instance details Defined inGHC.Real Methods (==) ::Ratio a ->Ratio a ->Bool # (/=) ::Ratio a ->Ratio a ->Bool #
Eq (StablePtr a)Source #	Since: 2.1
Instance details Defined inGHC.Stable Methods (==) ::StablePtr a ->StablePtr a ->Bool # (/=) ::StablePtr a ->StablePtr a ->Bool #
Eq (Ptr a)Source #	Since: 2.1
Instance details Defined inGHC.Ptr Methods (==) ::Ptr a ->Ptr a ->Bool # (/=) ::Ptr a ->Ptr a ->Bool #
Eq (FunPtr a)Source #
Instance details Defined inGHC.Ptr Methods (==) ::FunPtr a ->FunPtr a ->Bool # (/=) ::FunPtr a ->FunPtr a ->Bool #
Eq p =>Eq (Par1 p)Source #	Since: 4.7.0.0
Instance details Defined inGHC.Generics Methods (==) ::Par1 p ->Par1 p ->Bool # (/=) ::Par1 p ->Par1 p ->Bool #
Eq a =>Eq (NonEmpty a)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Base Methods (==) ::NonEmpty a ->NonEmpty a ->Bool # (/=) ::NonEmpty a ->NonEmpty a ->Bool #
Eq (MVar a)Source #	Since: 4.1.0.0
Instance details Defined inGHC.MVar Methods (==) ::MVar a ->MVar a ->Bool # (/=) ::MVar a ->MVar a ->Bool #
Eq a =>Eq (Down a)Source #	Since: 4.6.0.0
Instance details Defined inData.Ord Methods (==) ::Down a ->Down a ->Bool # (/=) ::Down a ->Down a ->Bool #
Eq a =>Eq (Product a)Source #	Since: 2.1
Instance details Defined inData.Semigroup.Internal Methods (==) ::Product a ->Product a ->Bool # (/=) ::Product a ->Product a ->Bool #
Eq a =>Eq (Sum a)Source #	Since: 2.1
Instance details Defined inData.Semigroup.Internal Methods (==) ::Sum a ->Sum a ->Bool # (/=) ::Sum a ->Sum a ->Bool #
Eq a =>Eq (Dual a)Source #	Since: 2.1
Instance details Defined inData.Semigroup.Internal Methods (==) ::Dual a ->Dual a ->Bool # (/=) ::Dual a ->Dual a ->Bool #
Eq a =>Eq (Last a)Source #	Since: 2.1
Instance details Defined inData.Monoid Methods (==) ::Last a ->Last a ->Bool # (/=) ::Last a ->Last a ->Bool #
Eq a =>Eq (First a)Source #	Since: 2.1
Instance details Defined inData.Monoid Methods (==) ::First a ->First a ->Bool # (/=) ::First a ->First a ->Bool #
Eq (IORef a)Source #	^ Pointer equality. Since: 4.1.0.0
Instance details Defined inGHC.IORef Methods (==) ::IORef a ->IORef a ->Bool # (/=) ::IORef a ->IORef a ->Bool #
Eq (ForeignPtr a)Source #	Since: 2.1
Instance details Defined inGHC.ForeignPtr Methods (==) ::ForeignPtr a ->ForeignPtr a ->Bool # (/=) ::ForeignPtr a ->ForeignPtr a ->Bool #
Eq (TVar a)Source #	Since: 4.8.0.0
Instance details Defined inGHC.Conc.Sync Methods (==) ::TVar a ->TVar a ->Bool # (/=) ::TVar a ->TVar a ->Bool #
Eq a =>Eq (Identity a)Source #	Since: 4.8.0.0
Instance details Defined inData.Functor.Identity Methods (==) ::Identity a ->Identity a ->Bool # (/=) ::Identity a ->Identity a ->Bool #
Eq a =>Eq (ZipList a)Source #	Since: 4.7.0.0
Instance details Defined inControl.Applicative Methods (==) ::ZipList a ->ZipList a ->Bool # (/=) ::ZipList a ->ZipList a ->Bool #
Eq (StableName a)Source #	Since: 2.1
Instance details Defined inGHC.StableName Methods (==) ::StableName a ->StableName a ->Bool # (/=) ::StableName a ->StableName a ->Bool #
Eq (Chan a)Source #	Since: 4.4.0.0
Instance details Defined inControl.Concurrent.Chan Methods (==) ::Chan a ->Chan a ->Bool # (/=) ::Chan a ->Chan a ->Bool #
Eq a =>Eq (Option a)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (==) ::Option a ->Option a ->Bool # (/=) ::Option a ->Option a ->Bool #
Eq m =>Eq (WrappedMonoid m)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (==) ::WrappedMonoid m ->WrappedMonoid m ->Bool # (/=) ::WrappedMonoid m ->WrappedMonoid m ->Bool #
Eq a =>Eq (Last a)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (==) ::Last a ->Last a ->Bool # (/=) ::Last a ->Last a ->Bool #
Eq a =>Eq (First a)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (==) ::First a ->First a ->Bool # (/=) ::First a ->First a ->Bool #
Eq a =>Eq (Max a)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (==) ::Max a ->Max a ->Bool # (/=) ::Max a ->Max a ->Bool #
Eq a =>Eq (Min a)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (==) ::Min a ->Min a ->Bool # (/=) ::Min a ->Min a ->Bool #
Eq (Fixed a)Source #	Since: 2.1
Instance details Defined inData.Fixed Methods (==) ::Fixed a ->Fixed a ->Bool # (/=) ::Fixed a ->Fixed a ->Bool #
Eq a =>Eq (Complex a)Source #	Since: 2.1
Instance details Defined inData.Complex Methods (==) ::Complex a ->Complex a ->Bool # (/=) ::Complex a ->Complex a ->Bool #
(Eq a,Eq b) =>Eq (Either a b)Source #	Since: 2.1
Instance details Defined inData.Either Methods (==) ::Either a b ->Either a b ->Bool # (/=) ::Either a b ->Either a b ->Bool #
Eq (V1 p)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::V1 p ->V1 p ->Bool # (/=) ::V1 p ->V1 p ->Bool #
Eq (U1 p)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::U1 p ->U1 p ->Bool # (/=) ::U1 p ->U1 p ->Bool #
Eq (TypeRep a)Source #	Since: 2.1
Instance details Defined inData.Typeable.Internal Methods (==) ::TypeRep a ->TypeRep a ->Bool # (/=) ::TypeRep a ->TypeRep a ->Bool #
(Eq a,Eq b) =>Eq (a, b)
Instance details Defined inGHC.Classes Methods (==) :: (a, b) -> (a, b) ->Bool # (/=) :: (a, b) -> (a, b) ->Bool #
Eq (STRef s a)Source #	Pointer equality. Since: 2.1
Instance details Defined inGHC.STRef Methods (==) ::STRef s a ->STRef s a ->Bool # (/=) ::STRef s a ->STRef s a ->Bool #
Eq (Proxy s)Source #	Since: 4.7.0.0
Instance details Defined inData.Proxy Methods (==) ::Proxy s ->Proxy s ->Bool # (/=) ::Proxy s ->Proxy s ->Bool #
Eq a =>Eq (Arg a b)Source #	Since: 4.9.0.0
Instance details Defined inData.Semigroup Methods (==) ::Arg a b ->Arg a b ->Bool # (/=) ::Arg a b ->Arg a b ->Bool #
Eq (f p) =>Eq (Rec1 f p)Source #	Since: 4.7.0.0
Instance details Defined inGHC.Generics Methods (==) ::Rec1 f p ->Rec1 f p ->Bool # (/=) ::Rec1 f p ->Rec1 f p ->Bool #
Eq (URec Word p)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::URec Word p ->URec Word p ->Bool # (/=) ::URec Word p ->URec Word p ->Bool #
Eq (URec Int p)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::URec Int p ->URec Int p ->Bool # (/=) ::URec Int p ->URec Int p ->Bool #
Eq (URec Float p)Source #
Instance details Defined inGHC.Generics Methods (==) ::URec Float p ->URec Float p ->Bool # (/=) ::URec Float p ->URec Float p ->Bool #
Eq (URec Double p)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::URec Double p ->URec Double p ->Bool # (/=) ::URec Double p ->URec Double p ->Bool #
Eq (URec Char p)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::URec Char p ->URec Char p ->Bool # (/=) ::URec Char p ->URec Char p ->Bool #
Eq (URec (Ptr ()) p)Source #	Since: 4.9.0.0
Instance details Defined inGHC.Generics Methods (==) ::URec (Ptr ()) p ->URec (Ptr ()) p ->Bool # (/=) ::URec (Ptr ()) p ->URec (Ptr ()) p ->Bool #
(Eq a,Eq b,Eq c) =>Eq (a, b, c)
Instance details Defined inGHC.Classes Methods (==) :: (a, b, c) -> (a, b, c) ->Bool # (/=) :: (a, b, c) -> (a, b, c) ->Bool #
Eq (a:~: b)Source #	Since: 4.7.0.0
Instance details Defined inData.Type.Equality Methods (==) :: (a:~: b) -> (a:~: b) ->Bool # (/=) :: (a:~: b) -> (a:~: b) ->Bool #
Eq (Coercion a b)Source #	Since: 4.7.0.0
Instance details Defined inData.Type.Coercion Methods (==) ::Coercion a b ->Coercion a b ->Bool # (/=) ::Coercion a b ->Coercion a b ->Bool #
Eq (f a) =>Eq (Alt f a)Source #	Since: 4.8.0.0
Instance details Defined inData.Semigroup.Internal Methods (==) ::Alt f a ->Alt f a ->Bool # (/=) ::Alt f a ->Alt f a ->Bool #
Eq (f a) =>Eq (Ap f a)Source #	Since: 4.12.0.0
Instance details Defined inData.Monoid Methods (==) ::Ap f a ->Ap f a ->Bool # (/=) ::Ap f a ->Ap f a ->Bool #
Eq a =>Eq (Const a b)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Const Methods (==) ::Const a b ->Const a b ->Bool # (/=) ::Const a b ->Const a b ->Bool #
Eq c =>Eq (K1 i c p)Source #	Since: 4.7.0.0
Instance details Defined inGHC.Generics Methods (==) ::K1 i c p ->K1 i c p ->Bool # (/=) ::K1 i c p ->K1 i c p ->Bool #
(Eq (f p),Eq (g p)) =>Eq ((f:+: g) p)Source #	Since: 4.7.0.0
Instance details Defined inGHC.Generics Methods (==) :: (f:+: g) p -> (f:+: g) p ->Bool # (/=) :: (f:+: g) p -> (f:+: g) p ->Bool #
(Eq (f p),Eq (g p)) =>Eq ((f:*: g) p)Source #	Since: 4.7.0.0
Instance details Defined inGHC.Generics Methods (==) :: (f:: g) p -> (f:: g) p ->Bool # (/=) :: (f:: g) p -> (f:: g) p ->Bool #
(Eq a,Eq b,Eq c,Eq d) =>Eq (a, b, c, d)
Instance details Defined inGHC.Classes Methods (==) :: (a, b, c, d) -> (a, b, c, d) ->Bool # (/=) :: (a, b, c, d) -> (a, b, c, d) ->Bool #
Eq (a:~~: b)Source #	Since: 4.10.0.0
Instance details Defined inData.Type.Equality Methods (==) :: (a:~~: b) -> (a:~~: b) ->Bool # (/=) :: (a:~~: b) -> (a:~~: b) ->Bool #
(Eq1 f,Eq1 g,Eq a) =>Eq (Sum f g a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Sum Methods (==) ::Sum f g a ->Sum f g a ->Bool # (/=) ::Sum f g a ->Sum f g a ->Bool #
(Eq1 f,Eq1 g,Eq a) =>Eq (Product f g a)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Product Methods (==) ::Product f g a ->Product f g a ->Bool # (/=) ::Product f g a ->Product f g a ->Bool #
Eq (f p) =>Eq (M1 i c f p)Source #	Since: 4.7.0.0
Instance details Defined inGHC.Generics Methods (==) ::M1 i c f p ->M1 i c f p ->Bool # (/=) ::M1 i c f p ->M1 i c f p ->Bool #
Eq (f (g p)) =>Eq ((f:.: g) p)Source #	Since: 4.7.0.0
Instance details Defined inGHC.Generics Methods (==) :: (f:.: g) p -> (f:.: g) p ->Bool # (/=) :: (f:.: g) p -> (f:.: g) p ->Bool #
(Eq a,Eq b,Eq c,Eq d,Eq e) =>Eq (a, b, c, d, e)
Instance details Defined inGHC.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)Source #	Since: 4.9.0.0
Instance details Defined inData.Functor.Compose Methods (==) ::Compose f g a ->Compose f g a ->Bool # (/=) ::Compose f g a ->Compose f g a ->Bool #
(Eq a,Eq b,Eq c,Eq d,Eq e,Eq f) =>Eq (a, b, c, d, e, f)
Instance details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 details Defined inGHC.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 #

Movatterモバイル変換

Documentation