mirror of
https://github.com/github/semantic.git
synced 2024-12-30 02:14:20 +03:00
Implement Record equality.
This commit is contained in:
parent
844d093616
commit
3fb69066a5
@ -58,3 +58,10 @@ instance (Show h, Show (Record t)) => Show (Record (h ': t)) where
|
||||
|
||||
instance Show (Record '[]) where
|
||||
showsPrec _ RNil = ("'[]" <>)
|
||||
|
||||
|
||||
instance (Eq h, Eq (Record t)) => Eq (Record (h ': t)) where
|
||||
RCons h1 t1 == RCons h2 t2 = h1 == h2 && t1 == t2
|
||||
|
||||
instance Eq (Record '[]) where
|
||||
_ == _ = True
|
||||
|
Loading…
Reference in New Issue
Block a user