📝 the right-recursive instance.

2024-12-26 00:12:29 +03:00 · 2019-10-08 15:41:16 -04:00 · 2019-10-08 15:41:16 -04:00 · 5d4317031a
commit 5d4317031a
parent 5242e394df
1 changed files with 1 additions and 0 deletions
--- a/semantic-tags/src/AST/Element.hs
+++ b/semantic-tags/src/AST/Element.hs
@ -55,6 +55,7 @@ instance Element     t l
  prj' (L1 l) = prj l
  prj' _      = Nothing

+-- | Membership on the right.
 instance Element     t r
      => Element' 'R t (l :+: r) where
  prj' (R1 r) = prj r