github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-08 08:30:27 +03:00
Code Issues Projects Releases Wiki Activity

Define ToJSONList instances over records.

Browse Source
This commit is contained in:
Rob Rix 2017-01-12 14:23:18 -05:00
parent a044e862b2
commit 3124447ad6
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Record.hs
View File

@ -72,6 +72,12 @@ instance ToJSON (Record '[]) where
class ToJSONList t where class ToJSONList t where
toJSONValues :: t -> [Value] toJSONValues :: t -> [Value]
instance (ToJSON h, ToJSONList (Record t)) => ToJSONList (Record (h ': t)) where
toJSONValues (RCons h t) = toJSON h : toJSONValues t
instance ToJSONList (Record '[]) where
toJSONValues _ = []
instance (Eq h, Eq (Record t)) => Eq (Record (h ': t)) where instance (Eq h, Eq (Record t)) => Eq (Record (h ': t)) where
RCons h1 t1 == RCons h2 t2 = h1 == h2 && t1 == t2 RCons h1 t1 == RCons h2 t2 = h1 == h2 && t1 == t2