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 Rec1.

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

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

@ -192,3 +192,7 @@ 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)
instance GSum (Rec1 f) where
type Members (Rec1 f) = f
gmembers = unRec1