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

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