EastingNorthing

Projected coordinates: an easting and a northing, by name, in their reference system's units.

Geospatial; not ordered; since Jadpo 0.1.0.

Make one

Build one from its fields, EastingNorthing { easting: ... northing: ... crs: ... }.

Fields

Text, JSON and storage

It has no single text form, so text.from and text.parse don't take it. JSON sends an object of its parts.

It is stored in 3 columns, each named for the field, _ and its suffix. This is {"easting":"448251.795","northing":"5411932.678","crs":"EPSG:32630"}:

Shown to people

text.format(value, locale:) shows it to people in their locale.

With locale: Locale.en_gb:

Operations

It 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.