Generics.Kind.Derive.EqTwoParams

Documentation

geq2' :: forall t. (GenericK t, GEq2 (RepK t) 'LoT0 'LoT0) => t -> t -> Bool

class GEq2 (f :: LoT k -> Type) (xs :: LoT k) (ys :: LoT k) where

Methods

geq2 :: f xs -> f ys -> Bool

Instances

GEq2 (U1 :: LoT k -> Type) (xs :: LoT k) (ys :: LoT k)

Defined in Generics.Kind.Derive.EqTwoParams

Methods

geq2 :: U1 xs -> U1 ys -> Bool

(Interpret t xs ~ Interpret t ys, Eq (Interpret t xs)) => GEq2 (Field t :: LoT k -> Type) (xs :: LoT k) (ys :: LoT k)

Defined in Generics.Kind.Derive.EqTwoParams

Methods

geq2 :: Field t xs -> Field t ys -> Bool

(GEq2 f xs ys, GEq2 g xs ys) => GEq2 (f :*: g :: LoT k -> Type) (xs :: LoT k) (ys :: LoT k)

Defined in Generics.Kind.Derive.EqTwoParams

Methods

geq2 :: (f :*: g) xs -> (f :*: g) ys -> Bool

(GEq2 f xs ys, GEq2 g xs ys) => GEq2 (f :+: g :: LoT k -> Type) (xs :: LoT k) (ys :: LoT k)

Defined in Generics.Kind.Derive.EqTwoParams

Methods

geq2 :: (f :+: g) xs -> (f :+: g) ys -> Bool

((Interpret c xs, Interpret c ys) => GEq2 f xs ys) => GEq2 (c :=>: f :: LoT k -> Type) (xs :: LoT k) (ys :: LoT k)

Defined in Generics.Kind.Derive.EqTwoParams

Methods

geq2 :: (c :=>: f) xs -> (c :=>: f) ys -> Bool

(forall (x :: k2) (y :: k2). GEq2 f (x ':&&: xs) (y ':&&: ys)) => GEq2 (Exists k2 f :: LoT k1 -> Type) (xs :: LoT k1) (ys :: LoT k1)

Defined in Generics.Kind.Derive.EqTwoParams

Methods

geq2 :: Exists k2 f xs -> Exists k2 f ys -> Bool

GEq2 f xs ys => GEq2 (M1 i c f :: LoT k -> Type) (xs :: LoT k) (ys :: LoT k)

Defined in Generics.Kind.Derive.EqTwoParams

Methods

geq2 :: M1 i c f xs -> M1 i c f ys -> Bool