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

🔥 the RWSEditScript synonym.

Browse Source
This commit is contained in:
Rob Rix 2017-10-24 10:21:21 -04:00
parent 9633727790
commit f7ddbd81cc
1 changed files with 1 additions and 3 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))]
-> RWSEditScript syntax (Record (FeatureVector ': fields1)) (Record (FeatureVector ': fields2))
-> [These (Term syntax (Record (FeatureVector ': fields1))) (Term syntax (Record (FeatureVector ': fields2)))]
rws _ _ as [] = This <$> as
rws _ _ [] bs = That <$> bs
rws canCompare _ [a] [b] = if canCompareTerms canCompare a b then [These a b] else [That b, This a]
@ -76,8 +76,6 @@ rws canCompare equivalent as bs
-- A Diff paired with both its indices
type MappedDiff syntax ann1 ann2 = These (UnmappedTerm syntax ann1) (UnmappedTerm syntax ann2)
type RWSEditScript syntax ann1 ann2 = [These (Term syntax ann1) (Term syntax ann2)]
-- | Construct a diff for a term in B by matching it against the most similar eligible term in A (if any), marking both as ineligible for future matches.
findNearestNeighbourTo :: (Foldable syntax, Functor syntax, GAlign syntax)
=> ComparabilityRelation syntax ann1 ann2 -- ^ A relation determining whether two terms can be compared.