Greatly improve rustdoc search

rust-lang · Apr 18, 2022 · be41750 · be41750
1 parent 6fd7e90
commit be41750
Show file tree

Hide file tree

Showing 2 changed files with 602 additions and 394 deletions.
diff --git a/src/librustdoc/html/static/js/externs.js b/src/librustdoc/html/static/js/externs.js
@@ -8,10 +8,30 @@ function initSearch(searchIndex){}
 
 /**
  * @typedef {{
- *   raw: string,
- *   query: string,
- *   type: string,
- *   id: string,
+ *     isExact: boolean,
+ *     name: string,
+ *     fullPath: Array<string>,
+ *     pathWithoutLast: Array<string>,
+ *     pathLast: string,
+ *     generics: Array<QueryElement>,
+ * }}
+ */
+var QueryElement;
+
+/**
+ * @typedef {{
+ *     original: string,
+ *     val: string,
+ *     length: number,
+ *     pos: number,
+ *     typeFilter: number,
+ *     elems: Array<QueryElement>,
+ *     elemName: (string|null),
+ *     args: Array<QueryElement>,
+ *     returned: Array<QueryElement>,
+ *     foundElems: number,
+ *     id: string,
+ *     nameSplit: (string|null),
  * }}
  */
 var ParsedQuery;