From acbb1e7cd5538a82b6f29084c452a41add965711 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 8 Oct 2019 15:40:48 -0400 Subject: [PATCH] :memo: <>. --- semantic-tags/src/AST/Element.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/semantic-tags/src/AST/Element.hs b/semantic-tags/src/AST/Element.hs index ea2cfbd0b..b50fa534d 100644 --- 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