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

Safe HaskellTrustworthy
LanguageHaskell98

Generics.Deriving.Eq

Contents

Synopsis

Generic show class

class GEq a where

Minimal complete definition

Nothing

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 Handle 
GEq Void 
GEq Natural 
GEq Version 
GEq HandlePosn 
GEq IOMode 
GEq CDev 
GEq CIno 
GEq CMode 
GEq COff 
GEq CPid 
GEq CSsize 
GEq CGid 
GEq CNlink 
GEq CUid 
GEq CCc 
GEq CSpeed 
GEq CTcflag 
GEq CRLim 
GEq Fd 
GEq Errno 
GEq ExitCode 
GEq IOErrorType 
GEq BufferMode 
GEq SeekMode 
GEq WordPtr 
GEq IntPtr 
GEq CChar 
GEq CSChar 
GEq CUChar 
GEq CShort 
GEq CUShort 
GEq CInt 
GEq CUInt 
GEq CLong 
GEq CULong 
GEq CLLong 
GEq CULLong 
GEq CFloat 
GEq CDouble 
GEq CPtrdiff 
GEq CSize 
GEq CWchar 
GEq CSigAtomic 
GEq CClock 
GEq CTime 
GEq CUSeconds 
GEq CSUSeconds 
GEq CIntPtr 
GEq CUIntPtr 
GEq CIntMax 
GEq CUIntMax 
GEq IOError 
GEq All 
GEq Any 
GEq Arity 
GEq Fixity 
GEq Associativity 
GEq GeneralCategory 
GEq a => GEq [a] 
GEq (StablePtr a) 
GEq (Ptr a) 
GEq (FunPtr a) 
GEq (U1 p) 
GEq p => GEq (Par1 p) 
GEq (ForeignPtr a) 
GEq a => GEq (Identity a) 
GEq a => GEq (Complex a) 
GEq a => GEq (ZipList a) 
GEq a => GEq (Dual a) 
GEq a => GEq (Sum a) 
GEq a => GEq (Product a) 
GEq a => GEq (First a) 
GEq a => GEq (Last a) 
GEq a => GEq (Maybe a) 
GEq (UWord p) 
GEq (UInt p) 
GEq (UFloat p) 
GEq (UDouble p) 
GEq (UChar p) 
GEq (UAddr p) 
(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 (Proxy * s) 
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 a) => GEq (Alt k f a) 
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