mirror of
https://github.com/github/semantic.git
synced 2024-12-26 00:12:29 +03:00
📝 Prj.
This commit is contained in:
parent
3051c8cace
commit
711ec1957d
@ -16,6 +16,7 @@ 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)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user