mirror of
https://github.com/github/semantic.git
synced 2024-11-25 02:58:36 +03:00
📝 Side.
This commit is contained in:
parent
31ba6be9d8
commit
abb6eff40f
@ -21,6 +21,7 @@ pattern Prj :: Element sub sup => sub a -> sup a
|
|||||||
pattern Prj sub <- (prj -> Just sub)
|
pattern Prj sub <- (prj -> Just sub)
|
||||||
|
|
||||||
|
|
||||||
|
-- | Where does the element occur in the tree?
|
||||||
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
|
||||||
|
Loading…
Reference in New Issue
Block a user