Equality

Documentation

class Eq a where

The Eq class defines equality (==) and inequality (/=). All the basic datatypes exported by the Prelude are instances of Eq, and Eq may be derived for any datatype whose constituents are also instances of Eq.

Minimal complete definition: either == or /=.

Minimal complete definition

(==) | (/=)

Methods

(==) :: a -> a -> Bool infix 4

(/=) :: a -> a -> Bool infix 4

Instances

Eq Bool

Defined in GHC.Classes

Methods

(==) :: Bool -> Bool -> Bool

(/=) :: Bool -> Bool -> Bool

Eq Char

Defined in GHC.Classes

Methods

(==) :: Char -> Char -> Bool

(/=) :: Char -> Char -> Bool

Eq Double

Defined in GHC.Classes

Methods

(==) :: Double -> Double -> Bool

(/=) :: Double -> Double -> Bool

Eq Float

Defined in GHC.Classes

Methods

(==) :: Float -> Float -> Bool

(/=) :: Float -> Float -> Bool

Eq Int

Defined in GHC.Classes

Methods

(==) :: Int -> Int -> Bool

(/=) :: Int -> Int -> Bool

Eq Int8

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int8 -> Int8 -> Bool

(/=) :: Int8 -> Int8 -> Bool

Eq Int16

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int16 -> Int16 -> Bool

(/=) :: Int16 -> Int16 -> Bool

Eq Int32

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int32 -> Int32 -> Bool

(/=) :: Int32 -> Int32 -> Bool

Eq Int64

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int64 -> Int64 -> Bool

(/=) :: Int64 -> Int64 -> Bool

Eq Integer

Defined in GHC.Integer.Type

Methods

(==) :: Integer -> Integer -> Bool

(/=) :: Integer -> Integer -> Bool

Eq Natural

Defined in GHC.Natural

Methods

(==) :: Natural -> Natural -> Bool

(/=) :: Natural -> Natural -> Bool

Eq Ordering

Defined in GHC.Classes

Methods

(==) :: Ordering -> Ordering -> Bool

(/=) :: Ordering -> Ordering -> Bool

Eq Word

Defined in GHC.Classes

Methods

(==) :: Word -> Word -> Bool

(/=) :: Word -> Word -> Bool

Eq Word8

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word8 -> Word8 -> Bool

(/=) :: Word8 -> Word8 -> Bool

Eq Word16

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word16 -> Word16 -> Bool

(/=) :: Word16 -> Word16 -> Bool

Eq Word32

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word32 -> Word32 -> Bool

(/=) :: Word32 -> Word32 -> Bool

Eq Word64

Since: base-2.1

Defined in GHC.Word

Methods

(==) :: Word64 -> Word64 -> Bool

(/=) :: Word64 -> Word64 -> Bool

Eq SomeTypeRep

Defined in Data.Typeable.Internal

Methods

(==) :: SomeTypeRep -> SomeTypeRep -> Bool

(/=) :: SomeTypeRep -> SomeTypeRep -> Bool

Eq Exp

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Exp -> Exp -> Bool

(/=) :: Exp -> Exp -> Bool

Eq Match

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Match -> Match -> Bool

(/=) :: Match -> Match -> Bool

Eq Clause

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Clause -> Clause -> Bool

(/=) :: Clause -> Clause -> Bool

Eq Pat

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Pat -> Pat -> Bool

(/=) :: Pat -> Pat -> Bool

Eq Type

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Eq Dec

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Dec -> Dec -> Bool

(/=) :: Dec -> Dec -> Bool

Eq Name

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Eq FunDep

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: FunDep -> FunDep -> Bool

(/=) :: FunDep -> FunDep -> Bool

Eq InjectivityAnn

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: InjectivityAnn -> InjectivityAnn -> Bool

(/=) :: InjectivityAnn -> InjectivityAnn -> Bool

Eq Overlap

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Overlap -> Overlap -> Bool

(/=) :: Overlap -> Overlap -> Bool

Eq DerivStrategy

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: DerivStrategy -> DerivStrategy -> Bool

(/=) :: DerivStrategy -> DerivStrategy -> Bool

Eq ()

Defined in GHC.Classes

Methods

(==) :: () -> () -> Bool

(/=) :: () -> () -> Bool

Eq TyCon

Defined in GHC.Classes

Methods

(==) :: TyCon -> TyCon -> Bool

(/=) :: TyCon -> TyCon -> Bool

Eq Module

Defined in GHC.Classes

Methods

(==) :: Module -> Module -> Bool

(/=) :: Module -> Module -> Bool

Eq TrName

Defined in GHC.Classes

Methods

(==) :: TrName -> TrName -> Bool

(/=) :: TrName -> TrName -> Bool

Eq Associativity

Defined in Text.Earley.Mixfix

Methods

(==) :: Associativity -> Associativity -> Bool

(/=) :: Associativity -> Associativity -> Bool

Eq BirthPos

Defined in Text.Earley.Parser.Internal

Methods

(==) :: BirthPos -> BirthPos -> Bool

(/=) :: BirthPos -> BirthPos -> Bool

Eq BirthPos

Defined in Text.Earley.Generator.Internal

Methods

(==) :: BirthPos -> BirthPos -> Bool

(/=) :: BirthPos -> BirthPos -> Bool

Eq Con

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Con -> Con -> Bool

(/=) :: Con -> Con -> Bool

Eq ByteString

Defined in Data.ByteString.Internal

Methods

(==) :: ByteString -> ByteString -> Bool

(/=) :: ByteString -> ByteString -> Bool

Eq ByteString

Defined in Data.ByteString.Lazy.Internal

Methods

(==) :: ByteString -> ByteString -> Bool

(/=) :: ByteString -> ByteString -> Bool

Eq Builder

Defined in Data.Text.Internal.Builder

Methods

(==) :: Builder -> Builder -> Bool

(/=) :: Builder -> Builder -> Bool

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.

Defined in Data.Scientific

Methods

(==) :: Scientific -> Scientific -> Bool

(/=) :: Scientific -> Scientific -> Bool

Eq UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

(==) :: UTCTime -> UTCTime -> Bool

(/=) :: UTCTime -> UTCTime -> Bool

Eq JSONPathElement

Defined in Data.Aeson.Types.Internal

Methods

(==) :: JSONPathElement -> JSONPathElement -> Bool

(/=) :: JSONPathElement -> JSONPathElement -> Bool

Eq Value

Defined in Data.Aeson.Types.Internal

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Eq DotNetTime

Defined in Data.Aeson.Types.Internal

Methods

(==) :: DotNetTime -> DotNetTime -> Bool

(/=) :: DotNetTime -> DotNetTime -> Bool

Eq SumEncoding

Defined in Data.Aeson.Types.Internal

Methods

(==) :: SumEncoding -> SumEncoding -> Bool

(/=) :: SumEncoding -> SumEncoding -> Bool

Eq Color

Defined in System.Console.ANSI.Types

Methods

(==) :: Color -> Color -> Bool

(/=) :: Color -> Color -> Bool

Eq ColorIntensity

Defined in System.Console.ANSI.Types

Methods

(==) :: ColorIntensity -> ColorIntensity -> Bool

(/=) :: ColorIntensity -> ColorIntensity -> Bool

Eq ConsoleLayer

Defined in System.Console.ANSI.Types

Methods

(==) :: ConsoleLayer -> ConsoleLayer -> Bool

(/=) :: ConsoleLayer -> ConsoleLayer -> Bool

Eq BlinkSpeed

Defined in System.Console.ANSI.Types

Methods

(==) :: BlinkSpeed -> BlinkSpeed -> Bool

(/=) :: BlinkSpeed -> BlinkSpeed -> Bool

Eq Underlining

Defined in System.Console.ANSI.Types

Methods

(==) :: Underlining -> Underlining -> Bool

(/=) :: Underlining -> Underlining -> Bool

Eq ConsoleIntensity

Defined in System.Console.ANSI.Types

Methods

(==) :: ConsoleIntensity -> ConsoleIntensity -> Bool

(/=) :: ConsoleIntensity -> ConsoleIntensity -> Bool

Eq SGR

Defined in System.Console.ANSI.Types

Methods

(==) :: SGR -> SGR -> Bool

(/=) :: SGR -> SGR -> Bool

Eq Handle

Since: base-4.1.0.0

Defined in GHC.IO.Handle.Types

Methods

(==) :: Handle -> Handle -> Bool

(/=) :: Handle -> Handle -> Bool

Eq ThreadId

Since: base-4.2.0.0

Defined in GHC.Conc.Sync

Methods

(==) :: ThreadId -> ThreadId -> Bool

(/=) :: ThreadId -> ThreadId -> Bool

Eq AsyncCancelled

Defined in Control.Concurrent.Async

Methods

(==) :: AsyncCancelled -> AsyncCancelled -> Bool

(/=) :: AsyncCancelled -> AsyncCancelled -> Bool

Eq ControlMessage

Defined in GHC.Event.Control

Methods

(==) :: ControlMessage -> ControlMessage -> Bool

(/=) :: ControlMessage -> ControlMessage -> Bool

Eq EventLifetime

Defined in GHC.Event.Internal

Methods

(==) :: EventLifetime -> EventLifetime -> Bool

(/=) :: EventLifetime -> EventLifetime -> Bool

Eq BigNat

Defined in GHC.Integer.Type

Methods

(==) :: BigNat -> BigNat -> Bool

(/=) :: BigNat -> BigNat -> Bool

Eq Unique

Defined in GHC.Event.Unique

Methods

(==) :: Unique -> Unique -> Bool

(/=) :: Unique -> Unique -> Bool

Eq Void

Since: base-4.8.0.0

Defined in Data.Void

Methods

(==) :: Void -> Void -> Bool

(/=) :: Void -> Void -> Bool

Eq SpecConstrAnnotation

Defined in GHC.Exts

Methods

(==) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool

(/=) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool

Eq Constr

Equality of constructors

Since: base-4.0.0.0

Defined in Data.Data

Methods

(==) :: Constr -> Constr -> Bool

(/=) :: Constr -> Constr -> Bool

Eq DataRep

Defined in Data.Data

Methods

(==) :: DataRep -> DataRep -> Bool

(/=) :: DataRep -> DataRep -> Bool

Eq ConstrRep

Defined in Data.Data

Methods

(==) :: ConstrRep -> ConstrRep -> Bool

(/=) :: ConstrRep -> ConstrRep -> Bool

Eq Fixity

Defined in Data.Data

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Eq ByteOrder

Defined in GHC.ByteOrder

Methods

(==) :: ByteOrder -> ByteOrder -> Bool

(/=) :: ByteOrder -> ByteOrder -> Bool

Eq Version

Since: base-2.1

Defined in Data.Version

Methods

(==) :: Version -> Version -> Bool

(/=) :: Version -> Version -> Bool

Eq HandlePosn

Since: base-4.1.0.0

Defined in GHC.IO.Handle

Methods

(==) :: HandlePosn -> HandlePosn -> Bool

(/=) :: HandlePosn -> HandlePosn -> Bool

Eq FdKey

Defined in GHC.Event.Manager

Methods

(==) :: FdKey -> FdKey -> Bool

(/=) :: FdKey -> FdKey -> Bool

Eq TimeoutKey

Defined in GHC.Event.TimerManager

Methods

(==) :: TimeoutKey -> TimeoutKey -> Bool

(/=) :: TimeoutKey -> TimeoutKey -> Bool

Eq BlockReason

Defined in GHC.Conc.Sync

Methods

(==) :: BlockReason -> BlockReason -> Bool

(/=) :: BlockReason -> BlockReason -> Bool

Eq ThreadStatus

Defined in GHC.Conc.Sync

Methods

(==) :: ThreadStatus -> ThreadStatus -> Bool

(/=) :: ThreadStatus -> ThreadStatus -> Bool

Eq Event

Defined in GHC.Event.Internal

Methods

(==) :: Event -> Event -> Bool

(/=) :: Event -> Event -> Bool

Eq Lifetime

Defined in GHC.Event.Internal

Methods

(==) :: Lifetime -> Lifetime -> Bool

(/=) :: Lifetime -> Lifetime -> Bool

Eq CDev

Defined in System.Posix.Types

Methods

(==) :: CDev -> CDev -> Bool

(/=) :: CDev -> CDev -> Bool

Eq CIno

Defined in System.Posix.Types

Methods

(==) :: CIno -> CIno -> Bool

(/=) :: CIno -> CIno -> Bool

Eq CMode

Defined in System.Posix.Types

Methods

(==) :: CMode -> CMode -> Bool

(/=) :: CMode -> CMode -> Bool

Eq COff

Defined in System.Posix.Types

Methods

(==) :: COff -> COff -> Bool

(/=) :: COff -> COff -> Bool

Eq CPid

Defined in System.Posix.Types

Methods

(==) :: CPid -> CPid -> Bool

(/=) :: CPid -> CPid -> Bool

Eq CSsize

Defined in System.Posix.Types

Methods

(==) :: CSsize -> CSsize -> Bool

(/=) :: CSsize -> CSsize -> Bool

Eq CGid

Defined in System.Posix.Types

Methods

(==) :: CGid -> CGid -> Bool

(/=) :: CGid -> CGid -> Bool

Eq CNlink

Defined in System.Posix.Types

Methods

(==) :: CNlink -> CNlink -> Bool

(/=) :: CNlink -> CNlink -> Bool

Eq CUid

Defined in System.Posix.Types

Methods

(==) :: CUid -> CUid -> Bool

(/=) :: CUid -> CUid -> Bool

Eq CCc

Defined in System.Posix.Types

Methods

(==) :: CCc -> CCc -> Bool

(/=) :: CCc -> CCc -> Bool

Eq CSpeed

Defined in System.Posix.Types

Methods

(==) :: CSpeed -> CSpeed -> Bool

(/=) :: CSpeed -> CSpeed -> Bool

Eq CTcflag

Defined in System.Posix.Types

Methods

(==) :: CTcflag -> CTcflag -> Bool

(/=) :: CTcflag -> CTcflag -> Bool

Eq CRLim

Defined in System.Posix.Types

Methods

(==) :: CRLim -> CRLim -> Bool

(/=) :: CRLim -> CRLim -> Bool

Eq CBlkSize

Defined in System.Posix.Types

Methods

(==) :: CBlkSize -> CBlkSize -> Bool

(/=) :: CBlkSize -> CBlkSize -> Bool

Eq CBlkCnt

Defined in System.Posix.Types

Methods

(==) :: CBlkCnt -> CBlkCnt -> Bool

(/=) :: CBlkCnt -> CBlkCnt -> Bool

Eq CClockId

Defined in System.Posix.Types

Methods

(==) :: CClockId -> CClockId -> Bool

(/=) :: CClockId -> CClockId -> Bool

Eq CFsBlkCnt

Defined in System.Posix.Types

Methods

(==) :: CFsBlkCnt -> CFsBlkCnt -> Bool

(/=) :: CFsBlkCnt -> CFsBlkCnt -> Bool

Eq CFsFilCnt

Defined in System.Posix.Types

Methods

(==) :: CFsFilCnt -> CFsFilCnt -> Bool

(/=) :: CFsFilCnt -> CFsFilCnt -> Bool

Eq CId

Defined in System.Posix.Types

Methods

(==) :: CId -> CId -> Bool

(/=) :: CId -> CId -> Bool

Eq CKey

Defined in System.Posix.Types

Methods

(==) :: CKey -> CKey -> Bool

(/=) :: CKey -> CKey -> Bool

Eq CTimer

Defined in System.Posix.Types

Methods

(==) :: CTimer -> CTimer -> Bool

(/=) :: CTimer -> CTimer -> Bool

Eq Fd

Defined in System.Posix.Types

Methods

(==) :: Fd -> Fd -> Bool

(/=) :: Fd -> Fd -> Bool

Eq Errno

Since: base-2.1

Defined in Foreign.C.Error

Methods

(==) :: Errno -> Errno -> Bool

(/=) :: Errno -> Errno -> Bool

Eq AsyncException

Defined in GHC.IO.Exception

Methods

(==) :: AsyncException -> AsyncException -> Bool

(/=) :: AsyncException -> AsyncException -> Bool

Eq ArrayException

Defined in GHC.IO.Exception

Methods

(==) :: ArrayException -> ArrayException -> Bool

(/=) :: ArrayException -> ArrayException -> Bool

Eq ExitCode

Defined in GHC.IO.Exception

Methods

(==) :: ExitCode -> ExitCode -> Bool

(/=) :: ExitCode -> ExitCode -> Bool

Eq IOErrorType

Since: base-4.1.0.0

Defined in GHC.IO.Exception

Methods

(==) :: IOErrorType -> IOErrorType -> Bool

(/=) :: IOErrorType -> IOErrorType -> Bool

Eq BufferMode

Defined in GHC.IO.Handle.Types

Methods

(==) :: BufferMode -> BufferMode -> Bool

(/=) :: BufferMode -> BufferMode -> Bool

Eq Newline

Defined in GHC.IO.Handle.Types

Methods

(==) :: Newline -> Newline -> Bool

(/=) :: Newline -> Newline -> Bool

Eq NewlineMode

Defined in GHC.IO.Handle.Types

Methods

(==) :: NewlineMode -> NewlineMode -> Bool

(/=) :: NewlineMode -> NewlineMode -> Bool

Eq IODeviceType

Defined in GHC.IO.Device

Methods

(==) :: IODeviceType -> IODeviceType -> Bool

(/=) :: IODeviceType -> IODeviceType -> Bool

Eq SeekMode

Defined in GHC.IO.Device

Methods

(==) :: SeekMode -> SeekMode -> Bool

(/=) :: SeekMode -> SeekMode -> Bool

Eq CodingProgress

Defined in GHC.IO.Encoding.Types

Methods

(==) :: CodingProgress -> CodingProgress -> Bool

(/=) :: CodingProgress -> CodingProgress -> Bool

Eq MaskingState

Defined in GHC.IO

Methods

(==) :: MaskingState -> MaskingState -> Bool

(/=) :: MaskingState -> MaskingState -> Bool

Eq IOException

Since: base-4.1.0.0

Defined in GHC.IO.Exception

Methods

(==) :: IOException -> IOException -> Bool

(/=) :: IOException -> IOException -> Bool

Eq ErrorCall

Defined in GHC.Exception

Methods

(==) :: ErrorCall -> ErrorCall -> Bool

(/=) :: ErrorCall -> ErrorCall -> Bool

Eq ArithException

Defined in GHC.Exception

Methods

(==) :: ArithException -> ArithException -> Bool

(/=) :: ArithException -> ArithException -> Bool

Eq All

Defined in Data.Semigroup.Internal

Methods

(==) :: All -> All -> Bool

(/=) :: All -> All -> Bool

Eq Any

Defined in Data.Semigroup.Internal

Methods

(==) :: Any -> Any -> Bool

(/=) :: Any -> Any -> Bool

Eq Fixity

Defined in GHC.Generics

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Eq Associativity

Defined in GHC.Generics

Methods

(==) :: Associativity -> Associativity -> Bool

(/=) :: Associativity -> Associativity -> Bool

Eq SourceUnpackedness

Defined in GHC.Generics

Methods

(==) :: SourceUnpackedness -> SourceUnpackedness -> Bool

(/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool

Eq SourceStrictness

Defined in GHC.Generics

Methods

(==) :: SourceStrictness -> SourceStrictness -> Bool

(/=) :: SourceStrictness -> SourceStrictness -> Bool

Eq DecidedStrictness

Defined in GHC.Generics

Methods

(==) :: DecidedStrictness -> DecidedStrictness -> Bool

(/=) :: DecidedStrictness -> DecidedStrictness -> Bool

Eq SomeSymbol

Since: base-4.7.0.0

Defined in GHC.TypeLits

Methods

(==) :: SomeSymbol -> SomeSymbol -> Bool

(/=) :: SomeSymbol -> SomeSymbol -> Bool

Eq SomeNat

Since: base-4.7.0.0

Defined in GHC.TypeNats

Methods

(==) :: SomeNat -> SomeNat -> Bool

(/=) :: SomeNat -> SomeNat -> Bool

Eq CChar

Defined in Foreign.C.Types

Methods

(==) :: CChar -> CChar -> Bool

(/=) :: CChar -> CChar -> Bool

Eq CSChar

Defined in Foreign.C.Types

Methods

(==) :: CSChar -> CSChar -> Bool

(/=) :: CSChar -> CSChar -> Bool

Eq CUChar

Defined in Foreign.C.Types

Methods

(==) :: CUChar -> CUChar -> Bool

(/=) :: CUChar -> CUChar -> Bool

Eq CShort

Defined in Foreign.C.Types

Methods

(==) :: CShort -> CShort -> Bool

(/=) :: CShort -> CShort -> Bool

Eq CUShort

Defined in Foreign.C.Types

Methods

(==) :: CUShort -> CUShort -> Bool

(/=) :: CUShort -> CUShort -> Bool

Eq CInt

Defined in Foreign.C.Types

Methods

(==) :: CInt -> CInt -> Bool

(/=) :: CInt -> CInt -> Bool

Eq CUInt

Defined in Foreign.C.Types

Methods

(==) :: CUInt -> CUInt -> Bool

(/=) :: CUInt -> CUInt -> Bool

Eq CLong

Defined in Foreign.C.Types

Methods

(==) :: CLong -> CLong -> Bool

(/=) :: CLong -> CLong -> Bool

Eq CULong

Defined in Foreign.C.Types

Methods

(==) :: CULong -> CULong -> Bool

(/=) :: CULong -> CULong -> Bool

Eq CLLong

Defined in Foreign.C.Types

Methods

(==) :: CLLong -> CLLong -> Bool

(/=) :: CLLong -> CLLong -> Bool

Eq CULLong

Defined in Foreign.C.Types

Methods

(==) :: CULLong -> CULLong -> Bool

(/=) :: CULLong -> CULLong -> Bool

Eq CBool

Defined in Foreign.C.Types

Methods

(==) :: CBool -> CBool -> Bool

(/=) :: CBool -> CBool -> Bool

Eq CFloat

Defined in Foreign.C.Types

Methods

(==) :: CFloat -> CFloat -> Bool

(/=) :: CFloat -> CFloat -> Bool

Eq CDouble

Defined in Foreign.C.Types

Methods

(==) :: CDouble -> CDouble -> Bool

(/=) :: CDouble -> CDouble -> Bool

Eq CPtrdiff

Defined in Foreign.C.Types

Methods

(==) :: CPtrdiff -> CPtrdiff -> Bool

(/=) :: CPtrdiff -> CPtrdiff -> Bool

Eq CSize

Defined in Foreign.C.Types

Methods

(==) :: CSize -> CSize -> Bool

(/=) :: CSize -> CSize -> Bool

Eq CWchar

Defined in Foreign.C.Types

Methods

(==) :: CWchar -> CWchar -> Bool

(/=) :: CWchar -> CWchar -> Bool

Eq CSigAtomic

Defined in Foreign.C.Types

Methods

(==) :: CSigAtomic -> CSigAtomic -> Bool

(/=) :: CSigAtomic -> CSigAtomic -> Bool

Eq CClock

Defined in Foreign.C.Types

Methods

(==) :: CClock -> CClock -> Bool

(/=) :: CClock -> CClock -> Bool

Eq CTime

Defined in Foreign.C.Types

Methods

(==) :: CTime -> CTime -> Bool

(/=) :: CTime -> CTime -> Bool

Eq CUSeconds

Defined in Foreign.C.Types

Methods

(==) :: CUSeconds -> CUSeconds -> Bool

(/=) :: CUSeconds -> CUSeconds -> Bool

Eq CSUSeconds

Defined in Foreign.C.Types

Methods

(==) :: CSUSeconds -> CSUSeconds -> Bool

(/=) :: CSUSeconds -> CSUSeconds -> Bool

Eq CIntPtr

Defined in Foreign.C.Types

Methods

(==) :: CIntPtr -> CIntPtr -> Bool

(/=) :: CIntPtr -> CIntPtr -> Bool

Eq CUIntPtr

Defined in Foreign.C.Types

Methods

(==) :: CUIntPtr -> CUIntPtr -> Bool

(/=) :: CUIntPtr -> CUIntPtr -> Bool

Eq CIntMax

Defined in Foreign.C.Types

Methods

(==) :: CIntMax -> CIntMax -> Bool

(/=) :: CIntMax -> CIntMax -> Bool

Eq CUIntMax

Defined in Foreign.C.Types

Methods

(==) :: CUIntMax -> CUIntMax -> Bool

(/=) :: CUIntMax -> CUIntMax -> Bool

Eq WordPtr

Defined in Foreign.Ptr

Methods

(==) :: WordPtr -> WordPtr -> Bool

(/=) :: WordPtr -> WordPtr -> Bool

Eq IntPtr

Defined in Foreign.Ptr

Methods

(==) :: IntPtr -> IntPtr -> Bool

(/=) :: IntPtr -> IntPtr -> Bool

Eq IOMode

Defined in GHC.IO.IOMode

Methods

(==) :: IOMode -> IOMode -> Bool

(/=) :: IOMode -> IOMode -> Bool

Eq Fingerprint

Defined in GHC.Fingerprint.Type

Methods

(==) :: Fingerprint -> Fingerprint -> Bool

(/=) :: Fingerprint -> Fingerprint -> Bool

Eq Lexeme

Defined in Text.Read.Lex

Methods

(==) :: Lexeme -> Lexeme -> Bool

(/=) :: Lexeme -> Lexeme -> Bool

Eq Number

Defined in Text.Read.Lex

Methods

(==) :: Number -> Number -> Bool

(/=) :: Number -> Number -> Bool

Eq GeneralCategory

Defined in GHC.Unicode

Methods

(==) :: GeneralCategory -> GeneralCategory -> Bool

(/=) :: GeneralCategory -> GeneralCategory -> Bool

Eq SrcLoc

Defined in GHC.Stack.Types

Methods

(==) :: SrcLoc -> SrcLoc -> Bool

(/=) :: SrcLoc -> SrcLoc -> Bool

Eq ShortByteString

Defined in Data.ByteString.Short.Internal

Methods

(==) :: ShortByteString -> ShortByteString -> Bool

(/=) :: ShortByteString -> ShortByteString -> Bool

Eq ByteArray

Since: primitive-0.6.3.0

Defined in Data.Primitive.ByteArray

Methods

(==) :: ByteArray -> ByteArray -> Bool

(/=) :: ByteArray -> ByteArray -> Bool

Eq DeserialiseFailure

Defined in Codec.CBOR.Read

Methods

(==) :: DeserialiseFailure -> DeserialiseFailure -> Bool

(/=) :: DeserialiseFailure -> DeserialiseFailure -> Bool

Eq IntSet

Defined in Data.IntSet.Internal

Methods

(==) :: IntSet -> IntSet -> Bool

(/=) :: IntSet -> IntSet -> Bool

Eq XdgDirectory

Defined in System.Directory

Methods

(==) :: XdgDirectory -> XdgDirectory -> Bool

(/=) :: XdgDirectory -> XdgDirectory -> Bool

Eq FileType

Defined in System.Directory.Internal.Common

Methods

(==) :: FileType -> FileType -> Bool

(/=) :: FileType -> FileType -> Bool

Eq Permissions

Defined in System.Directory.Internal.Common

Methods

(==) :: Permissions -> Permissions -> Bool

(/=) :: Permissions -> Permissions -> Bool

Eq EmailAddress

Defined in Text.Email.Parser

Methods

(==) :: EmailAddress -> EmailAddress -> Bool

(/=) :: EmailAddress -> EmailAddress -> Bool

Eq ConstructorInfo

Defined in Language.Haskell.TH.Datatype

Methods

(==) :: ConstructorInfo -> ConstructorInfo -> Bool

(/=) :: ConstructorInfo -> ConstructorInfo -> Bool

Eq DatatypeVariant

Defined in Language.Haskell.TH.Datatype

Methods

(==) :: DatatypeVariant -> DatatypeVariant -> Bool

(/=) :: DatatypeVariant -> DatatypeVariant -> Bool

Eq Extension

Defined in GHC.LanguageExtensions.Type

Methods

(==) :: Extension -> Extension -> Bool

(/=) :: Extension -> Extension -> Bool

Eq ForeignSrcLang

Defined in GHC.ForeignSrcLang.Type

Methods

(==) :: ForeignSrcLang -> ForeignSrcLang -> Bool

(/=) :: ForeignSrcLang -> ForeignSrcLang -> Bool

Eq Half

Defined in Numeric.Half

Methods

(==) :: Half -> Half -> Bool

(/=) :: Half -> Half -> Bool

Eq Boxed

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Boxed -> Boxed -> Bool

(/=) :: Boxed -> Boxed -> Bool

Eq Tool

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Tool -> Tool -> Bool

(/=) :: Tool -> Tool -> Bool

Eq SrcLoc

Defined in Language.Haskell.Exts.SrcLoc

Methods

(==) :: SrcLoc -> SrcLoc -> Bool

(/=) :: SrcLoc -> SrcLoc -> Bool

Eq SrcSpan

Defined in Language.Haskell.Exts.SrcLoc

Methods

(==) :: SrcSpan -> SrcSpan -> Bool

(/=) :: SrcSpan -> SrcSpan -> Bool

Eq SrcSpanInfo

Defined in Language.Haskell.Exts.SrcLoc

Methods

(==) :: SrcSpanInfo -> SrcSpanInfo -> Bool

(/=) :: SrcSpanInfo -> SrcSpanInfo -> Bool

Eq Mode

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

(==) :: Mode -> Mode -> Bool

(/=) :: Mode -> Mode -> Bool

Eq Style

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

(==) :: Style -> Style -> Bool

(/=) :: Style -> Style -> Bool

Eq TyVarBndr

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TyVarBndr -> TyVarBndr -> Bool

(/=) :: TyVarBndr -> TyVarBndr -> Bool

Eq Primitive

Defined in Data.Aeson.Lens

Methods

(==) :: Primitive -> Primitive -> Bool

(/=) :: Primitive -> Primitive -> Bool

Eq Pos

Defined in Text.Megaparsec.Pos

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Eq InvalidPosException

Defined in Text.Megaparsec.Pos

Methods

(==) :: InvalidPosException -> InvalidPosException -> Bool

(/=) :: InvalidPosException -> InvalidPosException -> Bool

Eq SourcePos

Defined in Text.Megaparsec.Pos

Methods

(==) :: SourcePos -> SourcePos -> Bool

(/=) :: SourcePos -> SourcePos -> Bool

Eq IntMultiSet

Defined in Data.IntMultiSet

Methods

(==) :: IntMultiSet -> IntMultiSet -> Bool

(/=) :: IntMultiSet -> IntMultiSet -> Bool

Eq Seed

Defined in System.Random.MWC

Methods

(==) :: Seed -> Seed -> Bool

(/=) :: Seed -> Seed -> Bool

Eq AddrInfoFlag

Defined in Network.Socket

Methods

(==) :: AddrInfoFlag -> AddrInfoFlag -> Bool

(/=) :: AddrInfoFlag -> AddrInfoFlag -> Bool

Eq AddrInfo

Defined in Network.Socket

Methods

(==) :: AddrInfo -> AddrInfo -> Bool

(/=) :: AddrInfo -> AddrInfo -> Bool

Eq NameInfoFlag

Defined in Network.Socket

Methods

(==) :: NameInfoFlag -> NameInfoFlag -> Bool

(/=) :: NameInfoFlag -> NameInfoFlag -> Bool

Eq Socket

Defined in Network.Socket.Types

Methods

(==) :: Socket -> Socket -> Bool

(/=) :: Socket -> Socket -> Bool

Eq SocketStatus

Defined in Network.Socket.Types

Methods

(==) :: SocketStatus -> SocketStatus -> Bool

(/=) :: SocketStatus -> SocketStatus -> Bool

Eq SocketType

Defined in Network.Socket.Types

Methods

(==) :: SocketType -> SocketType -> Bool

(/=) :: SocketType -> SocketType -> Bool

Eq Family

Defined in Network.Socket.Types

Methods

(==) :: Family -> Family -> Bool

(/=) :: Family -> Family -> Bool

Eq PortNumber

Defined in Network.Socket.Types

Methods

(==) :: PortNumber -> PortNumber -> Bool

(/=) :: PortNumber -> PortNumber -> Bool

Eq SockAddr

Defined in Network.Socket.Types

Methods

(==) :: SockAddr -> SockAddr -> Bool

(/=) :: SockAddr -> SockAddr -> Bool

Eq IPv4

Defined in Network.Info

Methods

(==) :: IPv4 -> IPv4 -> Bool

(/=) :: IPv4 -> IPv4 -> Bool

Eq IPv6

Defined in Network.Info

Methods

(==) :: IPv6 -> IPv6 -> Bool

(/=) :: IPv6 -> IPv6 -> Bool

Eq MAC

Defined in Network.Info

Methods

(==) :: MAC -> MAC -> Bool

(/=) :: MAC -> MAC -> Bool

Eq URI

Defined in Network.URI

Methods

(==) :: URI -> URI -> Bool

(/=) :: URI -> URI -> Bool

Eq URIAuth

Defined in Network.URI

Methods

(==) :: URIAuth -> URIAuth -> Bool

(/=) :: URIAuth -> URIAuth -> Bool

Eq ParserPrefs

Defined in Options.Applicative.Types

Methods

(==) :: ParserPrefs -> ParserPrefs -> Bool

(/=) :: ParserPrefs -> ParserPrefs -> Bool

Eq OptName

Defined in Options.Applicative.Types

Methods

(==) :: OptName -> OptName -> Bool

(/=) :: OptName -> OptName -> Bool

Eq OptVisibility

Defined in Options.Applicative.Types

Methods

(==) :: OptVisibility -> OptVisibility -> Bool

(/=) :: OptVisibility -> OptVisibility -> Bool

Eq ArgPolicy

Defined in Options.Applicative.Types

Methods

(==) :: ArgPolicy -> ArgPolicy -> Bool

(/=) :: ArgPolicy -> ArgPolicy -> Bool

Eq OptHelpInfo

Defined in Options.Applicative.Types

Methods

(==) :: OptHelpInfo -> OptHelpInfo -> Bool

(/=) :: OptHelpInfo -> OptHelpInfo -> Bool

Eq Doc

Defined in Text.PrettyPrint.HughesPJ

Methods

(==) :: Doc -> Doc -> Bool

(/=) :: Doc -> Doc -> Bool

Eq TextDetails

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

(==) :: TextDetails -> TextDetails -> Bool

(/=) :: TextDetails -> TextDetails -> Bool

Eq FusionDepth

Defined in Data.Text.Prettyprint.Doc.Internal

Methods

(==) :: FusionDepth -> FusionDepth -> Bool

(/=) :: FusionDepth -> FusionDepth -> Bool

Eq PageWidth

Defined in Data.Text.Prettyprint.Doc.Internal

Methods

(==) :: PageWidth -> PageWidth -> Bool

(/=) :: PageWidth -> PageWidth -> Bool

Eq LayoutOptions

Defined in Data.Text.Prettyprint.Doc.Internal

Methods

(==) :: LayoutOptions -> LayoutOptions -> Bool

(/=) :: LayoutOptions -> LayoutOptions -> Bool

Eq Color

Defined in Data.Text.Prettyprint.Doc.Render.Terminal.Internal

Methods

(==) :: Color -> Color -> Bool

(/=) :: Color -> Color -> Bool

Eq Intensity

Defined in Data.Text.Prettyprint.Doc.Render.Terminal.Internal

Methods

(==) :: Intensity -> Intensity -> Bool

(/=) :: Intensity -> Intensity -> Bool

Eq Layer

Defined in Data.Text.Prettyprint.Doc.Render.Terminal.Internal

Methods

(==) :: Layer -> Layer -> Bool

(/=) :: Layer -> Layer -> Bool

Eq Bold

Defined in Data.Text.Prettyprint.Doc.Render.Terminal.Internal

Methods

(==) :: Bold -> Bold -> Bool

(/=) :: Bold -> Bold -> Bool

Eq Underlined

Defined in Data.Text.Prettyprint.Doc.Render.Terminal.Internal

Methods

(==) :: Underlined -> Underlined -> Bool

(/=) :: Underlined -> Underlined -> Bool

Eq Italicized

Defined in Data.Text.Prettyprint.Doc.Render.Terminal.Internal

Methods

(==) :: Italicized -> Italicized -> Bool

(/=) :: Italicized -> Italicized -> Bool

Eq AnsiStyle

Defined in Data.Text.Prettyprint.Doc.Render.Terminal.Internal

Methods

(==) :: AnsiStyle -> AnsiStyle -> Bool

(/=) :: AnsiStyle -> AnsiStyle -> Bool

Eq Addr

Defined in Data.Primitive.Types

Methods

(==) :: Addr -> Addr -> Bool

(/=) :: Addr -> Addr -> Bool

Eq Greediness

Defined in Text.Regex.Applicative.Types

Methods

(==) :: Greediness -> Greediness -> Bool

(/=) :: Greediness -> Greediness -> Bool

Eq DelimPolicy

Defined in Data.List.Split.Internals

Methods

(==) :: DelimPolicy -> DelimPolicy -> Bool

(/=) :: DelimPolicy -> DelimPolicy -> Bool

Eq CondensePolicy

Defined in Data.List.Split.Internals

Methods

(==) :: CondensePolicy -> CondensePolicy -> Bool

(/=) :: CondensePolicy -> CondensePolicy -> Bool

Eq EndPolicy

Defined in Data.List.Split.Internals

Methods

(==) :: EndPolicy -> EndPolicy -> Bool

(/=) :: EndPolicy -> EndPolicy -> Bool

Eq TSem

Defined in Control.Concurrent.STM.TSem

Methods

(==) :: TSem -> TSem -> Bool

(/=) :: TSem -> TSem -> Bool

Eq ModName

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: ModName -> ModName -> Bool

(/=) :: ModName -> ModName -> Bool

Eq PkgName

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: PkgName -> PkgName -> Bool

(/=) :: PkgName -> PkgName -> Bool

Eq Module

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Module -> Module -> Bool

(/=) :: Module -> Module -> Bool

Eq OccName

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: OccName -> OccName -> Bool

(/=) :: OccName -> OccName -> Bool

Eq NameFlavour

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: NameFlavour -> NameFlavour -> Bool

(/=) :: NameFlavour -> NameFlavour -> Bool

Eq NameSpace

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: NameSpace -> NameSpace -> Bool

(/=) :: NameSpace -> NameSpace -> Bool

Eq Loc

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Loc -> Loc -> Bool

(/=) :: Loc -> Loc -> Bool

Eq Info

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Info -> Info -> Bool

(/=) :: Info -> Info -> Bool

Eq ModuleInfo

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: ModuleInfo -> ModuleInfo -> Bool

(/=) :: ModuleInfo -> ModuleInfo -> Bool

Eq Fixity

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Fixity -> Fixity -> Bool

(/=) :: Fixity -> Fixity -> Bool

Eq FixityDirection

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: FixityDirection -> FixityDirection -> Bool

(/=) :: FixityDirection -> FixityDirection -> Bool

Eq Lit

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Lit -> Lit -> Bool

(/=) :: Lit -> Lit -> Bool

Eq Body

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Body -> Body -> Bool

(/=) :: Body -> Body -> Bool

Eq Guard

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Guard -> Guard -> Bool

(/=) :: Guard -> Guard -> Bool

Eq Stmt

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Stmt -> Stmt -> Bool

(/=) :: Stmt -> Stmt -> Bool

Eq Range

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Range -> Range -> Bool

(/=) :: Range -> Range -> Bool

Eq DerivClause

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: DerivClause -> DerivClause -> Bool

(/=) :: DerivClause -> DerivClause -> Bool

Eq TypeFamilyHead

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TypeFamilyHead -> TypeFamilyHead -> Bool

(/=) :: TypeFamilyHead -> TypeFamilyHead -> Bool

Eq TySynEqn

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TySynEqn -> TySynEqn -> Bool

(/=) :: TySynEqn -> TySynEqn -> Bool

Eq Foreign

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Foreign -> Foreign -> Bool

(/=) :: Foreign -> Foreign -> Bool

Eq Callconv

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Callconv -> Callconv -> Bool

(/=) :: Callconv -> Callconv -> Bool

Eq Safety

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Safety -> Safety -> Bool

(/=) :: Safety -> Safety -> Bool

Eq Pragma

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Pragma -> Pragma -> Bool

(/=) :: Pragma -> Pragma -> Bool

Eq Inline

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Inline -> Inline -> Bool

(/=) :: Inline -> Inline -> Bool

Eq RuleMatch

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: RuleMatch -> RuleMatch -> Bool

(/=) :: RuleMatch -> RuleMatch -> Bool

Eq Phases

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Phases -> Phases -> Bool

(/=) :: Phases -> Phases -> Bool

Eq RuleBndr

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: RuleBndr -> RuleBndr -> Bool

(/=) :: RuleBndr -> RuleBndr -> Bool

Eq AnnTarget

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: AnnTarget -> AnnTarget -> Bool

(/=) :: AnnTarget -> AnnTarget -> Bool

Eq SourceUnpackedness

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: SourceUnpackedness -> SourceUnpackedness -> Bool

(/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool

Eq SourceStrictness

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: SourceStrictness -> SourceStrictness -> Bool

(/=) :: SourceStrictness -> SourceStrictness -> Bool

Eq DecidedStrictness

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: DecidedStrictness -> DecidedStrictness -> Bool

(/=) :: DecidedStrictness -> DecidedStrictness -> Bool

Eq Bang

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Bang -> Bang -> Bool

(/=) :: Bang -> Bang -> Bool

Eq PatSynDir

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: PatSynDir -> PatSynDir -> Bool

(/=) :: PatSynDir -> PatSynDir -> Bool

Eq PatSynArgs

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: PatSynArgs -> PatSynArgs -> Bool

(/=) :: PatSynArgs -> PatSynArgs -> Bool

Eq FamilyResultSig

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: FamilyResultSig -> FamilyResultSig -> Bool

(/=) :: FamilyResultSig -> FamilyResultSig -> Bool

Eq TyLit

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: TyLit -> TyLit -> Bool

(/=) :: TyLit -> TyLit -> Bool

Eq Role

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: Role -> Role -> Bool

(/=) :: Role -> Role -> Bool

Eq AnnLookup

Defined in Language.Haskell.TH.Syntax

Methods

(==) :: AnnLookup -> AnnLookup -> Bool

(/=) :: AnnLookup -> AnnLookup -> Bool

Eq UnicodeException

Defined in Data.Text.Encoding.Error

Methods

(==) :: UnicodeException -> UnicodeException -> Bool

(/=) :: UnicodeException -> UnicodeException -> Bool

Eq B

Defined in Data.Text.Short.Internal

Methods

(==) :: B -> B -> Bool

(/=) :: B -> B -> Bool

Eq ShortText

Defined in Data.Text.Short.Internal

Methods

(==) :: ShortText -> ShortText -> Bool

(/=) :: ShortText -> ShortText -> Bool

Eq DatatypeInfo

Defined in Language.Haskell.TH.Datatype

Methods

(==) :: DatatypeInfo -> DatatypeInfo -> Bool

(/=) :: DatatypeInfo -> DatatypeInfo -> Bool

Eq ConstructorVariant

Defined in Language.Haskell.TH.Datatype

Methods

(==) :: ConstructorVariant -> ConstructorVariant -> Bool

(/=) :: ConstructorVariant -> ConstructorVariant -> Bool

Eq FieldStrictness

Defined in Language.Haskell.TH.Datatype

Methods

(==) :: FieldStrictness -> FieldStrictness -> Bool

(/=) :: FieldStrictness -> FieldStrictness -> Bool

Eq Unpackedness

Defined in Language.Haskell.TH.Datatype

Methods

(==) :: Unpackedness -> Unpackedness -> Bool

(/=) :: Unpackedness -> Unpackedness -> Bool

Eq Strictness

Defined in Language.Haskell.TH.Datatype

Methods

(==) :: Strictness -> Strictness -> Bool

(/=) :: Strictness -> Strictness -> Bool

Eq TimeLocale

Defined in Data.Time.Format.Locale

Methods

(==) :: TimeLocale -> TimeLocale -> Bool

(/=) :: TimeLocale -> TimeLocale -> Bool

Eq LocalTime

Defined in Data.Time.LocalTime.Internal.LocalTime

Methods

(==) :: LocalTime -> LocalTime -> Bool

(/=) :: LocalTime -> LocalTime -> Bool

Eq TimeOfDay

Defined in Data.Time.LocalTime.Internal.TimeOfDay

Methods

(==) :: TimeOfDay -> TimeOfDay -> Bool

(/=) :: TimeOfDay -> TimeOfDay -> Bool

Eq TimeZone

Defined in Data.Time.LocalTime.Internal.TimeZone

Methods

(==) :: TimeZone -> TimeZone -> Bool

(/=) :: TimeZone -> TimeZone -> Bool

Eq UniversalTime

Defined in Data.Time.Clock.Internal.UniversalTime

Methods

(==) :: UniversalTime -> UniversalTime -> Bool

(/=) :: UniversalTime -> UniversalTime -> Bool

Eq NominalDiffTime

Defined in Data.Time.Clock.Internal.NominalDiffTime

Methods

(==) :: NominalDiffTime -> NominalDiffTime -> Bool

(/=) :: NominalDiffTime -> NominalDiffTime -> Bool

Eq DiffTime

Defined in Data.Time.Clock.Internal.DiffTime

Methods

(==) :: DiffTime -> DiffTime -> Bool

(/=) :: DiffTime -> DiffTime -> Bool

Eq Day

Defined in Data.Time.Calendar.Days

Methods

(==) :: Day -> Day -> Bool

(/=) :: Day -> Day -> Bool

Eq Unique

Defined in Control.Concurrent.Unique

Methods

(==) :: Unique -> Unique -> Bool

(/=) :: Unique -> Unique -> Bool

Eq ProcessStatus

Defined in System.Posix.Process.Internals

Methods

(==) :: ProcessStatus -> ProcessStatus -> Bool

(/=) :: ProcessStatus -> ProcessStatus -> Bool

Eq UUID

Defined in Data.UUID.Types.Internal

Methods

(==) :: UUID -> UUID -> Bool

(/=) :: UUID -> UUID -> Bool

Eq UnpackedUUID

Defined in Data.UUID.Types.Internal

Methods

(==) :: UnpackedUUID -> UnpackedUUID -> Bool

(/=) :: UnpackedUUID -> UnpackedUUID -> Bool

Eq Direction

Defined in Data.Graph.Inductive.Query.MaxFlow2

Methods

(==) :: Direction -> Direction -> Bool

(/=) :: Direction -> Direction -> Bool

Eq DI

Defined in Data.Algorithm.Diff

Methods

(==) :: DI -> DI -> Bool

(/=) :: DI -> DI -> Bool

Eq DL

Defined in Data.Algorithm.Diff

Methods

(==) :: DL -> DL -> Bool

(/=) :: DL -> DL -> Bool

Eq State

Defined in GHC.Event.Manager

Methods

(==) :: State -> State -> Bool

(/=) :: State -> State -> Bool

Eq State

Defined in GHC.Event.TimerManager

Methods

(==) :: State -> State -> Bool

(/=) :: State -> State -> Bool

Eq CodePoint

Defined in Data.Text.Encoding

Methods

(==) :: CodePoint -> CodePoint -> Bool

(/=) :: CodePoint -> CodePoint -> Bool

Eq DecoderState

Defined in Data.Text.Encoding

Methods

(==) :: DecoderState -> DecoderState -> Bool

(/=) :: DecoderState -> DecoderState -> Bool

Class () (Eq a)

Defined in Data.Constraint

Methods

cls :: Eq a :- ()

() :=> (Eq Bool)

Defined in Data.Constraint

Methods

ins :: () :- Eq Bool

() :=> (Eq Double)

Defined in Data.Constraint

Methods

ins :: () :- Eq Double

() :=> (Eq Float)

Defined in Data.Constraint

Methods

ins :: () :- Eq Float

() :=> (Eq Int)

Defined in Data.Constraint

Methods

ins :: () :- Eq Int

() :=> (Eq Integer)

Defined in Data.Constraint

Methods

ins :: () :- Eq Integer

() :=> (Eq Natural)

Defined in Data.Constraint

Methods

ins :: () :- Eq Natural

() :=> (Eq Word)

Defined in Data.Constraint

Methods

ins :: () :- Eq Word

() :=> (Eq ())

Defined in Data.Constraint

Methods

ins :: () :- Eq ()

() :=> (Eq (Dict a))

Defined in Data.Constraint

Methods

ins :: () :- Eq (Dict a)

() :=> (Eq (a :- b))

Defined in Data.Constraint

Methods

ins :: () :- Eq (a :- b)

Eq a => Eq [a]

Defined in GHC.Classes

Methods

(==) :: [a] -> [a] -> Bool

(/=) :: [a] -> [a] -> Bool

Eq a => Eq (Maybe a)

Defined in GHC.Base

Methods

(==) :: Maybe a -> Maybe a -> Bool

(/=) :: Maybe a -> Maybe a -> Bool

Eq a => Eq (Ratio a)

Defined in GHC.Real

Methods

(==) :: Ratio a -> Ratio a -> Bool

(/=) :: Ratio a -> Ratio a -> Bool

Eq (StablePtr a)

Since: base-2.1

Defined in GHC.Stable

Methods

(==) :: StablePtr a -> StablePtr a -> Bool

(/=) :: StablePtr a -> StablePtr a -> Bool

Eq (Ptr a)

Defined in GHC.Ptr

Methods

(==) :: Ptr a -> Ptr a -> Bool

(/=) :: Ptr a -> Ptr a -> Bool

Eq (FunPtr a)

Defined in GHC.Ptr

Methods

(==) :: FunPtr a -> FunPtr a -> Bool

(/=) :: FunPtr a -> FunPtr a -> Bool

Eq p => Eq (Par1 p)

Defined in GHC.Generics

Methods

(==) :: Par1 p -> Par1 p -> Bool

(/=) :: Par1 p -> Par1 p -> Bool

Eq a => Eq (Diff a)

Defined in Data.Algorithm.Diff

Methods

(==) :: Diff a -> Diff a -> Bool

(/=) :: Diff a -> Diff a -> Bool

Eq (Encoding' a)

Defined in Data.Aeson.Encoding.Internal

Methods

(==) :: Encoding' a -> Encoding' a -> Bool

(/=) :: Encoding' a -> Encoding' a -> Bool

Eq a => Eq (IResult a)

Defined in Data.Aeson.Types.Internal

Methods

(==) :: IResult a -> IResult a -> Bool

(/=) :: IResult a -> IResult a -> Bool

Eq a => Eq (Result a)

Defined in Data.Aeson.Types.Internal

Methods

(==) :: Result a -> Result a -> Bool

(/=) :: Result a -> Result a -> Bool

Eq a => Eq (Approximate a)

Defined in Data.Approximate.Type

Methods

(==) :: Approximate a -> Approximate a -> Bool

(/=) :: Approximate a -> Approximate a -> Bool

Eq (ForeignPtr a)

Since: base-2.1

Defined in GHC.ForeignPtr

Methods

(==) :: ForeignPtr a -> ForeignPtr a -> Bool

(/=) :: ForeignPtr a -> ForeignPtr a -> Bool

Eq (Async a)

Defined in Control.Concurrent.Async

Methods

(==) :: Async a -> Async a -> Bool

(/=) :: Async a -> Async a -> Bool

Eq (IORef a)

Pointer equality.

Since: base-4.1.0.0

Defined in GHC.IORef

Methods

(==) :: IORef a -> IORef a -> Bool

(/=) :: IORef a -> IORef a -> Bool

Eq (Ticket a)

Defined in Data.Atomics.Internal

Methods

(==) :: Ticket a -> Ticket a -> Bool

(/=) :: Ticket a -> Ticket a -> Bool

Eq a => Eq (Complex a)

Defined in Data.Complex

Methods

(==) :: Complex a -> Complex a -> Bool

(/=) :: Complex a -> Complex a -> Bool

Eq (Fixed a)

Defined in Data.Fixed

Methods

(==) :: Fixed a -> Fixed a -> Bool

(/=) :: Fixed a -> Fixed a -> Bool

Eq a => Eq (Min a)

Defined in Data.Semigroup

Methods

(==) :: Min a -> Min a -> Bool

(/=) :: Min a -> Min a -> Bool

Eq a => Eq (Max a)

Defined in Data.Semigroup

Methods

(==) :: Max a -> Max a -> Bool

(/=) :: Max a -> Max a -> Bool

Eq a => Eq (First a)

Defined in Data.Semigroup

Methods

(==) :: First a -> First a -> Bool

(/=) :: First a -> First a -> Bool

Eq a => Eq (Last a)

Defined in Data.Semigroup

Methods

(==) :: Last a -> Last a -> Bool

(/=) :: Last a -> Last a -> Bool

Eq m => Eq (WrappedMonoid m)

Defined in Data.Semigroup

Methods

(==) :: WrappedMonoid m -> WrappedMonoid m -> Bool

(/=) :: WrappedMonoid m -> WrappedMonoid m -> Bool

Eq a => Eq (Option a)

Defined in Data.Semigroup

Methods

(==) :: Option a -> Option a -> Bool

(/=) :: Option a -> Option a -> Bool

Eq (Chan a)

Defined in Control.Concurrent.Chan

Methods

(==) :: Chan a -> Chan a -> Bool

(/=) :: Chan a -> Chan a -> Bool

Eq (StableName a)

Since: base-2.1

Defined in System.Mem.StableName

Methods

(==) :: StableName a -> StableName a -> Bool

(/=) :: StableName a -> StableName a -> Bool

Eq a => Eq (ZipList a)

Defined in Control.Applicative

Methods

(==) :: ZipList a -> ZipList a -> Bool

(/=) :: ZipList a -> ZipList a -> Bool

Eq a => Eq (Identity a)

Defined in Data.Functor.Identity

Methods

(==) :: Identity a -> Identity a -> Bool

(/=) :: Identity a -> Identity a -> Bool

Eq (TVar a)

Since: base-4.8.0.0

Defined in GHC.Conc.Sync

Methods

(==) :: TVar a -> TVar a -> Bool

(/=) :: TVar a -> TVar a -> Bool

Eq a => Eq (First a)

Defined in Data.Monoid

Methods

(==) :: First a -> First a -> Bool

(/=) :: First a -> First a -> Bool

Eq a => Eq (Last a)

Defined in Data.Monoid

Methods

(==) :: Last a -> Last a -> Bool

(/=) :: Last a -> Last a -> Bool

Eq a => Eq (Dual a)

Defined in Data.Semigroup.Internal

Methods

(==) :: Dual a -> Dual a -> Bool

(/=) :: Dual a -> Dual a -> Bool

Eq a => Eq (Sum a)

Defined in Data.Semigroup.Internal

Methods

(==) :: Sum a -> Sum a -> Bool

(/=) :: Sum a -> Sum a -> Bool

Eq a => Eq (Product a)

Defined in Data.Semigroup.Internal

Methods

(==) :: Product a -> Product a -> Bool

(/=) :: Product a -> Product a -> Bool

Eq a => Eq (Down a)

Defined in Data.Ord

Methods

(==) :: Down a -> Down a -> Bool

(/=) :: Down a -> Down a -> Bool

Eq (MVar a)

Since: base-4.1.0.0

Defined in GHC.MVar

Methods

(==) :: MVar a -> MVar a -> Bool

(/=) :: MVar a -> MVar a -> Bool

Eq a => Eq (NonEmpty a)

Defined in GHC.Base

Methods

(==) :: NonEmpty a -> NonEmpty a -> Bool

(/=) :: NonEmpty a -> NonEmpty a -> Bool

Eq s => Eq (CI s)

Defined in Data.CaseInsensitive.Internal

Methods

(==) :: CI s -> CI s -> Bool

(/=) :: CI s -> CI s -> Bool

Eq (Dict a)

Defined in Data.Constraint

Methods

(==) :: Dict a -> Dict a -> Bool

(/=) :: Dict a -> Dict a -> Bool

Eq a => Eq (IntMap a)

Defined in Data.IntMap.Internal

Methods

(==) :: IntMap a -> IntMap a -> Bool

(/=) :: IntMap a -> IntMap a -> Bool

Eq vertex => Eq (SCC vertex)

Since: containers-0.5.9

Defined in Data.Graph

Methods

(==) :: SCC vertex -> SCC vertex -> Bool

(/=) :: SCC vertex -> SCC vertex -> Bool

Eq a => Eq (Tree a)

Defined in Data.Tree

Methods

(==) :: Tree a -> Tree a -> Bool

(/=) :: Tree a -> Tree a -> Bool

Eq a => Eq (Seq a)

Defined in Data.Sequence.Internal

Methods

(==) :: Seq a -> Seq a -> Bool

(/=) :: Seq a -> Seq a -> Bool

Eq a => Eq (ViewL a)

Defined in Data.Sequence.Internal

Methods

(==) :: ViewL a -> ViewL a -> Bool

(/=) :: ViewL a -> ViewL a -> Bool

Eq a => Eq (ViewR a)

Defined in Data.Sequence.Internal

Methods

(==) :: ViewR a -> ViewR a -> Bool

(/=) :: ViewR a -> ViewR a -> Bool

Eq a => Eq (Set a)

Defined in Data.Set.Internal

Methods

(==) :: Set a -> Set a -> Bool

(/=) :: Set a -> Set a -> Bool

Eq a => Eq (DList a)

Defined in Data.DList

Methods

(==) :: DList a -> DList a -> Bool

(/=) :: DList a -> DList a -> Bool

Eq a => Eq (LPath a)

Defined in Data.Graph.Inductive.Graph

Methods

(==) :: LPath a -> LPath a -> Bool

(/=) :: LPath a -> LPath a -> Bool

Eq a => Eq (Hashed a)

Uses precomputed hash to detect inequality faster

Defined in Data.Hashable.Class

Methods

(==) :: Hashed a -> Hashed a -> Bool

(/=) :: Hashed a -> Hashed a -> Bool

Eq l => Eq (PragmasAndModuleName l)

Defined in Language.Haskell.Exts.Parser

Methods

(==) :: PragmasAndModuleName l -> PragmasAndModuleName l -> Bool

(/=) :: PragmasAndModuleName l -> PragmasAndModuleName l -> Bool

Eq l => Eq (PragmasAndModuleHead l)

Defined in Language.Haskell.Exts.Parser

Methods

(==) :: PragmasAndModuleHead l -> PragmasAndModuleHead l -> Bool

(/=) :: PragmasAndModuleHead l -> PragmasAndModuleHead l -> Bool

Eq l => Eq (ModuleHeadAndImports l)

Defined in Language.Haskell.Exts.Parser

Methods

(==) :: ModuleHeadAndImports l -> ModuleHeadAndImports l -> Bool

(/=) :: ModuleHeadAndImports l -> ModuleHeadAndImports l -> Bool

Eq a => Eq (NonGreedy a)

Defined in Language.Haskell.Exts.Parser

Methods

(==) :: NonGreedy a -> NonGreedy a -> Bool

(/=) :: NonGreedy a -> NonGreedy a -> Bool

Eq a => Eq (ListOf a)

Defined in Language.Haskell.Exts.Parser

Methods

(==) :: ListOf a -> ListOf a -> Bool

(/=) :: ListOf a -> ListOf a -> Bool

Eq l => Eq (ModuleName l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ModuleName l -> ModuleName l -> Bool

(/=) :: ModuleName l -> ModuleName l -> Bool

Eq l => Eq (SpecialCon l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: SpecialCon l -> SpecialCon l -> Bool

(/=) :: SpecialCon l -> SpecialCon l -> Bool

Eq l => Eq (QName l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: QName l -> QName l -> Bool

(/=) :: QName l -> QName l -> Bool

Eq l => Eq (Name l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Name l -> Name l -> Bool

(/=) :: Name l -> Name l -> Bool

Eq l => Eq (IPName l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: IPName l -> IPName l -> Bool

(/=) :: IPName l -> IPName l -> Bool

Eq l => Eq (QOp l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: QOp l -> QOp l -> Bool

(/=) :: QOp l -> QOp l -> Bool

Eq l => Eq (Op l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Op l -> Op l -> Bool

(/=) :: Op l -> Op l -> Bool

Eq l => Eq (CName l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: CName l -> CName l -> Bool

(/=) :: CName l -> CName l -> Bool

Eq l => Eq (Module l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Module l -> Module l -> Bool

(/=) :: Module l -> Module l -> Bool

Eq l => Eq (ModuleHead l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ModuleHead l -> ModuleHead l -> Bool

(/=) :: ModuleHead l -> ModuleHead l -> Bool

Eq l => Eq (ExportSpecList l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ExportSpecList l -> ExportSpecList l -> Bool

(/=) :: ExportSpecList l -> ExportSpecList l -> Bool

Eq l => Eq (ExportSpec l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ExportSpec l -> ExportSpec l -> Bool

(/=) :: ExportSpec l -> ExportSpec l -> Bool

Eq l => Eq (EWildcard l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: EWildcard l -> EWildcard l -> Bool

(/=) :: EWildcard l -> EWildcard l -> Bool

Eq l => Eq (Namespace l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Namespace l -> Namespace l -> Bool

(/=) :: Namespace l -> Namespace l -> Bool

Eq l => Eq (ImportDecl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ImportDecl l -> ImportDecl l -> Bool

(/=) :: ImportDecl l -> ImportDecl l -> Bool

Eq l => Eq (ImportSpecList l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ImportSpecList l -> ImportSpecList l -> Bool

(/=) :: ImportSpecList l -> ImportSpecList l -> Bool

Eq l => Eq (ImportSpec l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ImportSpec l -> ImportSpec l -> Bool

(/=) :: ImportSpec l -> ImportSpec l -> Bool

Eq l => Eq (Assoc l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Assoc l -> Assoc l -> Bool

(/=) :: Assoc l -> Assoc l -> Bool

Eq l => Eq (Decl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Decl l -> Decl l -> Bool

(/=) :: Decl l -> Decl l -> Bool

Eq l => Eq (PatternSynDirection l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: PatternSynDirection l -> PatternSynDirection l -> Bool

(/=) :: PatternSynDirection l -> PatternSynDirection l -> Bool

Eq l => Eq (TypeEqn l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: TypeEqn l -> TypeEqn l -> Bool

(/=) :: TypeEqn l -> TypeEqn l -> Bool

Eq l => Eq (Annotation l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Annotation l -> Annotation l -> Bool

(/=) :: Annotation l -> Annotation l -> Bool

Eq l => Eq (BooleanFormula l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: BooleanFormula l -> BooleanFormula l -> Bool

(/=) :: BooleanFormula l -> BooleanFormula l -> Bool

Eq l => Eq (Role l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Role l -> Role l -> Bool

(/=) :: Role l -> Role l -> Bool

Eq l => Eq (DataOrNew l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: DataOrNew l -> DataOrNew l -> Bool

(/=) :: DataOrNew l -> DataOrNew l -> Bool

Eq l => Eq (InjectivityInfo l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: InjectivityInfo l -> InjectivityInfo l -> Bool

(/=) :: InjectivityInfo l -> InjectivityInfo l -> Bool

Eq l => Eq (ResultSig l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ResultSig l -> ResultSig l -> Bool

(/=) :: ResultSig l -> ResultSig l -> Bool

Eq l => Eq (DeclHead l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: DeclHead l -> DeclHead l -> Bool

(/=) :: DeclHead l -> DeclHead l -> Bool

Eq l => Eq (InstRule l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: InstRule l -> InstRule l -> Bool

(/=) :: InstRule l -> InstRule l -> Bool

Eq l => Eq (InstHead l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: InstHead l -> InstHead l -> Bool

(/=) :: InstHead l -> InstHead l -> Bool

Eq l => Eq (Deriving l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Deriving l -> Deriving l -> Bool

(/=) :: Deriving l -> Deriving l -> Bool

Eq l => Eq (DerivStrategy l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: DerivStrategy l -> DerivStrategy l -> Bool

(/=) :: DerivStrategy l -> DerivStrategy l -> Bool

Eq l => Eq (Binds l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Binds l -> Binds l -> Bool

(/=) :: Binds l -> Binds l -> Bool

Eq l => Eq (IPBind l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: IPBind l -> IPBind l -> Bool

(/=) :: IPBind l -> IPBind l -> Bool

Eq l => Eq (Match l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Match l -> Match l -> Bool

(/=) :: Match l -> Match l -> Bool

Eq l => Eq (QualConDecl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: QualConDecl l -> QualConDecl l -> Bool

(/=) :: QualConDecl l -> QualConDecl l -> Bool

Eq l => Eq (ConDecl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ConDecl l -> ConDecl l -> Bool

(/=) :: ConDecl l -> ConDecl l -> Bool

Eq l => Eq (FieldDecl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: FieldDecl l -> FieldDecl l -> Bool

(/=) :: FieldDecl l -> FieldDecl l -> Bool

Eq l => Eq (GadtDecl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: GadtDecl l -> GadtDecl l -> Bool

(/=) :: GadtDecl l -> GadtDecl l -> Bool

Eq l => Eq (ClassDecl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ClassDecl l -> ClassDecl l -> Bool

(/=) :: ClassDecl l -> ClassDecl l -> Bool

Eq l => Eq (InstDecl l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: InstDecl l -> InstDecl l -> Bool

(/=) :: InstDecl l -> InstDecl l -> Bool

Eq l => Eq (BangType l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: BangType l -> BangType l -> Bool

(/=) :: BangType l -> BangType l -> Bool

Eq l => Eq (Unpackedness l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Unpackedness l -> Unpackedness l -> Bool

(/=) :: Unpackedness l -> Unpackedness l -> Bool

Eq l => Eq (Rhs l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Rhs l -> Rhs l -> Bool

(/=) :: Rhs l -> Rhs l -> Bool

Eq l => Eq (GuardedRhs l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: GuardedRhs l -> GuardedRhs l -> Bool

(/=) :: GuardedRhs l -> GuardedRhs l -> Bool

Eq l => Eq (Type l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Type l -> Type l -> Bool

(/=) :: Type l -> Type l -> Bool

Eq l => Eq (MaybePromotedName l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: MaybePromotedName l -> MaybePromotedName l -> Bool

(/=) :: MaybePromotedName l -> MaybePromotedName l -> Bool

Eq l => Eq (Promoted l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Promoted l -> Promoted l -> Bool

(/=) :: Promoted l -> Promoted l -> Bool

Eq l => Eq (TyVarBind l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: TyVarBind l -> TyVarBind l -> Bool

(/=) :: TyVarBind l -> TyVarBind l -> Bool

Eq l => Eq (Kind l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Kind l -> Kind l -> Bool

(/=) :: Kind l -> Kind l -> Bool

Eq l => Eq (FunDep l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: FunDep l -> FunDep l -> Bool

(/=) :: FunDep l -> FunDep l -> Bool

Eq l => Eq (Context l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Context l -> Context l -> Bool

(/=) :: Context l -> Context l -> Bool

Eq l => Eq (Asst l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Asst l -> Asst l -> Bool

(/=) :: Asst l -> Asst l -> Bool

Eq l => Eq (Literal l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Literal l -> Literal l -> Bool

(/=) :: Literal l -> Literal l -> Bool

Eq l => Eq (Sign l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Sign l -> Sign l -> Bool

(/=) :: Sign l -> Sign l -> Bool

Eq l => Eq (Exp l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Exp l -> Exp l -> Bool

(/=) :: Exp l -> Exp l -> Bool

Eq l => Eq (XName l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: XName l -> XName l -> Bool

(/=) :: XName l -> XName l -> Bool

Eq l => Eq (XAttr l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: XAttr l -> XAttr l -> Bool

(/=) :: XAttr l -> XAttr l -> Bool

Eq l => Eq (Bracket l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Bracket l -> Bracket l -> Bool

(/=) :: Bracket l -> Bracket l -> Bool

Eq l => Eq (Splice l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Splice l -> Splice l -> Bool

(/=) :: Splice l -> Splice l -> Bool

Eq l => Eq (Safety l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Safety l -> Safety l -> Bool

(/=) :: Safety l -> Safety l -> Bool

Eq l => Eq (CallConv l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: CallConv l -> CallConv l -> Bool

(/=) :: CallConv l -> CallConv l -> Bool

Eq l => Eq (ModulePragma l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: ModulePragma l -> ModulePragma l -> Bool

(/=) :: ModulePragma l -> ModulePragma l -> Bool

Eq l => Eq (Overlap l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Overlap l -> Overlap l -> Bool

(/=) :: Overlap l -> Overlap l -> Bool

Eq l => Eq (Activation l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Activation l -> Activation l -> Bool

(/=) :: Activation l -> Activation l -> Bool

Eq l => Eq (Rule l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Rule l -> Rule l -> Bool

(/=) :: Rule l -> Rule l -> Bool

Eq l => Eq (RuleVar l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: RuleVar l -> RuleVar l -> Bool

(/=) :: RuleVar l -> RuleVar l -> Bool

Eq l => Eq (WarningText l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: WarningText l -> WarningText l -> Bool

(/=) :: WarningText l -> WarningText l -> Bool

Eq l => Eq (Pat l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Pat l -> Pat l -> Bool

(/=) :: Pat l -> Pat l -> Bool

Eq l => Eq (PXAttr l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: PXAttr l -> PXAttr l -> Bool

(/=) :: PXAttr l -> PXAttr l -> Bool

Eq l => Eq (RPatOp l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: RPatOp l -> RPatOp l -> Bool

(/=) :: RPatOp l -> RPatOp l -> Bool

Eq l => Eq (RPat l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: RPat l -> RPat l -> Bool

(/=) :: RPat l -> RPat l -> Bool

Eq l => Eq (PatField l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: PatField l -> PatField l -> Bool

(/=) :: PatField l -> PatField l -> Bool

Eq l => Eq (Stmt l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Stmt l -> Stmt l -> Bool

(/=) :: Stmt l -> Stmt l -> Bool

Eq l => Eq (QualStmt l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: QualStmt l -> QualStmt l -> Bool

(/=) :: QualStmt l -> QualStmt l -> Bool

Eq l => Eq (FieldUpdate l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: FieldUpdate l -> FieldUpdate l -> Bool

(/=) :: FieldUpdate l -> FieldUpdate l -> Bool

Eq l => Eq (Alt l)

Defined in Language.Haskell.Exts.Syntax

Methods

(==) :: Alt l -> Alt l -> Bool

(/=) :: Alt l -> Alt l -> Bool

Eq a => Eq (Loc a)

Defined in Language.Haskell.Exts.SrcLoc

Methods

(==) :: Loc a -> Loc a -> Bool

(/=) :: Loc a -> Loc a -> Bool

Eq (Heap a)

Defined in Data.Heap

Methods

(==) :: Heap a -> Heap a -> Bool

(/=) :: Heap a -> Heap a -> Bool

(Prim a, Eq a) => Eq (Vector a)

Defined in Data.Vector.Primitive

Methods

(==) :: Vector a -> Vector a -> Bool

(/=) :: Vector a -> Vector a -> Bool

(Storable a, Eq a) => Eq (Vector a)

Defined in Data.Vector.Storable

Methods

(==) :: Vector a -> Vector a -> Bool

(/=) :: Vector a -> Vector a -> Bool

Eq a => Eq (HashSet a)

Defined in Data.HashSet

Methods

(==) :: HashSet a -> HashSet a -> Bool

(/=) :: HashSet a -> HashSet a -> Bool

Eq a => Eq (Vector a)

Defined in Data.Vector

Methods

(==) :: Vector a -> Vector a -> Bool

(/=) :: Vector a -> Vector a -> Bool

Eq a => Eq (Log a)

Defined in Numeric.Log

Methods

(==) :: Log a -> Log a -> Bool

(/=) :: Log a -> Log a -> Bool

Eq t => Eq (ErrorItem t)

Defined in Text.Megaparsec.Error

Methods

(==) :: ErrorItem t -> ErrorItem t -> Bool

(/=) :: ErrorItem t -> ErrorItem t -> Bool

Eq e => Eq (ErrorFancy e)

Defined in Text.Megaparsec.Error

Methods

(==) :: ErrorFancy e -> ErrorFancy e -> Bool

(/=) :: ErrorFancy e -> ErrorFancy e -> Bool

Eq s => Eq (State s)

Defined in Text.Megaparsec.State

Methods

(==) :: State s -> State s -> Bool

(/=) :: State s -> State s -> Bool

Eq a => Eq (MultiSet a)

Defined in Data.MultiSet

Methods

(==) :: MultiSet a -> MultiSet a -> Bool

(/=) :: MultiSet a -> MultiSet a -> Bool

Eq a => Eq (NF a)

Defined in Data.NF.Internal

Methods

(==) :: NF a -> NF a -> Bool

(/=) :: NF a -> NF a -> Bool

Eq (Doc a)

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

(==) :: Doc a -> Doc a -> Bool

(/=) :: Doc a -> Doc a -> Bool

Eq a => Eq (AnnotDetails a)

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

(==) :: AnnotDetails a -> AnnotDetails a -> Bool

(/=) :: AnnotDetails a -> AnnotDetails a -> Bool

Eq a => Eq (Span a)

Defined in Text.PrettyPrint.Annotated.HughesPJ

Methods

(==) :: Span a -> Span a -> Bool

(/=) :: Span a -> Span a -> Bool

Eq ann => Eq (SimpleDocStream ann)

Defined in Data.Text.Prettyprint.Doc.Internal

Methods

(==) :: SimpleDocStream ann -> SimpleDocStream ann -> Bool

(/=) :: SimpleDocStream ann -> SimpleDocStream ann -> Bool

(Eq a, PrimUnlifted a) => Eq (UnliftedArray a)

Defined in Data.Primitive.UnliftedArray

Methods

(==) :: UnliftedArray a -> UnliftedArray a -> Bool

(/=) :: UnliftedArray a -> UnliftedArray a -> Bool

(Eq a, Prim a) => Eq (PrimArray a)

Since: primitive-0.6.4.0

Defined in Data.Primitive.PrimArray

Methods

(==) :: PrimArray a -> PrimArray a -> Bool

(/=) :: PrimArray a -> PrimArray a -> Bool

Eq a => Eq (SmallArray a)

Defined in Data.Primitive.SmallArray

Methods

(==) :: SmallArray a -> SmallArray a -> Bool

(/=) :: SmallArray a -> SmallArray a -> Bool

Eq a => Eq (Array a)

Defined in Data.Primitive.Array

Methods

(==) :: Array a -> Array a -> Bool

(/=) :: Array a -> Array a -> Bool

Eq a => Eq (Bound a)

Defined in Data.Semilattice.Bound

Methods

(==) :: Bound a -> Bound a -> Bool

(/=) :: Bound a -> Bound a -> Bool

Eq a => Eq (Order a)

Defined in Data.Semilattice.Order

Methods

(==) :: Order a -> Order a -> Bool

(/=) :: Order a -> Order a -> Bool

Eq a => Eq (Meeting a)

Defined in Data.Semilattice.Meet

Methods

(==) :: Meeting a -> Meeting a -> Bool

(/=) :: Meeting a -> Meeting a -> Bool

Eq a => Eq (GreaterThan a)

Defined in Data.Semilattice.Meet

Methods

(==) :: GreaterThan a -> GreaterThan a -> Bool

(/=) :: GreaterThan a -> GreaterThan a -> Bool

Eq a => Eq (Joining a)

Defined in Data.Semilattice.Join

Methods

(==) :: Joining a -> Joining a -> Bool

(/=) :: Joining a -> Joining a -> Bool

Eq a => Eq (LessThan a)

Defined in Data.Semilattice.Join

Methods

(==) :: LessThan a -> LessThan a -> Bool

(/=) :: LessThan a -> LessThan a -> Bool

Eq a => Eq (Chunk a)

Defined in Data.List.Split.Internals

Methods

(==) :: Chunk a -> Chunk a -> Bool

(/=) :: Chunk a -> Chunk a -> Bool

Eq (TQueue a)

Defined in Control.Concurrent.STM.TQueue

Methods

(==) :: TQueue a -> TQueue a -> Bool

(/=) :: TQueue a -> TQueue a -> Bool

Eq (TMVar a)

Defined in Control.Concurrent.STM.TMVar

Methods

(==) :: TMVar a -> TMVar a -> Bool

(/=) :: TMVar a -> TMVar a -> Bool

Eq (TChan a)

Defined in Control.Concurrent.STM.TChan

Methods

(==) :: TChan a -> TChan a -> Bool

(/=) :: TChan a -> TChan a -> Bool

Eq (TBQueue a)

Defined in Control.Concurrent.STM.TBQueue

Methods

(==) :: TBQueue a -> TBQueue a -> Bool

(/=) :: TBQueue a -> TBQueue a -> Bool

Eq (InChan a)

Defined in Control.Concurrent.Chan.Unagi.Bounded.Internal

Methods

(==) :: InChan a -> InChan a -> Bool

(/=) :: InChan a -> InChan a -> Bool

Eq (OutChan a)

Defined in Control.Concurrent.Chan.Unagi.Bounded.Internal

Methods

(==) :: OutChan a -> OutChan a -> Bool

(/=) :: OutChan a -> OutChan a -> Bool

Eq b => Eq (GroupEdges b)

Defined in Data.Graph.Inductive.Graph

Methods

(==) :: GroupEdges b -> GroupEdges b -> Bool

(/=) :: GroupEdges b -> GroupEdges b -> Bool

Eq a => Eq (FromListCounting a)

Defined in Data.Graph.Inductive.PatriciaTree

Methods

(==) :: FromListCounting a -> FromListCounting a -> Bool

(/=) :: FromListCounting a -> FromListCounting a -> Bool

Eq a => Eq (DFSTree a)

Defined in Data.Graph.Inductive.Query.ArtPoint

Methods

(==) :: DFSTree a -> DFSTree a -> Bool

(/=) :: DFSTree a -> DFSTree a -> Bool

Eq a => Eq (LOWTree a)

Defined in Data.Graph.Inductive.Query.ArtPoint

Methods

(==) :: LOWTree a -> LOWTree a -> Bool

(/=) :: LOWTree a -> LOWTree a -> Bool

Eq a => Eq (P a)

Defined in Data.HashMap.Strict.InsOrd

Methods

(==) :: P a -> P a -> Bool

(/=) :: P a -> P a -> Bool

Class (Eq a) (Ord a)

Defined in Data.Constraint

Methods

cls :: Ord a :- Eq a

Class (Eq a) (Bits a)

Defined in Data.Constraint

Methods

cls :: Bits a :- Eq a

(Eq a) :=> (Eq [a])

Defined in Data.Constraint

Methods

ins :: Eq a :- Eq [a]

(Eq a) :=> (Eq (Maybe a))

Defined in Data.Constraint

Methods

ins :: Eq a :- Eq (Maybe a)

(Eq a) :=> (Eq (Complex a))

Defined in Data.Constraint

Methods

ins :: Eq a :- Eq (Complex a)

(Eq a) :=> (Eq (Ratio a))

Defined in Data.Constraint

Methods

ins :: Eq a :- Eq (Ratio a)

(Eq a) :=> (Eq (Identity a))

Defined in Data.Constraint

Methods

ins :: Eq a :- Eq (Identity a)

(Eq a) :=> (Eq (Const a b))

Defined in Data.Constraint

Methods

ins :: Eq a :- Eq (Const a b)

(Eq a, Eq b) => Eq (Either a b)

Defined in Data.Either

Methods

(==) :: Either a b -> Either a b -> Bool

(/=) :: Either a b -> Either a b -> Bool

Eq (V1 p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: V1 p -> V1 p -> Bool

(/=) :: V1 p -> V1 p -> Bool

Eq (U1 p)

Since: base-4.9.0.0

Defined in GHC.Generics

Methods

(==) :: U1 p -> U1 p -> Bool

(/=) :: U1 p -> U1 p -> Bool

Eq (TypeRep a)

Since: base-2.1

Defined in Data.Typeable.Internal

Methods

(==) :: TypeRep a -> TypeRep a -> Bool

(/=) :: TypeRep a -> TypeRep a -> Bool

(Eq a, Eq b) => Eq (a, b)

Defined in GHC.Classes

Methods

(==) :: (a, b) -> (a, b) -> Bool

(/=) :: (a, b) -> (a, b) -> Bool

(Eq e, Eq i) => Eq (Report e i)

Defined in Text.Earley.Parser.Internal

Methods

(==) :: Report e i -> Report e i -> Bool

(/=) :: Report e i -> Report e i -> Bool

(Eq k, Eq v) => Eq (HashMap k v)

Defined in Data.HashMap.Base

Methods

(==) :: HashMap k v -> HashMap k v -> Bool

(/=) :: HashMap k v -> HashMap k v -> Bool

(Eq k, Eq a) => Eq (Map k a)

Defined in Data.Map.Internal

Methods

(==) :: Map k a -> Map k a -> Bool

(/=) :: Map k a -> Map k a -> Bool

(Ix i, Eq e) => Eq (Array i e)

Since: base-2.1

Defined in GHC.Arr

Methods

(==) :: Array i e -> Array i e -> Bool

(/=) :: Array i e -> Array i e -> Bool

Eq a => Eq (Arg a b)

Since: base-4.9.0.0

Defined in Data.Semigroup

Methods

(==) :: Arg a b -> Arg a b -> Bool

(/=) :: Arg a b -> Arg a b -> Bool

Eq (Proxy s)

Since: base-4.7.0.0

Defined in Data.Proxy

Methods

(==) :: Proxy s -> Proxy s -> Bool

(/=) :: Proxy s -> Proxy s -> Bool

Eq (STRef s a)

Pointer equality.

Since: base-2.1

Defined in GHC.STRef

Methods

(==) :: STRef s a -> STRef s a -> Bool

(/=) :: STRef s a -> STRef s a -> Bool

Eq (a :- b)

Assumes IncoherentInstances doesn't exist.

Defined in Data.Constraint

Methods

(==) :: (a :- b) -> (a :- b) -> Bool

(/=) :: (a :- b) -> (a :- b) -> Bool

(Eq1 m, Eq a) => Eq (MaybeT m a)

Defined in Control.Monad.Trans.Maybe

Methods

(==) :: MaybeT m a -> MaybeT m a -> Bool

(/=) :: MaybeT m a -> MaybeT m a -> Bool

(Eq a, Ord b) => Eq (Gr a b)

Defined in Data.Graph.Inductive.PatriciaTree

Methods

(==) :: Gr a b -> Gr a b -> Bool

(/=) :: Gr a b -> Gr a b -> Bool

(Eq a, Eq b) => Eq (Heap a b)

Defined in Data.Graph.Inductive.Internal.Heap

Methods

(==) :: Heap a b -> Heap a b -> Bool

(/=) :: Heap a b -> Heap a b -> Bool

(Eq1 f, Eq a) => Eq (Cofree f a)

Defined in Control.Comonad.Cofree

Methods

(==) :: Cofree f a -> Cofree f a -> Bool

(/=) :: Cofree f a -> Cofree f a -> Bool

(Eq1 f, Eq a) => Eq (Free f a)

Defined in Control.Monad.Free

Methods

(==) :: Free f a -> Free f a -> Bool

(/=) :: Free f a -> Free f a -> Bool

Eq p => Eq (Entry p a)

Defined in Data.Heap

Methods

(==) :: Entry p a -> Entry p a -> Bool

(/=) :: Entry p a -> Entry p a -> Bool

(Eq k, Eq v) => Eq (InsOrdHashMap k v)

Defined in Data.HashMap.Strict.InsOrd

Methods

(==) :: InsOrdHashMap k v -> InsOrdHashMap k v -> Bool

(/=) :: InsOrdHashMap k v -> InsOrdHashMap k v -> Bool

(Eq1 f, Eq a) => Eq (Yoneda f a)

Defined in Data.Functor.Yoneda

Methods

(==) :: Yoneda f a -> Yoneda f a -> Bool

(/=) :: Yoneda f a -> Yoneda f a -> Bool

(Eq t, Eq e) => Eq (ParseError t e)

Defined in Text.Megaparsec.Error

Methods

(==) :: ParseError t e -> ParseError t e -> Bool

(/=) :: ParseError t e -> ParseError t e -> Bool

Eq (MutableUnliftedArray s a)

Defined in Data.Primitive.UnliftedArray

Methods

(==) :: MutableUnliftedArray s a -> MutableUnliftedArray s a -> Bool

(/=) :: MutableUnliftedArray s a -> MutableUnliftedArray s a -> Bool

Eq (SmallMutableArray s a)

Defined in Data.Primitive.SmallArray

Methods

(==) :: SmallMutableArray s a -> SmallMutableArray s a -> Bool

(/=) :: SmallMutableArray s a -> SmallMutableArray s a -> Bool

Eq (MutVar s a)

Defined in Data.Primitive.MutVar

Methods

(==) :: MutVar s a -> MutVar s a -> Bool

(/=) :: MutVar s a -> MutVar s a -> Bool

Eq (MutableArray s a)

Defined in Data.Primitive.Array

Methods

(==) :: MutableArray s a -> MutableArray s a -> Bool

(/=) :: MutableArray s a -> MutableArray s a -> Bool

(Ord p, Eq v) => Eq (IntPSQ p v)

Defined in Data.IntPSQ.Internal

Methods

(==) :: IntPSQ p v -> IntPSQ p v -> Bool

(/=) :: IntPSQ p v -> IntPSQ p v -> Bool

(Eq k, Eq v) => Eq (Leaf k v)

Defined in Data.HashMap.Base

Methods

(==) :: Leaf k v -> Leaf k v -> Bool

(/=) :: Leaf k v -> Leaf k v -> Bool

(Eq a, Eq b) :=> (Eq (a, b))

Defined in Data.Constraint

Methods

ins :: (Eq a, Eq b) :- Eq (a, b)

(Eq a, Eq b) :=> (Eq (Either a b))

Defined in Data.Constraint

Methods

ins :: (Eq a, Eq b) :- Eq (Either a b)

Eq (f p) => Eq (Rec1 f p)

Defined in GHC.Generics

Methods

(==) :: Rec1 f p -> Rec1 f p -> Bool

(/=) :: Rec1 f p -> Rec1 f p -> Bool

Eq (URec (Ptr ()) p)

Defined in GHC.Generics

Methods

(==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool

(/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool

Eq (URec Char p)

Defined in GHC.Generics

Methods

(==) :: URec Char p -> URec Char p -> Bool

(/=) :: URec Char p -> URec Char p -> Bool

Eq (URec Double p)

Defined in GHC.Generics

Methods

(==) :: URec Double p -> URec Double p -> Bool

(/=) :: URec Double p -> URec Double p -> Bool

Eq (URec Float p)

Defined in GHC.Generics

Methods

(==) :: URec Float p -> URec Float p -> Bool

(/=) :: URec Float p -> URec Float p -> Bool

Eq (URec Int p)

Defined in GHC.Generics

Methods

(==) :: URec Int p -> URec Int p -> Bool

(/=) :: URec Int p -> URec Int p -> Bool

Eq (URec Word p)

Defined in GHC.Generics

Methods

(==) :: URec Word p -> URec Word p -> Bool

(/=) :: URec Word p -> URec Word p -> Bool

(Eq a, Eq b, Eq c) => Eq (a, b, c)

Defined in GHC.Classes

Methods

(==) :: (a, b, c) -> (a, b, c) -> Bool

(/=) :: (a, b, c) -> (a, b, c) -> Bool

Eq (STArray s i e)

Since: base-2.1

Defined in GHC.Arr

Methods

(==) :: STArray s i e -> STArray s i e -> Bool

(/=) :: STArray s i e -> STArray s i e -> Bool

Eq a => Eq (Const a b)

Defined in Data.Functor.Const

Methods

(==) :: Const a b -> Const a b -> Bool

(/=) :: Const a b -> Const a b -> Bool

Eq (f a) => Eq (Alt f a)

Defined in Data.Semigroup.Internal

Methods

(==) :: Alt f a -> Alt f a -> Bool

(/=) :: Alt f a -> Alt f a -> Bool

Eq (Coercion a b)

Defined in Data.Type.Coercion

Methods

(==) :: Coercion a b -> Coercion a b -> Bool

(/=) :: Coercion a b -> Coercion a b -> Bool

Eq (a :~: b)

Defined in Data.Type.Equality

Methods

(==) :: (a :~: b) -> (a :~: b) -> Bool

(/=) :: (a :~: b) -> (a :~: b) -> Bool

Eq (p a a) => Eq (Join p a)

Defined in Data.Bifunctor.Join

Methods

(==) :: Join p a -> Join p a -> Bool

(/=) :: Join p a -> Join p a -> Bool

Eq (p (Fix p a) a) => Eq (Fix p a)

Defined in Data.Bifunctor.Fix

Methods

(==) :: Fix p a -> Fix p a -> Bool

(/=) :: Fix p a -> Fix p a -> Bool

(Eq1 f, Eq a) => Eq (IdentityT f a)

Defined in Control.Monad.Trans.Identity

Methods

(==) :: IdentityT f a -> IdentityT f a -> Bool

(/=) :: IdentityT f a -> IdentityT f a -> Bool

(Eq e, Eq1 m, Eq a) => Eq (ExceptT e m a)

Defined in Control.Monad.Trans.Except

Methods

(==) :: ExceptT e m a -> ExceptT e m a -> Bool

(/=) :: ExceptT e m a -> ExceptT e m a -> Bool

(Graph gr, Ord a, Ord b) => Eq (OrdGr gr a b)

Defined in Data.Graph.Inductive.Graph

Methods

(==) :: OrdGr gr a b -> OrdGr gr a b -> Bool

(/=) :: OrdGr gr a b -> OrdGr gr a b -> Bool

(Eq a, Eq (f b)) => Eq (FreeF f a b)

Defined in Control.Monad.Trans.Free

Methods

(==) :: FreeF f a b -> FreeF f a b -> Bool

(/=) :: FreeF f a b -> FreeF f a b -> Bool

(Eq1 f, Eq1 m, Eq a) => Eq (FreeT f m a)

Defined in Control.Monad.Trans.Free

Methods

(==) :: FreeT f m a -> FreeT f m a -> Bool

(/=) :: FreeT f m a -> FreeT f m a -> Bool

(Eq a, Eq (f b)) => Eq (CofreeF f a b)

Defined in Control.Comonad.Trans.Cofree

Methods

(==) :: CofreeF f a b -> CofreeF f a b -> Bool

(/=) :: CofreeF f a b -> CofreeF f a b -> Bool

Eq (w (CofreeF f a (CofreeT f w a))) => Eq (CofreeT f w a)

Defined in Control.Comonad.Trans.Cofree

Methods

(==) :: CofreeT f w a -> CofreeT f w a -> Bool

(/=) :: CofreeT f w a -> CofreeT f w a -> Bool

(Eq e, Eq1 m, Eq a) => Eq (ErrorT e m a)

Defined in Control.Monad.Trans.Error

Methods

(==) :: ErrorT e m a -> ErrorT e m a -> Bool

(/=) :: ErrorT e m a -> ErrorT e m a -> Bool

(Eq1 f, Eq a) => Eq (Backwards f a)

Defined in Control.Applicative.Backwards

Methods

(==) :: Backwards f a -> Backwards f a -> Bool

(/=) :: Backwards f a -> Backwards f a -> Bool

(Eq k, Eq p, Eq v, Hashable k, Ord k, Ord p) => Eq (HashPSQ k p v)

Defined in Data.HashPSQ.Internal

Methods

(==) :: HashPSQ k p v -> HashPSQ k p v -> Bool

(/=) :: HashPSQ k p v -> HashPSQ k p v -> Bool

(Ord k, Ord p, Eq v) => Eq (OrdPSQ k p v)

Defined in Data.OrdPSQ.Internal

Methods

(==) :: OrdPSQ k p v -> OrdPSQ k p v -> Bool

(/=) :: OrdPSQ k p v -> OrdPSQ k p v -> Bool

Eq b => Eq (Tagged s b)

Defined in Data.Tagged

Methods

(==) :: Tagged s b -> Tagged s b -> Bool

(/=) :: Tagged s b -> Tagged s b -> Bool

Eq c => Eq (K1 i c p)

Defined in GHC.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)

Defined in GHC.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)

Defined in GHC.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)

Defined 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

Defined in Data.Functor.Product

Methods

(==) :: Product f g a -> Product f g a -> Bool

(/=) :: Product f g a -> Product f g a -> Bool

(Eq1 f, Eq1 g, Eq a) => Eq (Sum f g a)

Since: base-4.9.0.0

Defined in Data.Functor.Sum

Methods

(==) :: Sum f g a -> Sum f g a -> Bool

(/=) :: Sum f g a -> Sum f g a -> Bool

Eq (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

(==) :: (a :~~: b) -> (a :~~: b) -> Bool

(/=) :: (a :~~: b) -> (a :~~: b) -> Bool

Eq (f p) => Eq (M1 i c f p)

Defined in GHC.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)

Defined in GHC.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)

Defined 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

Defined in Data.Functor.Compose

Methods

(==) :: Compose f g a -> Compose f g a -> Bool

(/=) :: Compose f g a -> Compose f g a -> Bool

Eq (p a b) => Eq (WrappedBifunctor p a b)

Defined in Data.Bifunctor.Wrapped

Methods

(==) :: WrappedBifunctor p a b -> WrappedBifunctor p a b -> Bool

(/=) :: WrappedBifunctor p a b -> WrappedBifunctor p a b -> Bool

Eq (g b) => Eq (Joker g a b)

Defined in Data.Bifunctor.Joker

Methods

(==) :: Joker g a b -> Joker g a b -> Bool

(/=) :: Joker g a b -> Joker g a b -> Bool

Eq (p b a) => Eq (Flip p a b)

Defined in Data.Bifunctor.Flip

Methods

(==) :: Flip p a b -> Flip p a b -> Bool

(/=) :: Flip p a b -> Flip p a b -> Bool

Eq (f a) => Eq (Clown f a b)

Defined in Data.Bifunctor.Clown

Methods

(==) :: Clown f a b -> Clown f a b -> Bool

(/=) :: Clown f a b -> Clown f a b -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f)

Defined 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)

Defined in Data.Bifunctor.Sum

Methods

(==) :: Sum p q a b -> Sum p q a b -> Bool

(/=) :: Sum p q a b -> Sum p q a b -> Bool

(Eq (f a b), Eq (g a b)) => Eq (Product f g a b)

Defined in Data.Bifunctor.Product

Methods

(==) :: Product f g a b -> Product f g a b -> Bool

(/=) :: Product f g a b -> Product f g a b -> Bool

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g)

Defined 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)

Defined in Data.Bifunctor.Tannen

Methods

(==) :: Tannen f p a b -> Tannen f p a b -> Bool

(/=) :: Tannen f p a b -> Tannen f p a b -> 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)

Defined 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)

Defined 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)

Defined in Data.Bifunctor.Biff

Methods

(==) :: Biff p f g a b -> Biff p f g a b -> Bool

(/=) :: Biff p f g a b -> Biff p f g a b -> 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)

Defined 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)

Defined 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)

Defined 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)

Defined 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)

Defined 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)

Defined 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

newtype Equivalence a

This data type represents an equivalence relation.

Equivalence relations are expected to satisfy three laws:

Reflexivity:

getEquivalence f a a = True

Symmetry:

getEquivalence f a b = getEquivalence f b a

Transitivity:

If getEquivalence f a b and getEquivalence f b c are both True then so is getEquivalence f a c

The types alone do not enforce these laws, so you'll have to check them yourself.

Constructors

Equivalence

Fields

• getEquivalence :: a -> a -> Bool

Instances

Contravariant Equivalence

Equivalence relations are Contravariant, because you can apply the contramapped function to each input to the equivalence relation.

Defined in Data.Functor.Contravariant

Methods

contramap :: (a -> b) -> Equivalence b -> Equivalence a

(>$) :: b -> Equivalence b -> Equivalence a

Divisible Equivalence

Defined in Data.Functor.Contravariant.Divisible

Methods

divide :: (a -> (b, c)) -> Equivalence b -> Equivalence c -> Equivalence a

conquer :: Equivalence a

Decidable Equivalence

Defined in Data.Functor.Contravariant.Divisible

Methods

lose :: (a -> Void) -> Equivalence a

choose :: (a -> Either b c) -> Equivalence b -> Equivalence c -> Equivalence a

Semigroup (Equivalence a)

Defined in Data.Functor.Contravariant

Methods

(<>) :: Equivalence a -> Equivalence a -> Equivalence a

sconcat :: NonEmpty (Equivalence a) -> Equivalence a

stimes :: Integral b => b -> Equivalence a -> Equivalence a

Monoid (Equivalence a)

Defined in Data.Functor.Contravariant

Methods

mempty :: Equivalence a

mappend :: Equivalence a -> Equivalence a -> Equivalence a

mconcat :: [Equivalence a] -> Equivalence a

Wrapped (Equivalence a)

Defined in Control.Lens.Wrapped

Associated Types

type Unwrapped (Equivalence a) :: *

Methods

_Wrapped' :: Iso' (Equivalence a) (Unwrapped (Equivalence a))

t ~ Equivalence b => Rewrapped (Equivalence a) t

Defined in Control.Lens.Wrapped

type Unwrapped (Equivalence a)

Defined in Control.Lens.Wrapped

type Unwrapped (Equivalence a) = a -> a -> Bool

defaultEquivalence :: Eq a => Equivalence a

Check for equivalence with ==

Note: The instances for Double and Float violate reflexivity for NaN.

comparisonEquivalence :: Comparison a -> Equivalence a

class Eq1 (f :: * -> *) where

Lifting of the Eq class to unary type constructors.

Since: base-4.9.0.0

Minimal complete definition

liftEq

Methods

liftEq :: (a -> b -> Bool) -> f a -> f b -> Bool

Lift an equality test through the type constructor.

The function will usually be applied to an equality function, but the more general type ensures that the implementation uses it to compare elements of the first container with elements of the second.

Since: base-4.9.0.0

Instances

Eq1 []

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> [a] -> [b] -> Bool

Eq1 Maybe

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> Maybe a -> Maybe b -> Bool

Eq1 Identity

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> Identity a -> Identity b -> Bool

Eq1 NonEmpty

Since: base-4.10.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> NonEmpty a -> NonEmpty b -> Bool

Eq1 IntMap

Since: containers-0.5.9

Defined in Data.IntMap.Internal

Methods

liftEq :: (a -> b -> Bool) -> IntMap a -> IntMap b -> Bool

Eq1 SCC

Since: containers-0.5.9

Defined in Data.Graph

Methods

liftEq :: (a -> b -> Bool) -> SCC a -> SCC b -> Bool

Eq1 Tree

Since: containers-0.5.9

Defined in Data.Tree

Methods

liftEq :: (a -> b -> Bool) -> Tree a -> Tree b -> Bool

Eq1 Seq

Since: containers-0.5.9

Defined in Data.Sequence.Internal

Methods

liftEq :: (a -> b -> Bool) -> Seq a -> Seq b -> Bool

Eq1 Set

Since: containers-0.5.9

Defined in Data.Set.Internal

Methods

liftEq :: (a -> b -> Bool) -> Set a -> Set b -> Bool

Eq1 Hashed

Defined in Data.Hashable.Class

Methods

liftEq :: (a -> b -> Bool) -> Hashed a -> Hashed b -> Bool

Eq1 HashSet

Defined in Data.HashSet

Methods

liftEq :: (a -> b -> Bool) -> HashSet a -> HashSet b -> Bool

Eq1 Vector

Defined in Data.Vector

Methods

liftEq :: (a -> b -> Bool) -> Vector a -> Vector b -> Bool

Eq1 SmallArray

Since: primitive-0.6.4.0

Defined in Data.Primitive.SmallArray

Methods

liftEq :: (a -> b -> Bool) -> SmallArray a -> SmallArray b -> Bool

Eq1 Array

Since: primitive-0.6.4.0

Defined in Data.Primitive.Array

Methods

liftEq :: (a -> b -> Bool) -> Array a -> Array b -> Bool

Eq a => Eq1 (Either a)

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a0 -> b -> Bool) -> Either a a0 -> Either a b -> Bool

Eq a => Eq1 ((,) a)

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a0 -> b -> Bool) -> (a, a0) -> (a, b) -> Bool

Eq k => Eq1 (HashMap k)

Defined in Data.HashMap.Base

Methods

liftEq :: (a -> b -> Bool) -> HashMap k a -> HashMap k b -> Bool

Eq k => Eq1 (Map k)

Since: containers-0.5.9

Defined in Data.Map.Internal

Methods

liftEq :: (a -> b -> Bool) -> Map k a -> Map k b -> Bool

Eq1 (Proxy :: * -> *)

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a -> b -> Bool) -> Proxy a -> Proxy b -> Bool

Eq1 m => Eq1 (MaybeT m)

Defined in Control.Monad.Trans.Maybe

Methods

liftEq :: (a -> b -> Bool) -> MaybeT m a -> MaybeT m b -> Bool

Eq1 f => Eq1 (Cofree f)

Defined in Control.Comonad.Cofree

Methods

liftEq :: (a -> b -> Bool) -> Cofree f a -> Cofree f b -> Bool

Eq1 f => Eq1 (Free f)

Defined in Control.Monad.Free

Methods

liftEq :: (a -> b -> Bool) -> Free f a -> Free f b -> Bool

Eq1 f => Eq1 (Yoneda f)

Defined in Data.Functor.Yoneda

Methods

liftEq :: (a -> b -> Bool) -> Yoneda f a -> Yoneda f b -> Bool

Eq a => Eq1 (Const a :: * -> *)

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq :: (a0 -> b -> Bool) -> Const a a0 -> Const a b -> Bool

Eq1 f => Eq1 (IdentityT f)

Defined in Control.Monad.Trans.Identity

Methods

liftEq :: (a -> b -> Bool) -> IdentityT f a -> IdentityT f b -> Bool

(Eq e, Eq1 m) => Eq1 (ExceptT e m)

Defined in Control.Monad.Trans.Except

Methods

liftEq :: (a -> b -> Bool) -> ExceptT e m a -> ExceptT e m b -> Bool

(Eq1 f, Eq a) => Eq1 (FreeF f a)

Defined in Control.Monad.Trans.Free

Methods

liftEq :: (a0 -> b -> Bool) -> FreeF f a a0 -> FreeF f a b -> Bool

(Eq1 f, Eq1 m) => Eq1 (FreeT f m)

Defined in Control.Monad.Trans.Free

Methods

liftEq :: (a -> b -> Bool) -> FreeT f m a -> FreeT f m b -> Bool

(Eq e, Eq1 m) => Eq1 (ErrorT e m)

Defined in Control.Monad.Trans.Error

Methods

liftEq :: (a -> b -> Bool) -> ErrorT e m a -> ErrorT e m b -> Bool

Eq1 f => Eq1 (Backwards f)

Defined in Control.Applicative.Backwards

Methods

liftEq :: (a -> b -> Bool) -> Backwards f a -> Backwards f b -> Bool

Eq1 (Tagged s)

Defined in Data.Tagged

Methods

liftEq :: (a -> b -> Bool) -> Tagged s a -> Tagged s b -> Bool

(Eq1 f, Eq1 g) => Eq1 (Product f g)

Since: base-4.9.0.0

Defined in Data.Functor.Product

Methods

liftEq :: (a -> b -> Bool) -> Product f g a -> Product f g b -> Bool

(Eq1 f, Eq1 g) => Eq1 (Sum f g)

Since: base-4.9.0.0

Defined in Data.Functor.Sum

Methods

liftEq :: (a -> b -> Bool) -> Sum f g a -> Sum f g b -> Bool

(Eq1 f, Eq1 g) => Eq1 (Compose f g)

Since: base-4.9.0.0

Defined in Data.Functor.Compose

Methods

liftEq :: (a -> b -> Bool) -> Compose f g a -> Compose f g b -> Bool

eq1 :: (Eq1 f, Eq a) => f a -> f a -> Bool

Lift the standard (==) function through the type constructor.

Since: base-4.9.0.0

liftEqDefault :: (GEq1 NonV4 (Rep1 f), Generic1 f) => (a -> b -> Bool) -> f a -> f b -> Bool

A sensible default liftEq implementation for Generic1 instances.

class Eq2 (f :: * -> * -> *) where

Lifting of the Eq class to binary type constructors.

Since: base-4.9.0.0

Minimal complete definition

liftEq2

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> f a c -> f b d -> Bool

Lift equality tests through the type constructor.

The function will usually be applied to equality functions, but the more general type ensures that the implementation uses them to compare elements of the first container with elements of the second.

Since: base-4.9.0.0

Instances

Eq2 Either

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Either a c -> Either b d -> Bool

Eq2 (,)

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> (a, c) -> (b, d) -> Bool

Eq2 HashMap

Defined in Data.HashMap.Base

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> HashMap a c -> HashMap b d -> Bool

Eq2 Map

Since: containers-0.5.9

Defined in Data.Map.Internal

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Map a c -> Map b d -> Bool

Eq2 (Const :: * -> * -> *)

Since: base-4.9.0.0

Defined in Data.Functor.Classes

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Const a c -> Const b d -> Bool

Eq1 f => Eq2 (FreeF f)

Defined in Control.Monad.Trans.Free

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> FreeF f a c -> FreeF f b d -> Bool

Eq2 (Tagged :: * -> * -> *)

Defined in Data.Tagged

Methods

liftEq2 :: (a -> b -> Bool) -> (c -> d -> Bool) -> Tagged a c -> Tagged b d -> Bool

eq2 :: (Eq2 f, Eq a, Eq b) => f a b -> f a b -> Bool

Lift the standard (==) function through the type constructor.

Since: base-4.9.0.0

Propositional equality

data (a :: k) :~: (b :: k) :: forall k. k -> k -> * where infix 4

Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

Since: base-4.7.0.0

Constructors

Refl :: a :~: a

Instances

Category ((:~:) :: k -> k -> *)

Since: base-4.7.0.0

Defined in Control.Category

Methods

id :: a :~: a

(.) :: (b :~: c) -> (a :~: b) -> a :~: c

Groupoid ((:~:) :: k -> k -> *)

Defined in Data.Groupoid

Methods

inv :: (a :~: b) -> b :~: a

Semigroupoid ((:~:) :: k -> k -> *)

Defined in Data.Semigroupoid

Methods

o :: (j :~: k1) -> (i :~: j) -> i :~: k1

TestCoercion ((:~:) a :: k -> *)

Since: base-4.7.0.0

Defined in Data.Type.Coercion

Methods

testCoercion :: (a :~: a0) -> (a :~: b) -> Maybe (Coercion a0 b)

TestEquality ((:~:) a :: k -> *)

Since: base-4.7.0.0

Defined in Data.Type.Equality

Methods

testEquality :: (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b)

NFData2 ((:~:) :: * -> * -> *)

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

liftRnf2 :: (a -> ()) -> (b -> ()) -> (a :~: b) -> ()

NFData1 ((:~:) a)

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

liftRnf :: (a0 -> ()) -> (a :~: a0) -> ()

a ~ b => Bounded (a :~: b)

Since: base-4.7.0.0

Defined in Data.Type.Equality

Methods

minBound :: a :~: b

maxBound :: a :~: b

a ~ b => Enum (a :~: b)

Since: base-4.7.0.0

Defined in Data.Type.Equality

Methods

succ :: (a :~: b) -> a :~: b

pred :: (a :~: b) -> a :~: b

toEnum :: Int -> a :~: b

fromEnum :: (a :~: b) -> Int

enumFrom :: (a :~: b) -> [a :~: b]

enumFromThen :: (a :~: b) -> (a :~: b) -> [a :~: b]

enumFromTo :: (a :~: b) -> (a :~: b) -> [a :~: b]

enumFromThenTo :: (a :~: b) -> (a :~: b) -> (a :~: b) -> [a :~: b]

Eq (a :~: b)

Defined in Data.Type.Equality

Methods

(==) :: (a :~: b) -> (a :~: b) -> Bool

(/=) :: (a :~: b) -> (a :~: b) -> Bool

(a ~ b, Data a) => Data (a :~: b)

Since: base-4.7.0.0

Defined in Data.Data

Methods

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a :~: b) -> c (a :~: b)

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a :~: b)

toConstr :: (a :~: b) -> Constr

dataTypeOf :: (a :~: b) -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a :~: b))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a :~: b))

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a :~: b) -> a :~: b

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r

gmapQ :: (forall d. Data d => d -> u) -> (a :~: b) -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> (a :~: b) -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b)

Ord (a :~: b)

Defined in Data.Type.Equality

Methods

compare :: (a :~: b) -> (a :~: b) -> Ordering

(<) :: (a :~: b) -> (a :~: b) -> Bool

(<=) :: (a :~: b) -> (a :~: b) -> Bool

(>) :: (a :~: b) -> (a :~: b) -> Bool

(>=) :: (a :~: b) -> (a :~: b) -> Bool

max :: (a :~: b) -> (a :~: b) -> a :~: b

min :: (a :~: b) -> (a :~: b) -> a :~: b

a ~ b => Read (a :~: b)

Since: base-4.7.0.0

Defined in Data.Type.Equality

Methods

readsPrec :: Int -> ReadS (a :~: b)

readList :: ReadS [a :~: b]

readPrec :: ReadPrec (a :~: b)

readListPrec :: ReadPrec [a :~: b]

Show (a :~: b)

Defined in Data.Type.Equality

Methods

showsPrec :: Int -> (a :~: b) -> ShowS

show :: (a :~: b) -> String

showList :: [a :~: b] -> ShowS

NFData (a :~: b)

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

rnf :: (a :~: b) -> ()

a ~ b => Upper (a :~: b)

Defined in Data.Semilattice.Upper

Methods

upperBound :: a :~: b

a ~ b => Lower (a :~: b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: a :~: b

data (a :: k1) :~~: (b :: k2) :: forall k1 k2. k1 -> k2 -> * where infix 4

Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

Since: base-4.10.0.0

Constructors

HRefl :: a :~~: a

Instances

Category ((:~~:) :: k -> k -> *)

Since: base-4.10.0.0

Defined in Control.Category

Methods

id :: a :~~: a

(.) :: (b :~~: c) -> (a :~~: b) -> a :~~: c

Groupoid ((:~~:) :: k -> k -> *)

Defined in Data.Groupoid

Methods

inv :: (a :~~: b) -> b :~~: a

Semigroupoid ((:~~:) :: k -> k -> *)

Defined in Data.Semigroupoid

Methods

o :: (j :~~: k1) -> (i :~~: j) -> i :~~: k1

TestCoercion ((:~~:) a :: k -> *)

Since: base-4.10.0.0

Defined in Data.Type.Coercion

Methods

testCoercion :: (a :~~: a0) -> (a :~~: b) -> Maybe (Coercion a0 b)

TestEquality ((:~~:) a :: k -> *)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

testEquality :: (a :~~: a0) -> (a :~~: b) -> Maybe (a0 :~: b)

NFData2 ((:~~:) :: * -> * -> *)

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

liftRnf2 :: (a -> ()) -> (b -> ()) -> (a :~~: b) -> ()

NFData1 ((:~~:) a :: * -> *)

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

liftRnf :: (a0 -> ()) -> (a :~~: a0) -> ()

a ~~ b => Bounded (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

minBound :: a :~~: b

maxBound :: a :~~: b

a ~~ b => Enum (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

succ :: (a :~~: b) -> a :~~: b

pred :: (a :~~: b) -> a :~~: b

toEnum :: Int -> a :~~: b

fromEnum :: (a :~~: b) -> Int

enumFrom :: (a :~~: b) -> [a :~~: b]

enumFromThen :: (a :~~: b) -> (a :~~: b) -> [a :~~: b]

enumFromTo :: (a :~~: b) -> (a :~~: b) -> [a :~~: b]

enumFromThenTo :: (a :~~: b) -> (a :~~: b) -> (a :~~: b) -> [a :~~: b]

Eq (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

(==) :: (a :~~: b) -> (a :~~: b) -> Bool

(/=) :: (a :~~: b) -> (a :~~: b) -> Bool

(Typeable i, Typeable j, Typeable a, Typeable b, a ~~ b) => Data (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Data

Methods

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a :~~: b) -> c (a :~~: b)

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a :~~: b)

toConstr :: (a :~~: b) -> Constr

dataTypeOf :: (a :~~: b) -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a :~~: b))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a :~~: b))

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a :~~: b) -> a :~~: b

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a :~~: b) -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a :~~: b) -> r

gmapQ :: (forall d. Data d => d -> u) -> (a :~~: b) -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> (a :~~: b) -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a :~~: b) -> m (a :~~: b)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~~: b) -> m (a :~~: b)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~~: b) -> m (a :~~: b)

Ord (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

compare :: (a :~~: b) -> (a :~~: b) -> Ordering

(<) :: (a :~~: b) -> (a :~~: b) -> Bool

(<=) :: (a :~~: b) -> (a :~~: b) -> Bool

(>) :: (a :~~: b) -> (a :~~: b) -> Bool

(>=) :: (a :~~: b) -> (a :~~: b) -> Bool

max :: (a :~~: b) -> (a :~~: b) -> a :~~: b

min :: (a :~~: b) -> (a :~~: b) -> a :~~: b

a ~~ b => Read (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

readsPrec :: Int -> ReadS (a :~~: b)

readList :: ReadS [a :~~: b]

readPrec :: ReadPrec (a :~~: b)

readListPrec :: ReadPrec [a :~~: b]

Show (a :~~: b)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

showsPrec :: Int -> (a :~~: b) -> ShowS

show :: (a :~~: b) -> String

showList :: [a :~~: b] -> ShowS

NFData (a :~~: b)

Since: deepseq-1.4.3.0

Defined in Control.DeepSeq

Methods

rnf :: (a :~~: b) -> ()

a ~~ b => Upper (a :~~: b)

Defined in Data.Semilattice.Upper

Methods

upperBound :: a :~~: b

a ~~ b => Lower (a :~~: b)

Defined in Data.Semilattice.Lower

Methods

lowerBound :: a :~~: b

sym :: (a :~: b) -> b :~: a

Symmetry of equality

trans :: (a :~: b) -> (b :~: c) -> a :~: c

Transitivity of equality

castWith :: (a :~: b) -> a -> b

Type-safe cast, using propositional equality

gcastWith :: (a :~: b) -> ((a ~ b) -> r) -> r

Generalized form of type-safe cast using propositional equality

apply :: (f :~: g) -> (a :~: b) -> f a :~: g b

Apply one equality to another, respectively

inner :: (f a :~: g b) -> a :~: b

Extract equality of the arguments from an equality of applied types

outer :: (f a :~: g b) -> f :~: g

Extract equality of type constructors from an equality of applied types

class TestEquality (f :: k -> *) where

This class contains types where you can learn the equality of two types from information contained in terms. Typically, only singleton types should inhabit this class.

Minimal complete definition

testEquality

Methods

testEquality :: f a -> f b -> Maybe (a :~: b)

Conditionally prove the equality of a and b.

Instances

TestEquality (TypeRep :: k -> *)

Defined in Data.Typeable.Internal

Methods

testEquality :: TypeRep a -> TypeRep b -> Maybe (a :~: b)

TestEquality ((:~:) a :: k -> *)

Since: base-4.7.0.0

Defined in Data.Type.Equality

Methods

testEquality :: (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b)

TestEquality ((:~~:) a :: k -> *)

Since: base-4.10.0.0

Defined in Data.Type.Equality

Methods

testEquality :: (a :~~: a0) -> (a :~~: b) -> Maybe (a0 :~: b)

type family (a :: k) == (b :: k) :: Bool where ... infix 4

A type family to compute Boolean equality.

Equations

(f a :: k2) == (g b :: k2) = (f == g) && (a == b)

(a :: k) == (a :: k) = True

(_1 :: k) == (_2 :: k) = False