mirror of
https://github.com/github/semantic.git
synced 2024-12-22 06:11:49 +03:00
Define a GEq1 instance for :.: with GEq1 fields.
This commit is contained in:
parent
98f733cf46
commit
636e096aab
@ -43,3 +43,6 @@ instance (GEq1 f, GEq1 g) => GEq1 (f :+: g) where
|
||||
|
||||
instance (GEq1 f, GEq1 g) => GEq1 (f :*: g) where
|
||||
gliftEq f (a1 :*: b1) (a2 :*: b2) = gliftEq f a1 a2 && gliftEq f b1 b2
|
||||
|
||||
instance (GEq1 f, GEq1 g) => GEq1 (f :.: g) where
|
||||
gliftEq f (Comp1 a) (Comp1 b) = gliftEq (gliftEq f) a b
|
||||
|
Loading…
Reference in New Issue
Block a user