1
1
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00

Update Element.hs

This commit is contained in:
Ayman Nadeem 2020-05-08 14:52:02 -04:00
parent 9c812a7ffb
commit 9255d5c46f

View File

@ -18,7 +18,6 @@ class Element sub sup where
instance (Element' side sub sup, side ~ Find sub sup) => Element sub sup where
prj = prj' @side
-- | A pattern synonym to conveniently project out matching elements.
pattern Prj :: Element sub sup => sub a -> sup a
pattern Prj sub <- (prj -> Just sub)