Generics.Kind.Derive.Eq

Documentation

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

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

Associated Types

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

Methods

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

Instances

GEq (U1 :: LoT k -> Type)

Defined in Generics.Kind.Derive.Eq

Associated Types

type ReqsEq U1 tys

Methods

geq :: forall (tys :: LoT k0). ReqsEq U1 tys => U1 tys -> U1 tys -> Bool

GEq (Field t :: LoT k -> Type)

Defined in Generics.Kind.Derive.Eq

Associated Types

type ReqsEq (Field t) tys

Methods

geq :: forall (tys :: LoT k0). ReqsEq (Field t) tys => Field t tys -> Field t tys -> Bool

(GEq f, GEq g) => GEq (f :*: g :: LoT k -> Type)

Defined in Generics.Kind.Derive.Eq

Associated Types

type ReqsEq (f :*: g) tys

Methods

geq :: forall (tys :: LoT k0). ReqsEq (f :*: g) tys => (f :*: g) tys -> (f :*: g) tys -> Bool

(GEq f, GEq g) => GEq (f :+: g :: LoT k -> Type)

Defined in Generics.Kind.Derive.Eq

Associated Types

type ReqsEq (f :+: g) tys

Methods

geq :: forall (tys :: LoT k0). ReqsEq (f :+: g) tys => (f :+: g) tys -> (f :+: g) tys -> Bool

GEq f => GEq (c :=>: f :: LoT k -> Type)

Defined in Generics.Kind.Derive.Eq

Associated Types

type ReqsEq (c :=>: f) tys

Methods

geq :: forall (tys :: LoT k0). ReqsEq (c :=>: f) tys => (c :=>: f) tys -> (c :=>: f) tys -> Bool

(TypeError ('Text "Existentials are not supported") :: Constraint) => GEq (Exists k2 f :: LoT k1 -> Type)

Defined in Generics.Kind.Derive.Eq

Associated Types

type ReqsEq (Exists k2 f) tys

Methods

geq :: forall (tys :: LoT k). ReqsEq (Exists k2 f) tys => Exists k2 f tys -> Exists k2 f tys -> Bool

GEq f => GEq (M1 i c f :: LoT k -> Type)

Defined in Generics.Kind.Derive.Eq

Associated Types

type ReqsEq (M1 i c f) tys

Methods

geq :: forall (tys :: LoT k0). ReqsEq (M1 i c f) tys => M1 i c f tys -> M1 i c f tys -> Bool