diff --git a/semantic-tags/src/AST/Element.hs b/semantic-tags/src/AST/Element.hs index b50fa534d..2fae2c913 100644 --- a/semantic-tags/src/AST/Element.hs +++ b/semantic-tags/src/AST/Element.hs @@ -41,6 +41,7 @@ type family (a :: Side) <> (b :: Side) :: Side where 'None <> b = b a <> _ = a +-- | Helper to project elements out of the matching portion of a tree. class Element' (side :: Side) sub sup where prj' :: sup a -> Maybe (sub a)