Generics.Kind.Derive.Eq

Documentation

geq' :: forall t f x. (GenericS t f x, GEq (RepK f) x) => t -> t -> Bool

class GEq (f :: LoT k -> *) (tys :: LoT k) where

Methods

geq :: f tys -> f tys -> Bool

Instances

GEq (U1 :: LoT k -> Type) (tys :: LoT k)

Defined in Generics.Kind.Derive.Eq

Methods

geq :: U1 tys -> U1 tys -> Bool

Eq (Ty t tys) => GEq (F t :: LoT k -> Type) (tys :: LoT k)

Defined in Generics.Kind.Derive.Eq

Methods

geq :: F t tys -> F t tys -> Bool

(forall (t :: k1). GEq f (t :&&: tys)) => GEq (ERefl f :: LoT k2 -> Type) (tys :: LoT k2)

Defined in Generics.Kind.Derive.Eq

Methods

geq :: ERefl f tys -> ERefl f tys -> Bool

(forall (t :: k1). (GEq f (t :&&: tys), Typeable t)) => GEq (E f :: LoT k2 -> Type) (tys :: LoT k2)

Defined in Generics.Kind.Derive.Eq

Methods

geq :: E f tys -> E f tys -> Bool

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

Defined in Generics.Kind.Derive.Eq

Methods

geq :: (c :=>: f) tys -> (c :=>: f) tys -> Bool

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

Defined in Generics.Kind.Derive.Eq

Methods

geq :: (f :*: g) tys -> (f :*: g) tys -> Bool

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

Defined in Generics.Kind.Derive.Eq

Methods

geq :: (f :+: g) tys -> (f :+: g) tys -> Bool

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

Defined in Generics.Kind.Derive.Eq

Methods

geq :: M1 i c f tys -> M1 i c f tys -> Bool