From abb6eff40fb7db0bcf832e34109558fc2546e0be Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 8 Oct 2019 15:40:28 -0400 Subject: [PATCH] :memo: Side. --- 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 5779870aa..0c6718cf4 100644 --- a/semantic-tags/src/AST/Element.hs +++ b/semantic-tags/src/AST/Element.hs @@ -21,6 +21,7 @@ pattern Prj :: Element sub sup => sub a -> sup a pattern Prj sub <- (prj -> Just sub) +-- | Where does the element occur in the tree? data Side = None | Here | L | R type family Find sub sup :: Side where