mirror of
https://github.com/github/semantic.git
synced 2024-11-23 16:37:50 +03:00
Mark moveDownFrom and moveRightFrom for inlining.
This commit is contained in:
parent
9337631149
commit
4cdd66b12b
@ -52,11 +52,13 @@ ses eq as' bs'
|
||||
moveDownFrom (Endpoint x y script) = Endpoint x (succ y) $ case bs ! y of
|
||||
Just b -> That b : script
|
||||
_ -> script
|
||||
{-# INLINE moveDownFrom #-}
|
||||
|
||||
-- | Move rightward from a given vertex, deleting the element for the corresponding column.
|
||||
moveRightFrom (Endpoint x y script) = Endpoint (succ x) y $ case as ! x of
|
||||
Just a -> This a : script
|
||||
_ -> script
|
||||
{-# INLINE moveRightFrom #-}
|
||||
|
||||
-- | Slide down any diagonal edges from a given vertex.
|
||||
slideFrom (Endpoint x y script)
|
||||
|
Loading…
Reference in New Issue
Block a user