@willbooster/tree-sitter-haskell 4.0.0 → 4.1.0

package/README.md

@@ -83,6 +83,12 @@ parser.setLanguage(await Language.load(haskell));
 
 The package also ships `grammar.js` with the files in `grammar/` it loads, the queries in `queries/`, and the node types in `src/node-types.json`.
 
+For code navigation, use `queries/tags.scm` (or `TAGS_QUERY` in Rust). It indexes module headers, top-level named functions and simple named bindings, named types and classes, class and instance methods, and syntactic variable/operator calls. A signature and each equation have separate definition locations. Call references identify the called name without resolving its binding.
+
+Extra parentheses around a function or type declaration's head are not indexed; parenthesized operator identifiers such as `(:+:)` are supported. Call-name matching supports one extra expression-parenthesis wrapper; deeper wrappers are not indexed. Destructuring bindings, local pattern bindings and constructors (including pattern synonyms) are not indexed.
+
+In a repository checkout, configure the CLI parser directories to include the grammar, then run `script/tree-sitter tags file.hs` to inspect the tags.
+
 In Rust, depend on the [crate](https://crates.io/crates/willbooster-tree-sitter-haskell) and on
 [willbooster-tree-sitter](https://crates.io/crates/willbooster-tree-sitter), the runtime this package is tested and
 fuzzed with:

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@willbooster/tree-sitter-haskell",
-  "version": "4.0.0",
+  "version": "4.1.0",
   "description": "Haskell grammar for tree-sitter",
   "keywords": [
     "incremental",

package/queries/tags.scm

@@ -0,0 +1,140 @@
+(header module: (module) @name) @definition.module
+
+(declarations
+  [
+    (function name: [(variable) @name (prefix_id (operator) @name)])
+    (function (infix operator: [(operator) @name (infix_id (variable) @name)]))
+    (signature name: [(variable) @name (prefix_id (operator) @name)])
+    (signature names: (binding_list name: [(variable) @name (prefix_id (operator) @name)]))
+  ] @definition.function)
+
+(declarations
+  (bind name: [(variable) @name (prefix_id (operator) @name)]) @definition.variable)
+
+[
+  (class_declarations
+    [
+      (function name: [(variable) @name (prefix_id (operator) @name)])
+      (function (infix operator: [(operator) @name (infix_id (variable) @name)]))
+      (signature name: [(variable) @name (prefix_id (operator) @name)])
+      (signature names: (binding_list name: [(variable) @name (prefix_id (operator) @name)]))
+      (default_signature signature: (signature name: [(variable) @name (prefix_id (operator) @name)]))
+      (default_signature signature: (signature names: (binding_list name: [(variable) @name (prefix_id (operator) @name)])))
+      (bind name: [(variable) @name (prefix_id (operator) @name)])
+    ] @definition.method)
+  (instance_declarations
+    [
+      (function name: [(variable) @name (prefix_id (operator) @name)])
+      (function (infix operator: [(operator) @name (infix_id (variable) @name)]))
+      (signature name: [(variable) @name (prefix_id (operator) @name)])
+      (signature names: (binding_list name: [(variable) @name (prefix_id (operator) @name)]))
+      (bind name: [(variable) @name (prefix_id (operator) @name)])
+    ] @definition.method)
+]
+
+[
+  (type_synonym name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ])
+  (type_family name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ])
+  (data_family name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ])
+] @definition.class
+
+[
+  (type_synonym (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)]) "=")
+  (type_family . [(cpp) (comment) (haddock) (pragma)]* . (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)]))
+  (data_family . [(cpp) (comment) (haddock) (pragma)]* . (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)]))
+] @definition.class
+
+(declarations
+  [
+    (data_type name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ])
+    (newtype name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ])
+    (data_type . [(cpp) (comment) (haddock) (pragma)]* . (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)]))
+    (data_type . [(cpp) (comment) (haddock) (pragma)]* . (context) . [(cpp) (comment) (haddock) (pragma)]* . (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)]))
+    (newtype . [(cpp) (comment) (haddock) (pragma)]* . (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)]))
+    (newtype . [(cpp) (comment) (haddock) (pragma)]* . (context) . [(cpp) (comment) (haddock) (pragma)]* . (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)]))
+  ] @definition.class)
+
+(class name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ]) @definition.interface
+(class (infix operator: [(constructor_operator) @name (operator) @name (infix_id (name) @name)])) @definition.interface
+(instance name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ]) @reference.implementation
+(instance (infix operator: [
+  (constructor_operator) @name
+  (operator) @name
+  (infix_id (name) @name)
+  (qualified id: [(constructor_operator) @name (operator) @name])
+  (infix_id (qualified id: (name) @name))
+])) @reference.implementation
+
+(deriving_instance name: [
+    (name) @name
+    (qualified id: (name) @name)
+    (prefix_id [(operator) @name (constructor_operator) @name])
+    (prefix_id (qualified id: [(operator) @name (constructor_operator) @name]))
+  ]) @reference.implementation
+(deriving_instance (infix operator: [
+  (constructor_operator) @name
+  (operator) @name
+  (infix_id (name) @name)
+  (qualified id: [(constructor_operator) @name (operator) @name])
+  (infix_id (qualified id: (name) @name))
+])) @reference.implementation
+
+(foreign_import
+  signature: (signature name: [(variable) @name (prefix_id (operator) @name)])) @definition.function
+
+(expression/apply
+  function: [
+    (variable) @name
+    (qualified id: (variable) @name)
+    (prefix_id (operator) @name)
+    (prefix_id (qualified id: (operator) @name))
+    (parens expression: [
+      (variable) @name
+      (qualified id: (variable) @name)
+      (prefix_id (operator) @name)
+      (prefix_id (qualified id: (operator) @name))
+    ])
+  ]) @reference.call
+
+(expression/infix
+  operator: [
+    (operator) @name
+    (infix_id (variable) @name)
+    (infix_id (qualified id: (variable) @name))
+    (qualified id: (operator) @name)
+  ]) @reference.call

package/tree-sitter.json

@@ -11,11 +11,12 @@
         "hs-boot"
       ],
       "highlights": "queries/highlights.scm",
+      "tags": "queries/tags.scm",
       "injection-regex": "^(hs|haskell)$"
     }
   ],
   "metadata": {
-    "version": "4.0.0",
+    "version": "4.1.0",
     "license": "MIT",
     "description": "Haskell grammar for tree-sitter",
     "authors": [