Generics.Deriving.Eq

Generic Eq class

class GEq a where

Methods

geq :: a -> a -> Bool

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

Instances

GEq Bool

Methods

geq :: Bool -> Bool -> Bool

GEq Char

Methods

geq :: Char -> Char -> Bool

GEq Double

Methods

geq :: Double -> Double -> Bool

GEq Float

Methods

geq :: Float -> Float -> Bool

GEq Int

Methods

geq :: Int -> Int -> Bool

GEq Int8

Methods

geq :: Int8 -> Int8 -> Bool

GEq Int16

Methods

geq :: Int16 -> Int16 -> Bool

GEq Int32

Methods

geq :: Int32 -> Int32 -> Bool

GEq Int64

Methods

geq :: Int64 -> Int64 -> Bool

GEq Integer

Methods

geq :: Integer -> Integer -> Bool

GEq Natural

Methods

geq :: Natural -> Natural -> Bool

GEq Ordering

Methods

geq :: Ordering -> Ordering -> Bool

GEq Word

Methods

geq :: Word -> Word -> Bool

GEq Word8

Methods

geq :: Word8 -> Word8 -> Bool

GEq Word16

Methods

geq :: Word16 -> Word16 -> Bool

GEq Word32

Methods

geq :: Word32 -> Word32 -> Bool

GEq Word64

Methods

geq :: Word64 -> Word64 -> Bool

GEq ()

Methods

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

GEq Handle

Methods

geq :: Handle -> Handle -> Bool

GEq Void

Methods

geq :: Void -> Void -> Bool

GEq Version

Methods

geq :: Version -> Version -> Bool

GEq HandlePosn

Methods

geq :: HandlePosn -> HandlePosn -> Bool

GEq CDev

Methods

geq :: CDev -> CDev -> Bool

GEq CIno

Methods

geq :: CIno -> CIno -> Bool

GEq CMode

Methods

geq :: CMode -> CMode -> Bool

GEq COff

Methods

geq :: COff -> COff -> Bool

GEq CPid

Methods

geq :: CPid -> CPid -> Bool

GEq CSsize

Methods

geq :: CSsize -> CSsize -> Bool

GEq CGid

Methods

geq :: CGid -> CGid -> Bool

GEq CNlink

Methods

geq :: CNlink -> CNlink -> Bool

GEq CUid

Methods

geq :: CUid -> CUid -> Bool

GEq CCc

Methods

geq :: CCc -> CCc -> Bool

GEq CSpeed

Methods

geq :: CSpeed -> CSpeed -> Bool

GEq CTcflag

Methods

geq :: CTcflag -> CTcflag -> Bool

GEq CRLim

Methods

geq :: CRLim -> CRLim -> Bool

GEq CBlkSize

Methods

geq :: CBlkSize -> CBlkSize -> Bool

GEq CBlkCnt

Methods

geq :: CBlkCnt -> CBlkCnt -> Bool

GEq CClockId

Methods

geq :: CClockId -> CClockId -> Bool

GEq CFsBlkCnt

Methods

geq :: CFsBlkCnt -> CFsBlkCnt -> Bool

GEq CFsFilCnt

Methods

geq :: CFsFilCnt -> CFsFilCnt -> Bool

GEq CId

Methods

geq :: CId -> CId -> Bool

GEq CKey

Methods

geq :: CKey -> CKey -> Bool

GEq CTimer

Methods

geq :: CTimer -> CTimer -> Bool

GEq Fd

Methods

geq :: Fd -> Fd -> Bool

GEq Errno

Methods

geq :: Errno -> Errno -> Bool

GEq ExitCode

Methods

geq :: ExitCode -> ExitCode -> Bool

GEq IOErrorType

Methods

geq :: IOErrorType -> IOErrorType -> Bool

GEq BufferMode

Methods

geq :: BufferMode -> BufferMode -> Bool

GEq SeekMode

Methods

geq :: SeekMode -> SeekMode -> Bool

GEq IOError

Methods

geq :: IOError -> IOError -> Bool

GEq All

Methods

geq :: All -> All -> Bool

GEq Any

Methods

geq :: Any -> Any -> Bool

GEq Fixity

Methods

geq :: Fixity -> Fixity -> Bool

GEq Associativity

Methods

geq :: Associativity -> Associativity -> Bool

GEq SourceUnpackedness

Methods

geq :: SourceUnpackedness -> SourceUnpackedness -> Bool

GEq SourceStrictness

Methods

geq :: SourceStrictness -> SourceStrictness -> Bool

GEq DecidedStrictness

Methods

geq :: DecidedStrictness -> DecidedStrictness -> Bool

GEq CChar

Methods

geq :: CChar -> CChar -> Bool

GEq CSChar

Methods

geq :: CSChar -> CSChar -> Bool

GEq CUChar

Methods

geq :: CUChar -> CUChar -> Bool

GEq CShort

Methods

geq :: CShort -> CShort -> Bool

GEq CUShort

Methods

geq :: CUShort -> CUShort -> Bool

GEq CInt

Methods

geq :: CInt -> CInt -> Bool

GEq CUInt

Methods

geq :: CUInt -> CUInt -> Bool

GEq CLong

Methods

geq :: CLong -> CLong -> Bool

GEq CULong

Methods

geq :: CULong -> CULong -> Bool

GEq CLLong

Methods

geq :: CLLong -> CLLong -> Bool

GEq CULLong

Methods

geq :: CULLong -> CULLong -> Bool

GEq CBool

Methods

geq :: CBool -> CBool -> Bool

GEq CFloat

Methods

geq :: CFloat -> CFloat -> Bool

GEq CDouble

Methods

geq :: CDouble -> CDouble -> Bool

GEq CPtrdiff

Methods

geq :: CPtrdiff -> CPtrdiff -> Bool

GEq CSize

Methods

geq :: CSize -> CSize -> Bool

GEq CWchar

Methods

geq :: CWchar -> CWchar -> Bool

GEq CSigAtomic

Methods

geq :: CSigAtomic -> CSigAtomic -> Bool

GEq CClock

Methods

geq :: CClock -> CClock -> Bool

GEq CTime

Methods

geq :: CTime -> CTime -> Bool

GEq CUSeconds

Methods

geq :: CUSeconds -> CUSeconds -> Bool

GEq CSUSeconds

Methods

geq :: CSUSeconds -> CSUSeconds -> Bool

GEq CIntPtr

Methods

geq :: CIntPtr -> CIntPtr -> Bool

GEq CUIntPtr

Methods

geq :: CUIntPtr -> CUIntPtr -> Bool

GEq CIntMax

Methods

geq :: CIntMax -> CIntMax -> Bool

GEq CUIntMax

Methods

geq :: CUIntMax -> CUIntMax -> Bool

GEq WordPtr

Methods

geq :: WordPtr -> WordPtr -> Bool

GEq IntPtr

Methods

geq :: IntPtr -> IntPtr -> Bool

GEq IOMode

Methods

geq :: IOMode -> IOMode -> Bool

GEq GeneralCategory

Methods

geq :: GeneralCategory -> GeneralCategory -> Bool

GEq a => GEq [a]

Methods

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

GEq a => GEq (Maybe a)

Methods

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

GEq (StablePtr a)

Methods

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

GEq (Ptr a)

Methods

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

GEq (FunPtr a)

Methods

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

GEq p => GEq (Par1 p)

Methods

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

GEq (ForeignPtr a)

Methods

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

GEq a => GEq (Complex a)

Methods

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

GEq a => GEq (Min a)

Methods

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

GEq a => GEq (Max a)

Methods

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

GEq a => GEq (First a)

Methods

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

GEq a => GEq (Last a)

Methods

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

GEq m => GEq (WrappedMonoid m)

Methods

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

GEq a => GEq (Option a)

Methods

geq :: Option a -> Option a -> Bool

GEq a => GEq (NonEmpty a)

Methods

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

GEq a => GEq (ZipList a)

Methods

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

GEq a => GEq (Identity a)

Methods

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

GEq a => GEq (Dual a)

Methods

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

GEq a => GEq (Sum a)

Methods

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

GEq a => GEq (Product a)

Methods

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

GEq a => GEq (First a)

Methods

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

GEq a => GEq (Last a)

Methods

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

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

Methods

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

GEq (U1 k p)

Methods

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

GEq (UAddr k p)

Methods

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

GEq (UChar k p)

Methods

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

GEq (UDouble k p)

Methods

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

GEq (UFloat k p)

Methods

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

GEq (UInt k p)

Methods

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

GEq (UWord k p)

Methods

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

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

Methods

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

GEq a => GEq (Arg a b)

Methods

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

GEq (Proxy k s)

Methods

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

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

Methods

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

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

Methods

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

GEq a => GEq (Const k a b)

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

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

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)

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)

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

Minimal complete definition

geq'

Methods

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

Instances

GEq' k (UWord k)

Methods

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

GEq' k (UInt k)

Methods

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

GEq' k (UFloat k)

Methods

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

GEq' k (UDouble k)

Methods

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

GEq' k (UChar k)

Methods

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

GEq' k (UAddr k)

Methods

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

GEq' k (U1 k)

Methods

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

GEq' k (V1 k)

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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