Generics.Deriving.Eq

Generic Eq class

class GEq a where

Minimal complete definition

Nothing

Methods

geq :: a -> a -> Bool

default geq :: (Generic a, GEq' (Rep a)) => a -> a -> Bool

Instances

GEq Bool

Defined in Generics.Deriving.Eq

Methods

geq :: Bool -> Bool -> Bool

GEq Char

Defined in Generics.Deriving.Eq

Methods

geq :: Char -> Char -> Bool

GEq Double

Defined in Generics.Deriving.Eq

Methods

geq :: Double -> Double -> Bool

GEq Float

Defined in Generics.Deriving.Eq

Methods

geq :: Float -> Float -> Bool

GEq Int

Defined in Generics.Deriving.Eq

Methods

geq :: Int -> Int -> Bool

GEq Int8

Defined in Generics.Deriving.Eq

Methods

geq :: Int8 -> Int8 -> Bool

GEq Int16

Defined in Generics.Deriving.Eq

Methods

geq :: Int16 -> Int16 -> Bool

GEq Int32

Defined in Generics.Deriving.Eq

Methods

geq :: Int32 -> Int32 -> Bool

GEq Int64

Defined in Generics.Deriving.Eq

Methods

geq :: Int64 -> Int64 -> Bool

GEq Integer

Defined in Generics.Deriving.Eq

Methods

geq :: Integer -> Integer -> Bool

GEq Natural

Defined in Generics.Deriving.Eq

Methods

geq :: Natural -> Natural -> Bool

GEq Ordering

Defined in Generics.Deriving.Eq

Methods

geq :: Ordering -> Ordering -> Bool

GEq Word

Defined in Generics.Deriving.Eq

Methods

geq :: Word -> Word -> Bool

GEq Word8

Defined in Generics.Deriving.Eq

Methods

geq :: Word8 -> Word8 -> Bool

GEq Word16

Defined in Generics.Deriving.Eq

Methods

geq :: Word16 -> Word16 -> Bool

GEq Word32

Defined in Generics.Deriving.Eq

Methods

geq :: Word32 -> Word32 -> Bool

GEq Word64

Defined in Generics.Deriving.Eq

Methods

geq :: Word64 -> Word64 -> Bool

GEq ()

Defined in Generics.Deriving.Eq

Methods

geq :: () -> () -> Bool

GEq Handle

Defined in Generics.Deriving.Eq

Methods

geq :: Handle -> Handle -> Bool

GEq Void

Defined in Generics.Deriving.Eq

Methods

geq :: Void -> Void -> Bool

GEq Version

Defined in Generics.Deriving.Eq

Methods

geq :: Version -> Version -> Bool

GEq HandlePosn

Defined in Generics.Deriving.Eq

Methods

geq :: HandlePosn -> HandlePosn -> Bool

GEq CDev

Defined in Generics.Deriving.Eq

Methods

geq :: CDev -> CDev -> Bool

GEq CIno

Defined in Generics.Deriving.Eq

Methods

geq :: CIno -> CIno -> Bool

GEq CMode

Defined in Generics.Deriving.Eq

Methods

geq :: CMode -> CMode -> Bool

GEq COff

Defined in Generics.Deriving.Eq

Methods

geq :: COff -> COff -> Bool

GEq CPid

Defined in Generics.Deriving.Eq

Methods

geq :: CPid -> CPid -> Bool

GEq CSsize

Defined in Generics.Deriving.Eq

Methods

geq :: CSsize -> CSsize -> Bool

GEq CGid

Defined in Generics.Deriving.Eq

Methods

geq :: CGid -> CGid -> Bool

GEq CNlink

Defined in Generics.Deriving.Eq

Methods

geq :: CNlink -> CNlink -> Bool

GEq CUid

Defined in Generics.Deriving.Eq

Methods

geq :: CUid -> CUid -> Bool

GEq CCc

Defined in Generics.Deriving.Eq

Methods

geq :: CCc -> CCc -> Bool

GEq CSpeed

Defined in Generics.Deriving.Eq

Methods

geq :: CSpeed -> CSpeed -> Bool

GEq CTcflag

Defined in Generics.Deriving.Eq

Methods

geq :: CTcflag -> CTcflag -> Bool

GEq CRLim

Defined in Generics.Deriving.Eq

Methods

geq :: CRLim -> CRLim -> Bool

GEq CBlkSize

Defined in Generics.Deriving.Eq

Methods

geq :: CBlkSize -> CBlkSize -> Bool

GEq CBlkCnt

Defined in Generics.Deriving.Eq

Methods

geq :: CBlkCnt -> CBlkCnt -> Bool

GEq CClockId

Defined in Generics.Deriving.Eq

Methods

geq :: CClockId -> CClockId -> Bool

GEq CFsBlkCnt

Defined in Generics.Deriving.Eq

Methods

geq :: CFsBlkCnt -> CFsBlkCnt -> Bool

GEq CFsFilCnt

Defined in Generics.Deriving.Eq

Methods

geq :: CFsFilCnt -> CFsFilCnt -> Bool

GEq CId

Defined in Generics.Deriving.Eq

Methods

geq :: CId -> CId -> Bool

GEq CKey

Defined in Generics.Deriving.Eq

Methods

geq :: CKey -> CKey -> Bool

GEq CTimer

Defined in Generics.Deriving.Eq

Methods

geq :: CTimer -> CTimer -> Bool

GEq Fd

Defined in Generics.Deriving.Eq

Methods

geq :: Fd -> Fd -> Bool

GEq Errno

Defined in Generics.Deriving.Eq

Methods

geq :: Errno -> Errno -> Bool

GEq ExitCode

Defined in Generics.Deriving.Eq

Methods

geq :: ExitCode -> ExitCode -> Bool

GEq IOErrorType

Defined in Generics.Deriving.Eq

Methods

geq :: IOErrorType -> IOErrorType -> Bool

GEq BufferMode

Defined in Generics.Deriving.Eq

Methods

geq :: BufferMode -> BufferMode -> Bool

GEq SeekMode

Defined in Generics.Deriving.Eq

Methods

geq :: SeekMode -> SeekMode -> Bool

GEq IOError

Defined in Generics.Deriving.Eq

Methods

geq :: IOError -> IOError -> Bool

GEq All

Defined in Generics.Deriving.Eq

Methods

geq :: All -> All -> Bool

GEq Any

Defined in Generics.Deriving.Eq

Methods

geq :: Any -> Any -> Bool

GEq Fixity

Defined in Generics.Deriving.Eq

Methods

geq :: Fixity -> Fixity -> Bool

GEq Associativity

Defined in Generics.Deriving.Eq

Methods

geq :: Associativity -> Associativity -> Bool

GEq SourceUnpackedness

Defined in Generics.Deriving.Eq

Methods

geq :: SourceUnpackedness -> SourceUnpackedness -> Bool

GEq SourceStrictness

Defined in Generics.Deriving.Eq

Methods

geq :: SourceStrictness -> SourceStrictness -> Bool

GEq DecidedStrictness

Defined in Generics.Deriving.Eq

Methods

geq :: DecidedStrictness -> DecidedStrictness -> Bool

GEq CChar

Defined in Generics.Deriving.Eq

Methods

geq :: CChar -> CChar -> Bool

GEq CSChar

Defined in Generics.Deriving.Eq

Methods

geq :: CSChar -> CSChar -> Bool

GEq CUChar

Defined in Generics.Deriving.Eq

Methods

geq :: CUChar -> CUChar -> Bool

GEq CShort

Defined in Generics.Deriving.Eq

Methods

geq :: CShort -> CShort -> Bool

GEq CUShort

Defined in Generics.Deriving.Eq

Methods

geq :: CUShort -> CUShort -> Bool

GEq CInt

Defined in Generics.Deriving.Eq

Methods

geq :: CInt -> CInt -> Bool

GEq CUInt

Defined in Generics.Deriving.Eq

Methods

geq :: CUInt -> CUInt -> Bool

GEq CLong

Defined in Generics.Deriving.Eq

Methods

geq :: CLong -> CLong -> Bool

GEq CULong

Defined in Generics.Deriving.Eq

Methods

geq :: CULong -> CULong -> Bool

GEq CLLong

Defined in Generics.Deriving.Eq

Methods

geq :: CLLong -> CLLong -> Bool

GEq CULLong

Defined in Generics.Deriving.Eq

Methods

geq :: CULLong -> CULLong -> Bool

GEq CBool

Defined in Generics.Deriving.Eq

Methods

geq :: CBool -> CBool -> Bool

GEq CFloat

Defined in Generics.Deriving.Eq

Methods

geq :: CFloat -> CFloat -> Bool

GEq CDouble

Defined in Generics.Deriving.Eq

Methods

geq :: CDouble -> CDouble -> Bool

GEq CPtrdiff

Defined in Generics.Deriving.Eq

Methods

geq :: CPtrdiff -> CPtrdiff -> Bool

GEq CSize

Defined in Generics.Deriving.Eq

Methods

geq :: CSize -> CSize -> Bool

GEq CWchar

Defined in Generics.Deriving.Eq

Methods

geq :: CWchar -> CWchar -> Bool

GEq CSigAtomic

Defined in Generics.Deriving.Eq

Methods

geq :: CSigAtomic -> CSigAtomic -> Bool

GEq CClock

Defined in Generics.Deriving.Eq

Methods

geq :: CClock -> CClock -> Bool

GEq CTime

Defined in Generics.Deriving.Eq

Methods

geq :: CTime -> CTime -> Bool

GEq CUSeconds

Defined in Generics.Deriving.Eq

Methods

geq :: CUSeconds -> CUSeconds -> Bool

GEq CSUSeconds

Defined in Generics.Deriving.Eq

Methods

geq :: CSUSeconds -> CSUSeconds -> Bool

GEq CIntPtr

Defined in Generics.Deriving.Eq

Methods

geq :: CIntPtr -> CIntPtr -> Bool

GEq CUIntPtr

Defined in Generics.Deriving.Eq

Methods

geq :: CUIntPtr -> CUIntPtr -> Bool

GEq CIntMax

Defined in Generics.Deriving.Eq

Methods

geq :: CIntMax -> CIntMax -> Bool

GEq CUIntMax

Defined in Generics.Deriving.Eq

Methods

geq :: CUIntMax -> CUIntMax -> Bool

GEq WordPtr

Defined in Generics.Deriving.Eq

Methods

geq :: WordPtr -> WordPtr -> Bool

GEq IntPtr

Defined in Generics.Deriving.Eq

Methods

geq :: IntPtr -> IntPtr -> Bool

GEq IOMode

Defined in Generics.Deriving.Eq

Methods

geq :: IOMode -> IOMode -> Bool

GEq GeneralCategory

Defined in Generics.Deriving.Eq

Methods

geq :: GeneralCategory -> GeneralCategory -> Bool

GEq a => GEq [a]

Defined in Generics.Deriving.Eq

Methods

geq :: [a] -> [a] -> Bool

GEq a => GEq (Maybe a)

Defined in Generics.Deriving.Eq

Methods

geq :: Maybe a -> Maybe a -> Bool

GEq (StablePtr a)

Defined in Generics.Deriving.Eq

Methods

geq :: StablePtr a -> StablePtr a -> Bool

GEq (Ptr a)

Defined in Generics.Deriving.Eq

Methods

geq :: Ptr a -> Ptr a -> Bool

GEq (FunPtr a)

Defined in Generics.Deriving.Eq

Methods

geq :: FunPtr a -> FunPtr a -> Bool

GEq p => GEq (Par1 p)

Defined in Generics.Deriving.Eq

Methods

geq :: Par1 p -> Par1 p -> Bool

GEq (ForeignPtr a)

Defined in Generics.Deriving.Eq

Methods

geq :: ForeignPtr a -> ForeignPtr a -> Bool

GEq a => GEq (Complex a)

Defined in Generics.Deriving.Eq

Methods

geq :: Complex a -> Complex a -> Bool

GEq a => GEq (Min a)

Defined in Generics.Deriving.Eq

Methods

geq :: Min a -> Min a -> Bool

GEq a => GEq (Max a)

Defined in Generics.Deriving.Eq

Methods

geq :: Max a -> Max a -> Bool

GEq a => GEq (First a)

Defined in Generics.Deriving.Eq

Methods

geq :: First a -> First a -> Bool

GEq a => GEq (Last a)

Defined in Generics.Deriving.Eq

Methods

geq :: Last a -> Last a -> Bool

GEq m => GEq (WrappedMonoid m)

Defined in Generics.Deriving.Eq

Methods

geq :: WrappedMonoid m -> WrappedMonoid m -> Bool

GEq a => GEq (ZipList a)

Defined in Generics.Deriving.Eq

Methods

geq :: ZipList a -> ZipList a -> Bool

GEq a => GEq (Identity a)

Defined in Generics.Deriving.Eq

Methods

geq :: Identity a -> Identity a -> Bool

GEq a => GEq (First a)

Defined in Generics.Deriving.Eq

Methods

geq :: First a -> First a -> Bool

GEq a => GEq (Last a)

Defined in Generics.Deriving.Eq

Methods

geq :: Last a -> Last a -> Bool

GEq a => GEq (Dual a)

Defined in Generics.Deriving.Eq

Methods

geq :: Dual a -> Dual a -> Bool

GEq a => GEq (Sum a)

Defined in Generics.Deriving.Eq

Methods

geq :: Sum a -> Sum a -> Bool

GEq a => GEq (Product a)

Defined in Generics.Deriving.Eq

Methods

geq :: Product a -> Product a -> Bool

GEq a => GEq (Down a)

Defined in Generics.Deriving.Eq

Methods

geq :: Down a -> Down a -> Bool

GEq a => GEq (NonEmpty a)

Defined in Generics.Deriving.Eq

Methods

geq :: NonEmpty a -> NonEmpty a -> Bool

(Generic a, GEq' (Rep a)) => GEq (Default a)

Defined in Generics.Deriving.Default

Methods

geq :: Default a -> Default a -> Bool

(GEq a, GEq b) => GEq (Either a b)

Defined in Generics.Deriving.Eq

Methods

geq :: Either a b -> Either a b -> Bool

GEq (U1 p)

Defined in Generics.Deriving.Eq

Methods

geq :: U1 p -> U1 p -> Bool

GEq (UAddr p)

Defined in Generics.Deriving.Eq

Methods

geq :: UAddr p -> UAddr p -> Bool

GEq (UChar p)

Defined in Generics.Deriving.Eq

Methods

geq :: UChar p -> UChar p -> Bool

GEq (UDouble p)

Defined in Generics.Deriving.Eq

Methods

geq :: UDouble p -> UDouble p -> Bool

GEq (UFloat p)

Defined in Generics.Deriving.Eq

Methods

geq :: UFloat p -> UFloat p -> Bool

GEq (UInt p)

Defined in Generics.Deriving.Eq

Methods

geq :: UInt p -> UInt p -> Bool

GEq (UWord p)

Defined in Generics.Deriving.Eq

Methods

geq :: UWord p -> UWord p -> Bool

(GEq a, GEq b) => GEq (a, b)

Defined in Generics.Deriving.Eq

Methods

geq :: (a, b) -> (a, b) -> Bool

GEq a => GEq (Arg a b)

Defined in Generics.Deriving.Eq

Methods

geq :: Arg a b -> Arg a b -> Bool

GEq (Proxy s)

Defined in Generics.Deriving.Eq

Methods

geq :: Proxy s -> Proxy s -> Bool

GEq (f p) => GEq (Rec1 f p)

Defined in Generics.Deriving.Eq

Methods

geq :: Rec1 f p -> Rec1 f p -> Bool

(GEq a, GEq b, GEq c) => GEq (a, b, c)

Defined in Generics.Deriving.Eq

Methods

geq :: (a, b, c) -> (a, b, c) -> Bool

GEq a => GEq (Const a b)

Defined in Generics.Deriving.Eq

Methods

geq :: Const a b -> Const a b -> Bool

GEq (f a) => GEq (Alt f a)

Defined in Generics.Deriving.Eq

Methods

geq :: Alt f a -> Alt f a -> Bool

GEq c => GEq (K1 i c p)

Defined in Generics.Deriving.Eq

Methods

geq :: K1 i c p -> K1 i c p -> Bool

(GEq (f p), GEq (g p)) => GEq ((f :+: g) p)

Defined in Generics.Deriving.Eq

Methods

geq :: (f :+: g) p -> (f :+: g) p -> Bool

(GEq (f p), GEq (g p)) => GEq ((f :*: g) p)

Defined in Generics.Deriving.Eq

Methods

geq :: (f :*: g) p -> (f :*: g) p -> Bool

(GEq a, GEq b, GEq c, GEq d) => GEq (a, b, c, d)

Defined in Generics.Deriving.Eq

Methods

geq :: (a, b, c, d) -> (a, b, c, d) -> Bool

GEq (f p) => GEq (M1 i c f p)

Defined in Generics.Deriving.Eq

Methods

geq :: M1 i c f p -> M1 i c f p -> Bool

GEq (f (g p)) => GEq ((f :.: g) p)

Defined in Generics.Deriving.Eq

Methods

geq :: (f :.: g) p -> (f :.: g) p -> Bool

(GEq a, GEq b, GEq c, GEq d, GEq e) => GEq (a, b, c, d, e)

Defined in Generics.Deriving.Eq

Methods

geq :: (a, b, c, d, e) -> (a, b, c, d, e) -> Bool

(GEq a, GEq b, GEq c, GEq d, GEq e, GEq f) => GEq (a, b, c, d, e, f)

Defined in Generics.Deriving.Eq

Methods

geq :: (a, b, c, d, e, f) -> (a, b, c, d, e, f) -> Bool

(GEq a, GEq b, GEq c, GEq d, GEq e, GEq f, GEq g) => GEq (a, b, c, d, e, f, g)

Defined in Generics.Deriving.Eq

Methods

geq :: (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) -> Bool

Default definition

geqdefault :: (Generic a, GEq' (Rep a)) => a -> a -> Bool

Internal Eq class

class GEq' f where

Methods

geq' :: f a -> f a -> Bool

Instances

GEq' (UWord :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). UWord a -> UWord a -> Bool

GEq' (UInt :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). UInt a -> UInt a -> Bool

GEq' (UFloat :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). UFloat a -> UFloat a -> Bool

GEq' (UDouble :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). UDouble a -> UDouble a -> Bool

GEq' (UChar :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). UChar a -> UChar a -> Bool

GEq' (UAddr :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). UAddr a -> UAddr a -> Bool

GEq' (U1 :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). U1 a -> U1 a -> Bool

GEq' (V1 :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). V1 a -> V1 a -> Bool

(GEq' a, GEq' b) => GEq' (a :*: b :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a0 :: k0). (a :*: b) a0 -> (a :*: b) a0 -> Bool

(GEq' a, GEq' b) => GEq' (a :+: b :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a0 :: k0). (a :+: b) a0 -> (a :+: b) a0 -> Bool

GEq c => GEq' (K1 i c :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a :: k0). K1 i c a -> K1 i c a -> Bool

GEq' a => GEq' (M1 i c a :: k -> Type)

Defined in Generics.Deriving.Eq

Methods

geq' :: forall (a0 :: k0). M1 i c a a0 -> M1 i c a a0 -> Bool