All files / lib geojson.ts

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
import { type } from 'arktype';
 
export const GeoJSONFeatureCollection = type('<Feature>', {
	type: "'FeatureCollection'",
	features: ['Feature', '[]'],
});
 
const GeoJSONPointFeature = type('<Props>', {
	geometry: {
		type: "'Point'",
		coordinates: ['number', 'number'],
	},
	properties: 'Props',
});
 
export const GeocodeJSONProperties = type({
	geocoding: {
		name: 'string = ""',
		label: 'string = ""',
		city: 'string = ""',
		postcode: 'string = ""',
		housenumber: 'string = ""',
		street: 'string = ""',
		country: 'string = ""',
	},
});
 
export const GeocodeJSONPointFeature = GeoJSONPointFeature(GeocodeJSONProperties);