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

Use the EditScript synonym from SES.

Browse Source
This commit is contained in:
Rob Rix 2017-10-24 10:34:29 -04:00
parent 16d5c977bd
commit fa2769ff9a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/RWS.hs
View File

@ -59,7 +59,7 @@ rws :: (Foldable syntax, Functor syntax, GAlign syntax)
-> (Term syntax (Record (FeatureVector ': fields1)) -> Term syntax (Record (FeatureVector ': fields2)) -> Bool) -> (Term syntax (Record (FeatureVector ': fields1)) -> Term syntax (Record (FeatureVector ': fields2)) -> Bool)
-> [Term syntax (Record (FeatureVector ': fields1))] -> [Term syntax (Record (FeatureVector ': fields1))]
-> [Term syntax (Record (FeatureVector ': fields2))] -> [Term syntax (Record (FeatureVector ': fields2))]
-> [These (Term syntax (Record (FeatureVector ': fields1))) (Term syntax (Record (FeatureVector ': fields2)))] -> EditScript (Term syntax (Record (FeatureVector ': fields1))) (Term syntax (Record (FeatureVector ': fields2)))
rws _ _ as [] = This <$> as rws _ _ as [] = This <$> as
rws _ _ [] bs = That <$> bs rws _ _ [] bs = That <$> bs
rws canCompare _ [a] [b] = if canCompareTerms canCompare a b then [These a b] else [That b, This a] rws canCompare _ [a] [b] = if canCompareTerms canCompare a b then [These a b] else [That b, This a]
@ -78,7 +78,7 @@ findNearestNeighbourTo :: (Foldable syntax, Functor syntax, GAlign syntax)
=> ComparabilityRelation syntax ann1 ann2 -- ^ A relation determining whether two terms can be compared. => ComparabilityRelation syntax ann1 ann2 -- ^ A relation determining whether two terms can be compared.
-> [UnmappedTerm syntax ann1] -> [UnmappedTerm syntax ann1]
-> [UnmappedTerm syntax ann2] -> [UnmappedTerm syntax ann2]
-> [These (UnmappedTerm syntax ann1) (UnmappedTerm syntax ann2)] -> EditScript (UnmappedTerm syntax ann1) (UnmappedTerm syntax ann2)
findNearestNeighbourTo canCompare as bs = go as bs findNearestNeighbourTo canCompare as bs = go as bs
where go as [] = This <$> as where go as [] = This <$> as
go [] bs = That <$> bs go [] bs = That <$> bs