📝 <>.

2024-11-25 02:58:36 +03:00 · 2019-10-08 15:40:48 -04:00 · 2019-10-08 15:40:48 -04:00 · acbb1e7cd5
commit acbb1e7cd5
parent 607f8263a5
1 changed files with 1 additions and 0 deletions
--- a/semantic-tags/src/AST/Element.hs
+++ b/semantic-tags/src/AST/Element.hs
@ -36,6 +36,7 @@ type family Find' (side :: Side) sub sup :: Side where
  Find' s t (l :+: r) = Find' s t l <> Find' s t r
  Find' _ _ _         = 'None

+-- | Return the leftmost non-'None' side, or 'None'.
 type family (a :: Side) <> (b :: Side) :: Side where
  'None <> b = b
  a     <> _ = a