github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity

Define a GSum instance for sums.

Browse Source
This commit is contained in:
Rob Rix 2019-09-23 18:01:00 -04:00
parent 30dad2da72
commit 5231b4f282
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
semantic-tags/src/Tags/Taggable/Precise.hs
View File

@ -187,3 +187,8 @@ class GSum t where
instance GSum f => GSum (M1 i c f) where
type Members (M1 i c f) = Members f
gmembers = gmembers . unM1
instance (GSum f, GSum g) => GSum (f :+: g) where
type Members (f :+: g) = Members f :+: Members g
gmembers (L1 l) = L1 (gmembers l)
gmembers (R1 r) = R1 (gmembers r)