Search By Type or Polarity

Co-authored-by: Ulysse Gérard <thevoodoos@gmail.com>
PizieDust · Dec 10, 2024 · ad5e67d · ad5e67d
1 parent 634b8cc
commit ad5e67d
Show file tree

Hide file tree

Showing 16 changed files with 801 additions and 79 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,8 @@
 
 # Unreleased
 
+- Add `ocaml.search-by-type` to search for values using their type signature (#1626)
+
 ## 1.24.0
 
 - Add `ocaml.commands.construct.recursiveCalls` setting to configure construct chaining. (#1673)

diff --git a/README.md b/README.md
@@ -254,7 +254,7 @@ prefix `OCaml:`:
 ![commands](./doc/commands.png)
 
 | Name                           | Description                                 | Keyboard Shortcuts |
-| -------------------------------| ------------------------------------------- | ------------------ |
+| ------------------------------ | ------------------------------------------- | ------------------ |
 | `ocaml.select-sandbox`         | Select sandbox for this workspace           |                    |
 | `ocaml.server.restart`         | Restart language server                     |                    |
 | `ocaml.open-terminal`          | Open a terminal (current sandbox)           |                    |
@@ -264,6 +264,7 @@ prefix `OCaml:`:
 | `ocaml.open-repl`              | Open REPL                                   |                    |
 | `ocaml.evaluate-selection`     | Evaluate Selection                          | `Shift+Enter`      |
 | `ocaml.copy-type-under-cursor` | Copy the type under the cursor              |                    |
+| `ocaml.search-by-type`         | Search a value by type or polarity          | `Alt+F`            |
 
 ## Debugging OCaml programs (experimental)
 

diff --git a/package.json b/package.json
@@ -262,6 +262,11 @@
         "command": "ocaml.jump",
         "category": "OCaml",
         "title": "List possible parent targets for jumping"
+      },
+      {
+        "command": "ocaml.search-by-type",
+        "category": "OCaml",
+        "title": "Search a value by type or polarity"
       }
     ],
     "configuration": {
@@ -776,6 +781,11 @@
         "command": "ocaml.switch-hover-mode",
         "key": "Alt+H",
         "when": "editorTextFocus && editorLangId == ocaml || editorLangId == ocaml.interface "
+      },
+      {
+        "command": "ocaml.search-by-type",
+        "key": "Alt+F",
+        "when": "editorLangId == ocaml || editorLangId == ocaml.interface || editorLangId == reason || editorLangId == ocaml.ocamllex"
       }
     ],
     "languages": [
@@ -1067,6 +1077,10 @@
         {
           "command": "ocaml.construct",
           "when": "editorLangId == ocaml || editorLangId == ocaml.interface || editorLangId == reason || editorLangId == ocaml.ocamllex"
+        },
+        {
+          "command": "ocaml.search-by-type",
+          "when": "editorLangId == ocaml || editorLangId == ocaml.interface || editorLangId == reason || editorLangId == ocaml.ocamllex"
         }
       ],
       "editor/title": [