const definition: FilterDefinition = {
kind: "geoRadius",
key: "area",
label: "Area",
searchPlaces: async (query) => geocode(query),
defaultRadiusKm: 30,
};Geo radius filter
A place and a radius, drawn on a map.
A place and a radius, drawn on a map.
const definition: FilterDefinition = {
kind: "geoRadius",
key: "area",
label: "Area",
searchPlaces: async (query) => geocode(query),
defaultRadiusKm: 30,
};