wip and use stable sort

gnprice · Dec 7, 2024 · 7291b38 · 7291b38
1 parent 4397244
commit 7291b38
Showing 1 changed file with 12 additions and 6 deletions.
diff --git a/lib/model/emoji.dart b/lib/model/emoji.dart
@@ -5,6 +5,7 @@ import '../api/model/events.dart';
 import '../api/model/initial_snapshot.dart';
 import '../api/model/model.dart';
 import '../api/route/realm.dart';
+import 'algorithms.dart';
 import 'autocomplete.dart';
 import 'narrow.dart';
 import 'store.dart';
@@ -360,23 +361,28 @@ class EmojiAutocompleteView extends AutocompleteView<EmojiAutocompleteQuery, Emo
 
   @override
   Future<List<EmojiAutocompleteResult>?> computeResults() async {
-    final results = <EmojiAutocompleteResult>[];
+    final unsorted = <EmojiAutocompleteResult>[];
     if (await filterCandidates(filter: _testCandidate,
-          candidates: store.allEmojiCandidates(), results: results)) {
+          candidates: store.allEmojiCandidates(), results: unsorted)) {
       return null;
     }
-    results.sort(_compareResults);
-    return results;
+    return bucketSort(unsorted, _rankResult, numBuckets: _numResultRanks);
   }
 
   EmojiAutocompleteResult? _testCandidate(EmojiAutocompleteQuery query, EmojiCandidate candidate) {
     final match = query.match(candidate);
     return match == null ? null : EmojiAutocompleteResult(match, candidate);
   }
 
-  static int _compareResults(EmojiAutocompleteResult a, EmojiAutocompleteResult b) {
+  static const _numResultRanks = 3;
+
+  static int _rankResult(EmojiAutocompleteResult result) {
     // TODO(#1068): rank emoji results also by popular, realm, other
-    return EmojiMatchQuality.compare(a.matchQuality, b.matchQuality);
+    return switch (result.matchQuality) {
+      EmojiMatchQuality.exact => 0,
+      EmojiMatchQuality.prefix => 1,
+      EmojiMatchQuality.internal => 2,
+    };
   }
 }