1
1
mirror of https://github.com/github/semantic.git synced 2024-11-29 02:44:36 +03:00
This commit is contained in:
Rob Rix 2019-10-08 15:34:47 -04:00
parent da227888ce
commit 3051c8cace
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -19,6 +19,7 @@ instance (Element' side sub sup, side ~ Find sub sup) => Element sub sup where
pattern Prj :: Element sub sup => sub a -> sup a pattern Prj :: Element sub sup => sub a -> sup a
pattern Prj sub <- (prj -> Just sub) pattern Prj sub <- (prj -> Just sub)
data Side = None | Here | L | R data Side = None | Here | L | R
type family Find sub sup :: Side where type family Find sub sup :: Side where