Define a class for projecting out the members of a sum.

2024-12-27 00:44:57 +03:00 · 2019-09-23 18:00:36 -04:00 · 2019-09-23 18:00:36 -04:00 · b7a93aed3d
commit b7a93aed3d
parent b5cffe8ebe
1 changed files with 5 additions and 0 deletions
--- a/semantic-tags/src/Tags/Taggable/Precise.hs
+++ b/semantic-tags/src/Tags/Taggable/Precise.hs
@ -178,3 +178,8 @@ instance {-# OVERLAPPABLE #-}
      => Element t (l :+: r) where
  prj (R1 r) = prj r
  prj _      = Nothing
+
+
+class GSum t where
+  type Members t :: (* -> *)
+  gmembers :: t a -> Members t a