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

Safe Haskell | None
Language | Haskell98

Generics.Deriving.Eq

Contents

- Generic show class
- Default definition

Synopsis

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

# Generic show class

class GEq a where Source

Minimal complete definition

Nothing

Methods

geq :: a -> a -> Bool Source

Instances

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

# Default definition

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