Add FilterSpecification type

mapbox · Dec 26, 2023 · 67d8fb8 · 67d8fb8
1 parent 3bf43ad
commit 67d8fb8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/source/geojson_source.js b/src/source/geojson_source.js
@@ -15,7 +15,7 @@ import type Actor from '../util/actor.js';
 import type {Callback} from '../types/callback.js';
 import type {GeoJSONWorkerOptions} from './geojson_worker_source.js';
 import type {GeoJSON, GeoJSONFeature} from '@mapbox/geojson-types';
-import type {GeoJSONSourceSpecification, PromoteIdSpecification} from '../style-spec/types.js';
+import type {GeoJSONSourceSpecification, PromoteIdSpecification, FilterSpecification} from '../style-spec/types.js';
 import type {Cancelable} from '../types/cancelable.js';
 
 /**
@@ -192,7 +192,7 @@ class GeoJSONSource extends Evented implements Source {
     /**
      * Sets filter for the GeoJSON data source and re-renders the map.
      *
-     * @param {Array} filter An array for the filter expression.
+     * @param {FilterSpecification} filter A FilterSpecification type for the filter expression.
      * @returns {GeoJSONSource} Returns itself to allow for method chaining.
      * @example
      * map.addSource('source_id', {
@@ -225,7 +225,7 @@ class GeoJSONSource extends Evented implements Source {
      *     "Another Island"
      * ]);
      */
-    setFilter(filter: Array): this {
+    setFilter(filter: ?FilterSpecification): this {
         this.workerOptions = extend({filter}, this.workerOptions);
         this._updateWorkerData();
         return this;