Data.Eq

base-4.9.0.0: Basic libraries

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

Data.Eq

Description

Equality

Synopsis

- class Eq a where
  - (==) :: a -> a -> Bool
  - (/=) :: a -> a -> Bool

# Documentation

class Eq a where Source

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

(==) | (/=)

Instances

Eq Bool |
Methods (==) :: Bool -> Bool -> Bool Source (/=) :: Bool -> Bool -> Bool Source
Eq Char |
Methods (==) :: Char -> Char -> Bool Source (/=) :: Char -> Char -> Bool Source
Eq Double |
Methods (==) :: Double -> Double -> Bool Source (/=) :: Double -> Double -> Bool Source
Eq Float |
Methods (==) :: Float -> Float -> Bool Source (/=) :: Float -> Float -> Bool Source
Eq Int |
Methods (==) :: Int -> Int -> Bool Source (/=) :: Int -> Int -> Bool Source
Eq Int8 |
Methods (==) :: Int8 -> Int8 -> Bool Source (/=) :: Int8 -> Int8 -> Bool Source
Eq Int16 |
Methods (==) :: Int16 -> Int16 -> Bool Source (/=) :: Int16 -> Int16 -> Bool Source
Eq Int32 |
Methods (==) :: Int32 -> Int32 -> Bool Source (/=) :: Int32 -> Int32 -> Bool Source
Eq Int64 |
Methods (==) :: Int64 -> Int64 -> Bool Source (/=) :: Int64 -> Int64 -> Bool Source
Eq Integer |
Methods (==) :: Integer -> Integer -> Bool Source (/=) :: Integer -> Integer -> Bool Source
Eq Ordering |
Methods (==) :: Ordering -> Ordering -> Bool Source (/=) :: Ordering -> Ordering -> Bool Source
Eq Word |
Methods (==) :: Word -> Word -> Bool Source (/=) :: Word -> Word -> Bool Source
Eq Word8 |
Methods (==) :: Word8 -> Word8 -> Bool Source (/=) :: Word8 -> Word8 -> Bool Source
Eq Word16 |
Methods (==) :: Word16 -> Word16 -> Bool Source (/=) :: Word16 -> Word16 -> Bool Source
Eq Word32 |
Methods (==) :: Word32 -> Word32 -> Bool Source (/=) :: Word32 -> Word32 -> Bool Source
Eq Word64 |
Methods (==) :: Word64 -> Word64 -> Bool Source (/=) :: Word64 -> Word64 -> Bool Source
Eq TypeRep |
Methods (==) :: TypeRep -> TypeRep -> Bool Source (/=) :: TypeRep -> TypeRep -> Bool Source
Eq () |
Methods (==) :: () -> () -> Bool Source (/=) :: () -> () -> Bool Source
Eq TyCon |
Methods (==) :: TyCon -> TyCon -> Bool Source (/=) :: TyCon -> TyCon -> Bool Source
Eq BigNat |
Methods (==) :: BigNat -> BigNat -> Bool Source (/=) :: BigNat -> BigNat -> Bool Source
Eq GeneralCategory |
Methods (==) :: GeneralCategory -> GeneralCategory -> Bool Source (/=) :: GeneralCategory -> GeneralCategory -> Bool Source
Eq Number |
Methods (==) :: Number -> Number -> Bool Source (/=) :: Number -> Number -> Bool Source
Eq Lexeme |
Methods (==) :: Lexeme -> Lexeme -> Bool Source (/=) :: Lexeme -> Lexeme -> Bool Source
Eq SomeSymbol |
Methods (==) :: SomeSymbol -> SomeSymbol -> Bool Source (/=) :: SomeSymbol -> SomeSymbol -> Bool Source
Eq SomeNat |
Methods (==) :: SomeNat -> SomeNat -> Bool Source (/=) :: SomeNat -> SomeNat -> Bool Source
Eq DecidedStrictness |
Methods (==) :: DecidedStrictness -> DecidedStrictness -> Bool Source (/=) :: DecidedStrictness -> DecidedStrictness -> Bool Source
Eq SourceStrictness |
Methods (==) :: SourceStrictness -> SourceStrictness -> Bool Source (/=) :: SourceStrictness -> SourceStrictness -> Bool Source
Eq SourceUnpackedness |
Methods (==) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool Source
Eq Associativity |
Methods (==) :: Associativity -> Associativity -> Bool Source (/=) :: Associativity -> Associativity -> Bool Source
Eq Fixity |
Methods (==) :: Fixity -> Fixity -> Bool Source (/=) :: Fixity -> Fixity -> Bool Source
Eq Any |
Methods (==) :: Any -> Any -> Bool Source (/=) :: Any -> Any -> Bool Source
Eq All |
Methods (==) :: All -> All -> Bool Source (/=) :: All -> All -> Bool Source
Eq IOMode |
Methods (==) :: IOMode -> IOMode -> Bool Source (/=) :: IOMode -> IOMode -> Bool Source
Eq Fingerprint |
Methods (==) :: Fingerprint -> Fingerprint -> Bool Source (/=) :: Fingerprint -> Fingerprint -> Bool Source
Eq ArithException |
Methods (==) :: ArithException -> ArithException -> Bool Source (/=) :: ArithException -> ArithException -> Bool Source
Eq ErrorCall |
Methods (==) :: ErrorCall -> ErrorCall -> Bool Source (/=) :: ErrorCall -> ErrorCall -> Bool Source
Eq IOException |
Methods (==) :: IOException -> IOException -> Bool Source (/=) :: IOException -> IOException -> Bool Source
Eq MaskingState |
Methods (==) :: MaskingState -> MaskingState -> Bool Source (/=) :: MaskingState -> MaskingState -> Bool Source
Eq CUIntMax |
Methods (==) :: CUIntMax -> CUIntMax -> Bool Source (/=) :: CUIntMax -> CUIntMax -> Bool Source
Eq CIntMax |
Methods (==) :: CIntMax -> CIntMax -> Bool Source (/=) :: CIntMax -> CIntMax -> Bool Source
Eq CUIntPtr |
Methods (==) :: CUIntPtr -> CUIntPtr -> Bool Source (/=) :: CUIntPtr -> CUIntPtr -> Bool Source
Eq CIntPtr |
Methods (==) :: CIntPtr -> CIntPtr -> Bool Source (/=) :: CIntPtr -> CIntPtr -> Bool Source
Eq CSUSeconds |
Methods (==) :: CSUSeconds -> CSUSeconds -> Bool Source (/=) :: CSUSeconds -> CSUSeconds -> Bool Source
Eq CUSeconds |
Methods (==) :: CUSeconds -> CUSeconds -> Bool Source (/=) :: CUSeconds -> CUSeconds -> Bool Source
Eq CTime |
Methods (==) :: CTime -> CTime -> Bool Source (/=) :: CTime -> CTime -> Bool Source
Eq CClock |
Methods (==) :: CClock -> CClock -> Bool Source (/=) :: CClock -> CClock -> Bool Source
Eq CSigAtomic |
Methods (==) :: CSigAtomic -> CSigAtomic -> Bool Source (/=) :: CSigAtomic -> CSigAtomic -> Bool Source
Eq CWchar |
Methods (==) :: CWchar -> CWchar -> Bool Source (/=) :: CWchar -> CWchar -> Bool Source
Eq CSize |
Methods (==) :: CSize -> CSize -> Bool Source (/=) :: CSize -> CSize -> Bool Source
Eq CPtrdiff |
Methods (==) :: CPtrdiff -> CPtrdiff -> Bool Source (/=) :: CPtrdiff -> CPtrdiff -> Bool Source
Eq CDouble |
Methods (==) :: CDouble -> CDouble -> Bool Source (/=) :: CDouble -> CDouble -> Bool Source
Eq CFloat |
Methods (==) :: CFloat -> CFloat -> Bool Source (/=) :: CFloat -> CFloat -> Bool Source
Eq CULLong |
Methods (==) :: CULLong -> CULLong -> Bool Source (/=) :: CULLong -> CULLong -> Bool Source
Eq CLLong |
Methods (==) :: CLLong -> CLLong -> Bool Source (/=) :: CLLong -> CLLong -> Bool Source
Eq CULong |
Methods (==) :: CULong -> CULong -> Bool Source (/=) :: CULong -> CULong -> Bool Source
Eq CLong |
Methods (==) :: CLong -> CLong -> Bool Source (/=) :: CLong -> CLong -> Bool Source
Eq CUInt |
Methods (==) :: CUInt -> CUInt -> Bool Source (/=) :: CUInt -> CUInt -> Bool Source
Eq CInt |
Methods (==) :: CInt -> CInt -> Bool Source (/=) :: CInt -> CInt -> Bool Source
Eq CUShort |
Methods (==) :: CUShort -> CUShort -> Bool Source (/=) :: CUShort -> CUShort -> Bool Source
Eq CShort |
Methods (==) :: CShort -> CShort -> Bool Source (/=) :: CShort -> CShort -> Bool Source
Eq CUChar |
Methods (==) :: CUChar -> CUChar -> Bool Source (/=) :: CUChar -> CUChar -> Bool Source
Eq CSChar |
Methods (==) :: CSChar -> CSChar -> Bool Source (/=) :: CSChar -> CSChar -> Bool Source
Eq CChar |
Methods (==) :: CChar -> CChar -> Bool Source (/=) :: CChar -> CChar -> Bool Source
Eq IntPtr |
Methods (==) :: IntPtr -> IntPtr -> Bool Source (/=) :: IntPtr -> IntPtr -> Bool Source
Eq WordPtr |
Methods (==) :: WordPtr -> WordPtr -> Bool Source (/=) :: WordPtr -> WordPtr -> Bool Source
Eq BufferState |
Methods (==) :: BufferState -> BufferState -> Bool Source (/=) :: BufferState -> BufferState -> Bool Source
Eq CodingProgress |
Methods (==) :: CodingProgress -> CodingProgress -> Bool Source (/=) :: CodingProgress -> CodingProgress -> Bool Source
Eq SeekMode |
Methods (==) :: SeekMode -> SeekMode -> Bool Source (/=) :: SeekMode -> SeekMode -> Bool Source
Eq IODeviceType |
Methods (==) :: IODeviceType -> IODeviceType -> Bool Source (/=) :: IODeviceType -> IODeviceType -> Bool Source
Eq NewlineMode |
Methods (==) :: NewlineMode -> NewlineMode -> Bool Source (/=) :: NewlineMode -> NewlineMode -> Bool Source
Eq Newline |
Methods (==) :: Newline -> Newline -> Bool Source (/=) :: Newline -> Newline -> Bool Source
Eq BufferMode |
Methods (==) :: BufferMode -> BufferMode -> Bool Source (/=) :: BufferMode -> BufferMode -> Bool Source
Eq Handle |
Methods (==) :: Handle -> Handle -> Bool Source (/=) :: Handle -> Handle -> Bool Source
Eq IOErrorType |
Methods (==) :: IOErrorType -> IOErrorType -> Bool Source (/=) :: IOErrorType -> IOErrorType -> Bool Source
Eq ExitCode |
Methods (==) :: ExitCode -> ExitCode -> Bool Source (/=) :: ExitCode -> ExitCode -> Bool Source
Eq ArrayException |
Methods (==) :: ArrayException -> ArrayException -> Bool Source (/=) :: ArrayException -> ArrayException -> Bool Source
Eq AsyncException |
Methods (==) :: AsyncException -> AsyncException -> Bool Source (/=) :: AsyncException -> AsyncException -> Bool Source
Eq Errno |
Methods (==) :: Errno -> Errno -> Bool Source (/=) :: Errno -> Errno -> Bool Source
Eq Fd |
Methods (==) :: Fd -> Fd -> Bool Source (/=) :: Fd -> Fd -> Bool Source
Eq CRLim |
Methods (==) :: CRLim -> CRLim -> Bool Source (/=) :: CRLim -> CRLim -> Bool Source
Eq CTcflag |
Methods (==) :: CTcflag -> CTcflag -> Bool Source (/=) :: CTcflag -> CTcflag -> Bool Source
Eq CSpeed |
Methods (==) :: CSpeed -> CSpeed -> Bool Source (/=) :: CSpeed -> CSpeed -> Bool Source
Eq CCc |
Methods (==) :: CCc -> CCc -> Bool Source (/=) :: CCc -> CCc -> Bool Source
Eq CUid |
Methods (==) :: CUid -> CUid -> Bool Source (/=) :: CUid -> CUid -> Bool Source
Eq CNlink |
Methods (==) :: CNlink -> CNlink -> Bool Source (/=) :: CNlink -> CNlink -> Bool Source
Eq CGid |
Methods (==) :: CGid -> CGid -> Bool Source (/=) :: CGid -> CGid -> Bool Source
Eq CSsize |
Methods (==) :: CSsize -> CSsize -> Bool Source (/=) :: CSsize -> CSsize -> Bool Source
Eq CPid |
Methods (==) :: CPid -> CPid -> Bool Source (/=) :: CPid -> CPid -> Bool Source
Eq COff |
Methods (==) :: COff -> COff -> Bool Source (/=) :: COff -> COff -> Bool Source
Eq CMode |
Methods (==) :: CMode -> CMode -> Bool Source (/=) :: CMode -> CMode -> Bool Source
Eq CIno |
Methods (==) :: CIno -> CIno -> Bool Source (/=) :: CIno -> CIno -> Bool Source
Eq CDev |
Methods (==) :: CDev -> CDev -> Bool Source (/=) :: CDev -> CDev -> Bool Source
Eq Lifetime |
Methods (==) :: Lifetime -> Lifetime -> Bool Source (/=) :: Lifetime -> Lifetime -> Bool Source
Eq Event |
Methods (==) :: Event -> Event -> Bool Source (/=) :: Event -> Event -> Bool Source
Eq ThreadStatus |
Methods (==) :: ThreadStatus -> ThreadStatus -> Bool Source (/=) :: ThreadStatus -> ThreadStatus -> Bool Source
Eq BlockReason |
Methods (==) :: BlockReason -> BlockReason -> Bool Source (/=) :: BlockReason -> BlockReason -> Bool Source
Eq ThreadId |
Methods (==) :: ThreadId -> ThreadId -> Bool Source (/=) :: ThreadId -> ThreadId -> Bool Source
Eq FdKey |
Methods (==) :: FdKey -> FdKey -> Bool Source (/=) :: FdKey -> FdKey -> Bool Source
Eq TimeoutKey |
Methods (==) :: TimeoutKey -> TimeoutKey -> Bool Source (/=) :: TimeoutKey -> TimeoutKey -> Bool Source
Eq HandlePosn |
Methods (==) :: HandlePosn -> HandlePosn -> Bool Source (/=) :: HandlePosn -> HandlePosn -> Bool Source
Eq Version |
Methods (==) :: Version -> Version -> Bool Source (/=) :: Version -> Version -> Bool Source
Eq Fixity |
Methods (==) :: Fixity -> Fixity -> Bool Source (/=) :: Fixity -> Fixity -> Bool Source
Eq ConstrRep |
Methods (==) :: ConstrRep -> ConstrRep -> Bool Source (/=) :: ConstrRep -> ConstrRep -> Bool Source
Eq DataRep |
Methods (==) :: DataRep -> DataRep -> Bool Source (/=) :: DataRep -> DataRep -> Bool Source
Eq Constr | Equality of constructors
Methods (==) :: Constr -> Constr -> Bool Source (/=) :: Constr -> Constr -> Bool Source
Eq Natural |
Methods (==) :: Natural -> Natural -> Bool Source (/=) :: Natural -> Natural -> Bool Source
Eq SpecConstrAnnotation |
Methods (==) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool Source (/=) :: SpecConstrAnnotation -> SpecConstrAnnotation -> Bool Source
Eq Void |
Methods (==) :: Void -> Void -> Bool Source (/=) :: Void -> Void -> Bool Source
Eq Unique |
Methods (==) :: Unique -> Unique -> Bool Source (/=) :: Unique -> Unique -> Bool Source
Eq a => Eq [a] |
Methods (==) :: [a] -> [a] -> Bool Source (/=) :: [a] -> [a] -> Bool Source
Eq a => Eq (Maybe a) |
Methods (==) :: Maybe a -> Maybe a -> Bool Source (/=) :: Maybe a -> Maybe a -> Bool Source
Eq a => Eq (Ratio a) |
Methods (==) :: Ratio a -> Ratio a -> Bool Source (/=) :: Ratio a -> Ratio a -> Bool Source
Eq (StablePtr a) |
Methods (==) :: StablePtr a -> StablePtr a -> Bool Source (/=) :: StablePtr a -> StablePtr a -> Bool Source
Eq (Ptr a) |
Methods (==) :: Ptr a -> Ptr a -> Bool Source (/=) :: Ptr a -> Ptr a -> Bool Source
Eq (FunPtr a) |
Methods (==) :: FunPtr a -> FunPtr a -> Bool Source (/=) :: FunPtr a -> FunPtr a -> Bool Source
Eq (U1 p) |
Methods (==) :: U1 p -> U1 p -> Bool Source (/=) :: U1 p -> U1 p -> Bool Source
Eq p => Eq (Par1 p) |
Methods (==) :: Par1 p -> Par1 p -> Bool Source (/=) :: Par1 p -> Par1 p -> Bool Source
Eq (MVar a) |
Methods (==) :: MVar a -> MVar a -> Bool Source (/=) :: MVar a -> MVar a -> Bool Source
Eq a => Eq (Down a) |
Methods (==) :: Down a -> Down a -> Bool Source (/=) :: Down a -> Down a -> Bool Source
Eq a => Eq (Last a) |
Methods (==) :: Last a -> Last a -> Bool Source (/=) :: Last a -> Last a -> Bool Source
Eq a => Eq (First a) |
Methods (==) :: First a -> First a -> Bool Source (/=) :: First a -> First a -> Bool Source
Eq a => Eq (Product a) |
Methods (==) :: Product a -> Product a -> Bool Source (/=) :: Product a -> Product a -> Bool Source
Eq a => Eq (Sum a) |
Methods (==) :: Sum a -> Sum a -> Bool Source (/=) :: Sum a -> Sum a -> Bool Source
Eq a => Eq (Dual a) |
Methods (==) :: Dual a -> Dual a -> Bool Source (/=) :: Dual a -> Dual a -> Bool Source
Eq (IORef a) |
Methods (==) :: IORef a -> IORef a -> Bool Source (/=) :: IORef a -> IORef a -> Bool Source
Eq (ForeignPtr a) |
Methods (==) :: ForeignPtr a -> ForeignPtr a -> Bool Source (/=) :: ForeignPtr a -> ForeignPtr a -> Bool Source
Eq (TVar a) |
Methods (==) :: TVar a -> TVar a -> Bool Source (/=) :: TVar a -> TVar a -> Bool Source
Eq a => Eq (ZipList a) |
Methods (==) :: ZipList a -> ZipList a -> Bool Source (/=) :: ZipList a -> ZipList a -> Bool Source
Eq (Chan a) |
Methods (==) :: Chan a -> Chan a -> Bool Source (/=) :: Chan a -> Chan a -> Bool Source
Eq a => Eq (Complex a) |
Methods (==) :: Complex a -> Complex a -> Bool Source (/=) :: Complex a -> Complex a -> Bool Source
Eq (Fixed a) |
Methods (==) :: Fixed a -> Fixed a -> Bool Source (/=) :: Fixed a -> Fixed a -> Bool Source
Eq a => Eq (NonEmpty a) |
Methods (==) :: NonEmpty a -> NonEmpty a -> Bool Source (/=) :: NonEmpty a -> NonEmpty a -> Bool Source
Eq a => Eq (Option a) |
Methods (==) :: Option a -> Option a -> Bool Source (/=) :: Option a -> Option a -> Bool Source
Eq m => Eq (WrappedMonoid m) |
Methods (==) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source (/=) :: WrappedMonoid m -> WrappedMonoid m -> Bool Source
Eq a => Eq (Last a) |
Methods (==) :: Last a -> Last a -> Bool Source (/=) :: Last a -> Last a -> Bool Source
Eq a => Eq (First a) |
Methods (==) :: First a -> First a -> Bool Source (/=) :: First a -> First a -> Bool Source
Eq a => Eq (Max a) |
Methods (==) :: Max a -> Max a -> Bool Source (/=) :: Max a -> Max a -> Bool Source
Eq a => Eq (Min a) |
Methods (==) :: Min a -> Min a -> Bool Source (/=) :: Min a -> Min a -> Bool Source
Eq a => Eq (Identity a) |
Methods (==) :: Identity a -> Identity a -> Bool Source (/=) :: Identity a -> Identity a -> Bool Source
Eq (StableName a) |
Methods (==) :: StableName a -> StableName a -> Bool Source (/=) :: StableName a -> StableName a -> Bool Source
(Eq a, Eq b) => Eq (Either a b) |
Methods (==) :: Either a b -> Either a b -> Bool Source (/=) :: Either a b -> Either a b -> Bool Source
Eq (f p) => Eq (Rec1 f p) |
Methods (==) :: Rec1 f p -> Rec1 f p -> Bool Source (/=) :: Rec1 f p -> Rec1 f p -> Bool Source
Eq (URec Char p) |
Methods (==) :: URec Char p -> URec Char p -> Bool Source (/=) :: URec Char p -> URec Char p -> Bool Source
Eq (URec Double p) |
Methods (==) :: URec Double p -> URec Double p -> Bool Source (/=) :: URec Double p -> URec Double p -> Bool Source
Eq (URec Float p) |
Methods (==) :: URec Float p -> URec Float p -> Bool Source (/=) :: URec Float p -> URec Float p -> Bool Source
Eq (URec Int p) |
Methods (==) :: URec Int p -> URec Int p -> Bool Source (/=) :: URec Int p -> URec Int p -> Bool Source
Eq (URec Word p) |
Methods (==) :: URec Word p -> URec Word p -> Bool Source (/=) :: URec Word p -> URec Word p -> Bool Source
Eq (URec (Ptr ()) p) |
Methods (==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source (/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source
(Eq a, Eq b) => Eq (a, b) |
Methods (==) :: (a, b) -> (a, b) -> Bool Source (/=) :: (a, b) -> (a, b) -> Bool Source
Eq (STRef s a) |
Methods (==) :: STRef s a -> STRef s a -> Bool Source (/=) :: STRef s a -> STRef s a -> Bool Source
Eq (Proxy k s) |
Methods (==) :: Proxy k s -> Proxy k s -> Bool Source (/=) :: Proxy k s -> Proxy k s -> Bool Source
Eq a => Eq (Arg a b) |
Methods (==) :: Arg a b -> Arg a b -> Bool Source (/=) :: Arg a b -> Arg a b -> Bool Source
Eq c => Eq (K1 i c p) |
Methods (==) :: K1 i c p -> K1 i c p -> Bool Source (/=) :: K1 i c p -> K1 i c p -> Bool Source
(Eq (f p), Eq (g p)) => Eq ((:+:) f g p) |
Methods (==) :: (f :+: g) p -> (f :+: g) p -> Bool Source (/=) :: (f :+: g) p -> (f :+: g) p -> Bool Source
(Eq (f p), Eq (g p)) => Eq ((:*:) f g p) |
Methods (==) :: (f :*: g) p -> (f :*: g) p -> Bool Source (/=) :: (f :*: g) p -> (f :*: g) p -> Bool Source
Eq (f (g p)) => Eq ((:.:) f g p) |
Methods (==) :: (f :.: g) p -> (f :.: g) p -> Bool Source (/=) :: (f :.: g) p -> (f :.: g) p -> Bool Source
(Eq a, Eq b, Eq c) => Eq (a, b, c) |
Methods (==) :: (a, b, c) -> (a, b, c) -> Bool Source (/=) :: (a, b, c) -> (a, b, c) -> Bool Source
Eq ((:~:) k a b) |
Methods (==) :: (k :~: a) b -> (k :~: a) b -> Bool Source (/=) :: (k :~: a) b -> (k :~: a) b -> Bool Source
Eq (Coercion k a b) |
Methods (==) :: Coercion k a b -> Coercion k a b -> Bool Source (/=) :: Coercion k a b -> Coercion k a b -> Bool Source
Eq (f a) => Eq (Alt k f a) |
Methods (==) :: Alt k f a -> Alt k f a -> Bool Source (/=) :: Alt k f a -> Alt k f a -> Bool Source
Eq a => Eq (Const k a b) |
Methods (==) :: Const k a b -> Const k a b -> Bool Source (/=) :: Const k a b -> Const k a b -> Bool Source
Eq (f p) => Eq (M1 i c f p) |
Methods (==) :: M1 i c f p -> M1 i c f p -> Bool Source (/=) :: M1 i c f p -> M1 i c f p -> Bool Source
(Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d) |
Methods (==) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source (/=) :: (a, b, c, d) -> (a, b, c, d) -> Bool Source
(Eq1 f, Eq1 g, Eq a) => Eq (Product (TYPE Lifted) f g a) |
Methods (==) :: Product (TYPE Lifted) f g a -> Product (TYPE Lifted) f g a -> Bool Source (/=) :: Product (TYPE Lifted) f g a -> Product (TYPE Lifted) f g a -> Bool Source
(Eq1 f, Eq1 g, Eq a) => Eq (Sum (TYPE Lifted) f g a) |
Methods (==) :: Sum (TYPE Lifted) f g a -> Sum (TYPE Lifted) f g a -> Bool Source (/=) :: Sum (TYPE Lifted) f g a -> Sum (TYPE Lifted) f g a -> Bool Source
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e) |
Methods (==) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source (/=) :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool Source
(Eq1 f, Eq1 g, Eq a) => Eq (Compose (TYPE Lifted) (TYPE Lifted) f g a) |
Methods (==) :: Compose (TYPE Lifted) (TYPE Lifted) f g a -> Compose (TYPE Lifted) (TYPE Lifted) f g a -> Bool Source (/=) :: Compose (TYPE Lifted) (TYPE Lifted) f g a -> Compose (TYPE Lifted) (TYPE Lifted) f g a -> Bool Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (a, b, c, d, e, f) |
Methods (==) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Source (/=) :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (a, b, c, d, e, f, g) |
Methods (==) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Source (/=) :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool Source
(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) |
Methods (==) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Source (/=) :: (a, b, c, d, e, f, g, h) -> (a, b, c, d, e, f, g, h) -> Bool Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (a, b, c, d, e, f, g, h, i) |
Methods (==) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Source (/=) :: (a, b, c, d, e, f, g, h, i) -> (a, b, c, d, e, f, g, h, i) -> Bool Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (a, b, c, d, e, f, g, h, i, j) |
Methods (==) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool Source (/=) :: (a, b, c, d, e, f, g, h, i, j) -> (a, b, c, d, e, f, g, h, i, j) -> Bool Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (a, b, c, d, e, f, g, h, i, j, k) |
Methods (==) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool Source (/=) :: (a, b, c, d, e, f, g, h, i, j, k) -> (a, b, c, d, e, f, g, h, i, j, k) -> Bool Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (a, b, c, d, e, f, g, h, i, j, k, l) |
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 Source (/=) :: (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 Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m) |
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 Source (/=) :: (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 Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n) |
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 Source (/=) :: (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 Source
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) |
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 Source (/=) :: (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 Source