Safe Haskell	Safe-Inferred
Language	Haskell2010

Generics.Kind.Derive.Eq

Documentation

geq' :: forall t. (GenericK t, GEq (RepK t), ReqsEq (RepK t) 'LoT0) => t -> t -> Bool Source #

class GEq (f :: LoT k -> Type) where Source #

Associated Types

type ReqsEq f (tys :: LoT k) :: Constraint Source #

Methods

geq :: ReqsEq f tys => f tys -> f tys -> Bool Source #

Instances

Instances details

GEq (U1 :: LoT k -> Type) Source #
Instance details Defined in Generics.Kind.Derive.Eq Associated Types type ReqsEq U1 tys Source # Methods geq :: forall (tys :: LoT k0). ReqsEq U1 tys => U1 tys -> U1 tys -> Bool Source #
GEq (Field t :: LoT k -> Type) Source #
Instance details Defined in Generics.Kind.Derive.Eq Associated Types type ReqsEq (Field t) tys Source # Methods geq :: forall (tys :: LoT k0). ReqsEq (Field t) tys => Field t tys -> Field t tys -> Bool Source #
(GEq f, GEq g) => GEq (f :*: g :: LoT k -> Type) Source #
Instance details Defined in Generics.Kind.Derive.Eq Associated Types type ReqsEq (f :: g) tys Source # Methods geq :: forall (tys :: LoT k0). ReqsEq (f :: g) tys => (f :: g) tys -> (f :: g) tys -> Bool Source #
(GEq f, GEq g) => GEq (f :+: g :: LoT k -> Type) Source #
Instance details Defined in Generics.Kind.Derive.Eq Associated Types type ReqsEq (f :+: g) tys Source # Methods geq :: forall (tys :: LoT k0). ReqsEq (f :+: g) tys => (f :+: g) tys -> (f :+: g) tys -> Bool Source #
GEq f => GEq (c :=>: f :: LoT k -> Type) Source #
Instance details Defined in Generics.Kind.Derive.Eq Associated Types type ReqsEq (c :=>: f) tys Source # Methods geq :: forall (tys :: LoT k0). ReqsEq (c :=>: f) tys => (c :=>: f) tys -> (c :=>: f) tys -> Bool Source #
(TypeError ('Text "Existentials are not supported") :: Constraint) => GEq (Exists k2 f :: LoT k1 -> Type) Source #
Instance details Defined in Generics.Kind.Derive.Eq Associated Types type ReqsEq (Exists k2 f) tys Source # Methods geq :: forall (tys :: LoT k). ReqsEq (Exists k2 f) tys => Exists k2 f tys -> Exists k2 f tys -> Bool Source #
GEq f => GEq (M1 i c f :: LoT k -> Type) Source #
Instance details Defined in Generics.Kind.Derive.Eq Associated Types type ReqsEq (M1 i c f) tys Source # Methods geq :: forall (tys :: LoT k0). ReqsEq (M1 i c f) tys => M1 i c f tys -> M1 i c f tys -> Bool Source #