github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity

📝 Element'.

Browse Source
This commit is contained in:
Rob Rix 2019-10-08 15:40:54 -04:00
parent acbb1e7cd5
commit ea0a4c99b8
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
semantic-tags/src/AST/Element.hs
View File

@ -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)