github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

Move ses into its own section.

Browse Source
This commit is contained in:
Rob Rix 2017-03-23 14:54:18 -04:00
parent 8a5d2f1fa7
commit af04668fc5
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/SES/Myers.hs
View File

@ -56,11 +56,14 @@ data Endpoint a b = Endpoint { x :: !Int, y :: !Int, script :: !(EditScript a b)
deriving (Eq, Show)
-- Evaluation
-- API
ses :: (HasCallStack, Foldable t, Foldable u) => (a -> b -> Bool) -> t a -> u b -> EditScript a b
ses eq as bs = runMyers eq (makeEditGraph as bs) (M SES `Then` return)
-- Evaluation
runMyers :: forall a b c. HasCallStack => (a -> b -> Bool) -> EditGraph a b ->Myers a b c -> c
runMyers eq graph step = evalState (go step) (emptyStateForGraph graph)
where go :: forall c. Myers a b c -> StateT (MyersState a b) Identity c