unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-22 15:58:34 +03:00
Code Issues Projects Releases Wiki Activity

Avoid calling mapRan and doing relation building on each call to fuzzy find

Browse Source
This commit is contained in:
Paul Chiusano 2021-07-06 18:18:27 -04:00
parent 3c8534d192
commit 0010b6b585
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
unison-core/src/Unison/Names2.hs
View File

@ -86,8 +86,9 @@ fuzzyFind query names =
fmap flatten fmap flatten
. fuzzyFinds (Name.toString . fst) query . fuzzyFinds (Name.toString . fst) query
. Map.toList . Map.toList
$ R.toMultimap (R.mapRan Left $ terms names) -- `mapMonotonic` is safe here and saves a log n factor
<> R.toMultimap (R.mapRan Right $ types names) $ (Set.mapMonotonic Left <$> R.toMultimap (terms names))
<> (Set.mapMonotonic Right <$> R.toMultimap (types names))
where where
flatten (a, (b, c)) = (a, b, c) flatten (a, (b, c)) = (a, b, c)
fuzzyFinds :: (a -> String) -> [String] -> [a] -> [(FZF.Alignment, a)] fuzzyFinds :: (a -> String) -> [String] -> [a] -> [(FZF.Alignment, a)]