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

Safe HaskellTrustworthy

Generics.Deriving.Eq

Contents

Synopsis

Generic Eq class

class GEq a where

Methods

geq :: a -> a -> Bool

Instances

GEq Bool 
GEq Char 
GEq Double 
GEq Float 
GEq Int 
GEq Int8 
GEq Int16 
GEq Int32 
GEq Int64 
GEq Integer 
GEq Ordering 
GEq Word 
GEq Word8 
GEq Word16 
GEq Word32 
GEq Word64 
GEq () 
GEq Version 
GEq CInt 
GEq Handle 
GEq CChar 
GEq IOError 
GEq IOErrorType 
GEq ExitCode 
GEq GeneralCategory 
GEq Any 
GEq All 
GEq Fixity 
GEq Associativity 
GEq Arity 
GEq Errno 
GEq CWchar 
GEq CUShort 
GEq CUSeconds 
GEq CULong 
GEq CULLong 
GEq CUIntPtr 
GEq CUIntMax 
GEq CUInt 
GEq CUChar 
GEq CTime 
GEq CSize 
GEq CSigAtomic 
GEq CShort 
GEq CSUSeconds 
GEq CSChar 
GEq CPtrdiff 
GEq CLong 
GEq CLLong 
GEq CIntPtr 
GEq CIntMax 
GEq CFloat 
GEq CDouble 
GEq CClock 
GEq WordPtr 
GEq IntPtr 
GEq CMode 
GEq IOMode 
GEq BufferMode 
GEq HandlePosn 
GEq SeekMode 
GEq Fd 
GEq CUid 
GEq CTcflag 
GEq CSsize 
GEq CSpeed 
GEq CRLim 
GEq CPid 
GEq COff 
GEq CNlink 
GEq CIno 
GEq CGid 
GEq CDev 
GEq CCc 
GEq a => GEq [a] 
GEq (StablePtr a) 
GEq (Ptr a) 
GEq (FunPtr a) 
GEq (U1 p) 
GEq p => GEq (Par1 p) 
GEq a => GEq (Maybe a) 
GEq a => GEq (Sum a) 
GEq a => GEq (Product a) 
GEq a => GEq (Dual a) 
GEq a => GEq (Last a) 
GEq a => GEq (First a) 
GEq a => GEq (ZipList a) 
GEq (UWord p) 
GEq (UInt p) 
GEq (UFloat p) 
GEq (UDouble p) 
GEq (UChar p) 
GEq (UAddr p) 
GEq a => GEq (Complex a) 
GEq a => GEq (Down a) 
GEq (ForeignPtr a) 
(GEq a, GEq b) => GEq (Either a b) 
GEq (f p) => GEq (Rec1 f p) 
(GEq a, GEq b) => GEq (a, b) 
GEq a => GEq (Const a b) 
GEq c => GEq (K1 i c p) 
(GEq (f p), GEq (g p)) => GEq (:+: f g p) 
(GEq (f p), GEq (g p)) => GEq (:*: f g p) 
GEq (f (g p)) => GEq (:.: f g p) 
(GEq a, GEq b, GEq c) => GEq (a, b, c) 
GEq (f p) => GEq (M1 i c f p) 
(GEq a, GEq b, GEq c, GEq d) => GEq (a, b, c, d) 
(GEq a, GEq b, GEq c, GEq d, GEq e) => GEq (a, b, c, d, e) 
(GEq a, GEq b, GEq c, GEq d, GEq e, GEq f) => GEq (a, b, c, d, e, f) 
(GEq a, GEq b, GEq c, GEq d, GEq e, GEq f, GEq g) => GEq (a, b, c, d, e, f, g) 

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' * V1 
GEq' * U1 
GEq' * UWord 
GEq' * UInt 
GEq' * UFloat 
GEq' * UDouble 
GEq' * UChar 
GEq' * UAddr 
GEq c => GEq' * (K1 i c) 
(GEq' * a, GEq' * b) => GEq' * (:+: a b) 
(GEq' * a, GEq' * b) => GEq' * (:*: a b) 
GEq' * a => GEq' * (M1 i c a)