Point
A position on Earth in WGS84: its latitude and longitude by name, and its height above the ellipsoid where it has one. Sent as a GeoJSON Point, shown 51.5072° N, 0.1276° W.
Geospatial; not ordered; since Jadpo 0.1.0.
Make one
Build one from its fields, Point { latitude: ... longitude: ... }.
These operations give one: geo.centroid, geo.from_lat_lng and geo.from_lng_lat.
Fields
Text, JSON and storage
It has no single text form, so text.from and text.parse don't take it. JSON sends a GeoJSON geometry, its positions longitude first.
| JSON |
|---|
{"type":"Point","coordinates":[-0.1276,51.5072]} |
{"type":"Point","coordinates":[151.2093,-33.8688]} |
{"type":"Point","coordinates":[0,0]} |
{"type":"Point","coordinates":[-180,-90]} |
{"type":"Point","coordinates":[86.925,27.9881,8848.86]} |
It is stored in one column named for the field, of type geography. {"type":"Point","coordinates":[0,0]} is stored as 'SRID=4326;POINT (0 0)'::geography.
Shown to people
text.format(value, locale:) shows it to people in their locale.
With locale: Locale.en_gb:
| Value | Shown |
|---|---|
{"type":"Point","coordinates":[-0.1276,51.5072]} |
51.5072° N, 0.1276° W |
{"type":"Point","coordinates":[151.2093,-33.8688]} |
33.8688° S, 151.2093° E |
{"type":"Point","coordinates":[0,0]} |
0°, 0° |
{"type":"Point","coordinates":[-180,-90]} |
90° S, 180° W |
{"type":"Point","coordinates":[86.925,27.9881,8848.86]} |
27.9881° N, 86.925° E, 8,848.86 m |
Operations
geo.bearing(from: Point, to: Point) -> Bearing: The direction the geodesic leavesfromin, in degrees clockwise from true north, at least 0 and below 360, to 9 places. Two equal points have none: the call fails withsame_point, which itsattemptmaps.geo.bounding_box(shape: T) -> BoundingBox: The smallest box of parallels and meridians holding the shape, an edge's highest or lowest point counted, across the antimeridian when that box is narrower; a shape holding a pole runs from -180 to 180.geo.centroid(shape: T) -> Point: The shape's centre on the sphere, as PostGIS'sST_Centroid(x, false)finds it: each point a unit vector, weighted by area, length or count by the shape's kind, summed, and back to latitude and longitude. It may lie outside a concave polygon.geo.contains(a: T, b: U) -> Bool: Whether no point ofblies outsidea, edges included.amay be aBoundingBox, whose sides are compared directly, or aCircle, holding the points within its radius of its centre.geo.distance(from: Point, to: Point) -> Length: The geodesic distance between two points on the ellipsoid, rounded half to even to the micrometre.geo.from_lat_lng(numbers: List<Number>) -> Point: ThePointtwo numbers give, latitude first, as[51.5072, -0.1276], or three, the third its altitude in metres. A latitude past 90 or a longitude past 180 fails without_of_range, and any other count of numbers withmalformed, which the call'sattemptmaps.geo.from_lng_lat(numbers: List<Number>) -> Point: ThePointtwo numbers give, longitude first, as GeoJSON writes a position,[-0.1276, 51.5072], or three, the third its altitude in metres. A longitude past 180 or a latitude past 90 fails without_of_range, and any other count of numbers withmalformed, which the call'sattemptmaps.geo.intersects(a: T, b: U) -> Bool: Whether the two share at least one point, edges included.geo.to_wkt(shape: T) -> Text: The shape as WKT, longitude first, as PostGIS'sST_AsTextwrites it:POINT(-0.1276 51.5072),POINT Z (-0.1276 51.5072 35)with an altitude, each ring in the order it holds its points.geo.within(a: T, b: U, distance: Length?) -> Bool:geo.contains(b, a); or, withdistance:, whether two points are at most that far apart, asgeo.distancemeasures them.
Like every standard type, it also has the contract's own operations: text.format, json.read, json.write and ==. It isn't ordered, so < and sorting don't take it. Every standard type meets one contract says how they work.
Markdown for agents: /docs/types/type-point.md.Built from Jadpo main at e00e61f.