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

Generalize nearestUnmapped over the annotation types.

Browse Source
This commit is contained in:
Rob Rix 2017-09-14 10:06:11 -04:00
parent 8535089860
commit 535933ff67
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/RWS.hs
View File

@ -172,12 +172,12 @@ isInMoveBounds previous i = previous < i && i < previous + defaultMoveBound
--
-- cf §4.2 of RWS-Diff
nearestUnmapped
:: (Diff syntax (Record fields) (Record fields) -> Int) -- ^ A function computes a constant-time approximation to the edit distance between two terms.
-> ComparabilityRelation syntax (Record fields) (Record fields) -- ^ A relation determining whether two terms can be compared.
-> UnmappedTerms syntax (Record fields) -- ^ A set of terms eligible for matching against.
-> KdTree Double (UnmappedTerm syntax (Record fields)) -- ^ The k-d tree to look up nearest neighbours within.
-> UnmappedTerm syntax (Record fields) -- ^ The term to find the nearest neighbour to.
-> Maybe (UnmappedTerm syntax (Record fields)) -- ^ The most similar unmapped term, if any.
:: (Diff syntax ann1 ann2 -> Int) -- ^ A function computes a constant-time approximation to the edit distance between two terms.
-> ComparabilityRelation syntax ann1 ann2 -- ^ A relation determining whether two terms can be compared.
-> UnmappedTerms syntax ann2 -- ^ A set of terms eligible for matching against.
-> KdTree Double (UnmappedTerm syntax ann1) -- ^ The k-d tree to look up nearest neighbours within.
-> UnmappedTerm syntax ann1 -- ^ The term to find the nearest neighbour to.
-> Maybe (UnmappedTerm syntax ann2) -- ^ The most similar unmapped term, if any.
nearestUnmapped editDistance canCompare unmapped tree key = getFirst $ foldMap (First . Just) (sortOn (editDistanceIfComparable editDistance canCompare (term key) . term) (toList (IntMap.intersection unmapped (toMap (kNearest tree defaultL key)))))
editDistanceIfComparable :: Bounded t