Generics.Deriving.Eq

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