generic-deriving-1.12.1: Generic programming library for generalised deriving.

Safe HaskellTrustworthy
LanguageHaskell2010

Generics.Deriving.Eq

Contents

Synopsis

Generic Eq class

class GEq a where Source #

Methods

geq :: a -> a -> Bool Source #

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

Instances

GEq Bool Source # 

Methods

geq :: Bool -> Bool -> Bool Source #

GEq Char Source # 

Methods

geq :: Char -> Char -> Bool Source #

GEq Double Source # 

Methods

geq :: Double -> Double -> Bool Source #

GEq Float Source # 

Methods

geq :: Float -> Float -> Bool Source #

GEq Int Source # 

Methods

geq :: Int -> Int -> Bool Source #

GEq Int8 Source # 

Methods

geq :: Int8 -> Int8 -> Bool Source #

GEq Int16 Source # 

Methods

geq :: Int16 -> Int16 -> Bool Source #

GEq Int32 Source # 

Methods

geq :: Int32 -> Int32 -> Bool Source #

GEq Int64 Source # 

Methods

geq :: Int64 -> Int64 -> Bool Source #

GEq Integer Source # 

Methods

geq :: Integer -> Integer -> Bool Source #

GEq Natural Source # 

Methods

geq :: Natural -> Natural -> Bool Source #

GEq Ordering Source # 

Methods

geq :: Ordering -> Ordering -> Bool Source #

GEq Word Source # 

Methods

geq :: Word -> Word -> Bool Source #

GEq Word8 Source # 

Methods

geq :: Word8 -> Word8 -> Bool Source #

GEq Word16 Source # 

Methods

geq :: Word16 -> Word16 -> Bool Source #

GEq Word32 Source # 

Methods

geq :: Word32 -> Word32 -> Bool Source #

GEq Word64 Source # 

Methods

geq :: Word64 -> Word64 -> Bool Source #

GEq () Source # 

Methods

geq :: () -> () -> Bool Source #

GEq Handle Source # 

Methods

geq :: Handle -> Handle -> Bool Source #

GEq Void Source # 

Methods

geq :: Void -> Void -> Bool Source #

GEq Version Source # 

Methods

geq :: Version -> Version -> Bool Source #

GEq HandlePosn Source # 
GEq CDev Source # 

Methods

geq :: CDev -> CDev -> Bool Source #

GEq CIno Source # 

Methods

geq :: CIno -> CIno -> Bool Source #

GEq CMode Source # 

Methods

geq :: CMode -> CMode -> Bool Source #

GEq COff Source # 

Methods

geq :: COff -> COff -> Bool Source #

GEq CPid Source # 

Methods

geq :: CPid -> CPid -> Bool Source #

GEq CSsize Source # 

Methods

geq :: CSsize -> CSsize -> Bool Source #

GEq CGid Source # 

Methods

geq :: CGid -> CGid -> Bool Source #

GEq CNlink Source # 

Methods

geq :: CNlink -> CNlink -> Bool Source #

GEq CUid Source # 

Methods

geq :: CUid -> CUid -> Bool Source #

GEq CCc Source # 

Methods

geq :: CCc -> CCc -> Bool Source #

GEq CSpeed Source # 

Methods

geq :: CSpeed -> CSpeed -> Bool Source #

GEq CTcflag Source # 

Methods

geq :: CTcflag -> CTcflag -> Bool Source #

GEq CRLim Source # 

Methods

geq :: CRLim -> CRLim -> Bool Source #

GEq CBlkSize Source # 

Methods

geq :: CBlkSize -> CBlkSize -> Bool Source #

GEq CBlkCnt Source # 

Methods

geq :: CBlkCnt -> CBlkCnt -> Bool Source #

GEq CClockId Source # 

Methods

geq :: CClockId -> CClockId -> Bool Source #

GEq CFsBlkCnt Source # 
GEq CFsFilCnt Source # 
GEq CId Source # 

Methods

geq :: CId -> CId -> Bool Source #

GEq CKey Source # 

Methods

geq :: CKey -> CKey -> Bool Source #

GEq CTimer Source # 

Methods

geq :: CTimer -> CTimer -> Bool Source #

GEq Fd Source # 

Methods

geq :: Fd -> Fd -> Bool Source #

GEq Errno Source # 

Methods

geq :: Errno -> Errno -> Bool Source #

GEq ExitCode Source # 

Methods

geq :: ExitCode -> ExitCode -> Bool Source #

GEq IOErrorType Source # 
GEq BufferMode Source # 
GEq SeekMode Source # 

Methods

geq :: SeekMode -> SeekMode -> Bool Source #

GEq IOError Source # 

Methods

geq :: IOError -> IOError -> Bool Source #

GEq All Source # 

Methods

geq :: All -> All -> Bool Source #

GEq Any Source # 

Methods

geq :: Any -> Any -> Bool Source #

GEq Fixity Source # 

Methods

geq :: Fixity -> Fixity -> Bool Source #

GEq Associativity Source # 
GEq SourceUnpackedness Source # 
GEq SourceStrictness Source # 
GEq DecidedStrictness Source # 
GEq CChar Source # 

Methods

geq :: CChar -> CChar -> Bool Source #

GEq CSChar Source # 

Methods

geq :: CSChar -> CSChar -> Bool Source #

GEq CUChar Source # 

Methods

geq :: CUChar -> CUChar -> Bool Source #

GEq CShort Source # 

Methods

geq :: CShort -> CShort -> Bool Source #

GEq CUShort Source # 

Methods

geq :: CUShort -> CUShort -> Bool Source #

GEq CInt Source # 

Methods

geq :: CInt -> CInt -> Bool Source #

GEq CUInt Source # 

Methods

geq :: CUInt -> CUInt -> Bool Source #

GEq CLong Source # 

Methods

geq :: CLong -> CLong -> Bool Source #

GEq CULong Source # 

Methods

geq :: CULong -> CULong -> Bool Source #

GEq CLLong Source # 

Methods

geq :: CLLong -> CLLong -> Bool Source #

GEq CULLong Source # 

Methods

geq :: CULLong -> CULLong -> Bool Source #

GEq CBool Source # 

Methods

geq :: CBool -> CBool -> Bool Source #

GEq CFloat Source # 

Methods

geq :: CFloat -> CFloat -> Bool Source #

GEq CDouble Source # 

Methods

geq :: CDouble -> CDouble -> Bool Source #

GEq CPtrdiff Source # 

Methods

geq :: CPtrdiff -> CPtrdiff -> Bool Source #

GEq CSize Source # 

Methods

geq :: CSize -> CSize -> Bool Source #

GEq CWchar Source # 

Methods

geq :: CWchar -> CWchar -> Bool Source #

GEq CSigAtomic Source # 
GEq CClock Source # 

Methods

geq :: CClock -> CClock -> Bool Source #

GEq CTime Source # 

Methods

geq :: CTime -> CTime -> Bool Source #

GEq CUSeconds Source # 
GEq CSUSeconds Source # 
GEq CIntPtr Source # 

Methods

geq :: CIntPtr -> CIntPtr -> Bool Source #

GEq CUIntPtr Source # 

Methods

geq :: CUIntPtr -> CUIntPtr -> Bool Source #

GEq CIntMax Source # 

Methods

geq :: CIntMax -> CIntMax -> Bool Source #

GEq CUIntMax Source # 

Methods

geq :: CUIntMax -> CUIntMax -> Bool Source #

GEq WordPtr Source # 

Methods

geq :: WordPtr -> WordPtr -> Bool Source #

GEq IntPtr Source # 

Methods

geq :: IntPtr -> IntPtr -> Bool Source #

GEq IOMode Source # 

Methods

geq :: IOMode -> IOMode -> Bool Source #

GEq GeneralCategory Source # 
GEq a => GEq [a] Source # 

Methods

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

GEq a => GEq (Maybe a) Source # 

Methods

geq :: Maybe a -> Maybe a -> Bool Source #

GEq (StablePtr a) Source # 

Methods

geq :: StablePtr a -> StablePtr a -> Bool Source #

GEq (Ptr a) Source # 

Methods

geq :: Ptr a -> Ptr a -> Bool Source #

GEq (FunPtr a) Source # 

Methods

geq :: FunPtr a -> FunPtr a -> Bool Source #

GEq p => GEq (Par1 p) Source # 

Methods

geq :: Par1 p -> Par1 p -> Bool Source #

GEq (ForeignPtr a) Source # 

Methods

geq :: ForeignPtr a -> ForeignPtr a -> Bool Source #

GEq a => GEq (Complex a) Source # 

Methods

geq :: Complex a -> Complex a -> Bool Source #

GEq a => GEq (Min a) Source # 

Methods

geq :: Min a -> Min a -> Bool Source #

GEq a => GEq (Max a) Source # 

Methods

geq :: Max a -> Max a -> Bool Source #

GEq a => GEq (First a) Source # 

Methods

geq :: First a -> First a -> Bool Source #

GEq a => GEq (Last a) Source # 

Methods

geq :: Last a -> Last a -> Bool Source #

GEq m => GEq (WrappedMonoid m) Source # 
GEq a => GEq (Option a) Source # 

Methods

geq :: Option a -> Option a -> Bool Source #

GEq a => GEq (NonEmpty a) Source # 

Methods

geq :: NonEmpty a -> NonEmpty a -> Bool Source #

GEq a => GEq (ZipList a) Source # 

Methods

geq :: ZipList a -> ZipList a -> Bool Source #

GEq a => GEq (Identity a) Source # 

Methods

geq :: Identity a -> Identity a -> Bool Source #

GEq a => GEq (Dual a) Source # 

Methods

geq :: Dual a -> Dual a -> Bool Source #

GEq a => GEq (Sum a) Source # 

Methods

geq :: Sum a -> Sum a -> Bool Source #

GEq a => GEq (Product a) Source # 

Methods

geq :: Product a -> Product a -> Bool Source #

GEq a => GEq (First a) Source # 

Methods

geq :: First a -> First a -> Bool Source #

GEq a => GEq (Last a) Source # 

Methods

geq :: Last a -> Last a -> Bool Source #

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

Methods

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

GEq (U1 k p) Source # 

Methods

geq :: U1 k p -> U1 k p -> Bool Source #

GEq (UAddr k p) Source # 

Methods

geq :: UAddr k p -> UAddr k p -> Bool Source #

GEq (UChar k p) Source # 

Methods

geq :: UChar k p -> UChar k p -> Bool Source #

GEq (UDouble k p) Source # 

Methods

geq :: UDouble k p -> UDouble k p -> Bool Source #

GEq (UFloat k p) Source # 

Methods

geq :: UFloat k p -> UFloat k p -> Bool Source #

GEq (UInt k p) Source # 

Methods

geq :: UInt k p -> UInt k p -> Bool Source #

GEq (UWord k p) Source # 

Methods

geq :: UWord k p -> UWord k p -> Bool Source #

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

Methods

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

GEq a => GEq (Arg a b) Source # 

Methods

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

GEq (Proxy k s) Source # 

Methods

geq :: Proxy k s -> Proxy k s -> Bool Source #

GEq (f p) => GEq (Rec1 k f p) Source # 

Methods

geq :: Rec1 k f p -> Rec1 k f p -> Bool Source #

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

Methods

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

GEq a => GEq (Const k a b) Source # 

Methods

geq :: Const k a b -> Const k a b -> Bool Source #

GEq (f a) => GEq (Alt k f a) Source # 

Methods

geq :: Alt k f a -> Alt k f a -> Bool Source #

GEq c => GEq (K1 k i c p) Source # 

Methods

geq :: K1 k i c p -> K1 k i c p -> Bool Source #

(GEq (f p), GEq (g p)) => GEq ((:+:) k f g p) Source # 

Methods

geq :: (k :+: f) g p -> (k :+: f) g p -> Bool Source #

(GEq (f p), GEq (g p)) => GEq ((:*:) k f g p) Source # 

Methods

geq :: (k :*: f) g p -> (k :*: f) g p -> Bool Source #

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

Methods

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

GEq (f p) => GEq (M1 k i c f p) Source # 

Methods

geq :: M1 k i c f p -> M1 k i c f p -> Bool Source #

GEq (f (g p)) => GEq ((:.:) k2 k1 f g p) Source # 

Methods

geq :: (k2 :.: k1) f g p -> (k2 :.: k1) f g p -> Bool Source #

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

Methods

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

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

Methods

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

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

Methods

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

Default definition

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

Internal Eq class

class GEq' f where Source #

Minimal complete definition

geq'

Methods

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

Instances

GEq' k (UWord k) Source # 

Methods

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

GEq' k (UInt k) Source # 

Methods

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

GEq' k (UFloat k) Source # 

Methods

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

GEq' k (UDouble k) Source # 

Methods

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

GEq' k (UChar k) Source # 

Methods

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

GEq' k (UAddr k) Source # 

Methods

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

GEq' k (U1 k) Source # 

Methods

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

GEq' k (V1 k) Source # 

Methods

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

(GEq' k a, GEq' k b) => GEq' k ((:*:) k a b) Source # 

Methods

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

(GEq' k a, GEq' k b) => GEq' k ((:+:) k a b) Source # 

Methods

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

GEq c => GEq' k (K1 k i c) Source # 

Methods

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

GEq' k a => GEq' k (M1 k i c a) Source # 

Methods

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