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

SES calls into diffAt.

Browse Source
This commit is contained in:
Rob Rix 2015-11-30 18:17:30 -05:00
parent 149b80e1da
commit 6fd8ad90d5
1 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/SES.hs
View File

@ -14,16 +14,8 @@ type Compare a annotation = Term a annotation -> Term a annotation -> Maybe (Dif
type Cost a annotation = Diff a annotation -> Integer
ses :: Compare a annotation -> Cost a annotation -> [Term a annotation] -> [Term a annotation] -> [Diff a annotation]
ses _ _ [] b = (Pure . Insert) <$> b
ses _ _ a [] = (Pure . Delete) <$> a
ses diffTerms cost (a : as) (b : bs) = case diffTerms a b of
Just f -> minimumBy (comparing sumCost) [ delete, insert, copy f ]
Nothing -> minimumBy (comparing sumCost) [ delete, insert ]
where
delete = (Pure . Delete $ a) : ses diffTerms cost as (b : bs)
insert = (Pure . Insert $ b) : ses diffTerms cost (a : as) bs
sumCost script = sum $ cost <$> script
copy diff = diff : ses diffTerms cost as bs
ses diffTerms cost as bs = fmap fst $ evalState diffState Map.empty where
diffState = diffAt diffTerms cost (0, 0) as bs
diffAt :: Compare a annotation -> Cost a annotation -> (Integer, Integer) -> [Term a annotation] -> [Term a annotation] -> State (Map.Map (Integer, Integer) [(Diff a annotation, Integer)]) [(Diff a annotation, Integer)]
diffAt _ _ _ [] [] = return []