like GeospatialGeometry but not partial, eg no empty geometries. Also can put an inveriant on dimensions if a function requires it. for example st_intersects PostgisGeometry PointXY can't work with PostgisGeometry PointXYZ. PointXY indicates a 2 dimension space, and PointXYZ a three dimension space.

Guarantees we don't accidently mix curved space with flat space. Postgis will catch this too, this just put's it in the type system.

unwrap postgis geometry so you can for example return it from an API

Returns TRUE if geometry A contains geometry B. https://postgis.net/docs/ST_Contains.html

Returns true if two geometries intersect. Geometries intersect if they have any point in common. https://postgis.net/docs/ST_Intersects.html

Returns TRUE if geometry A is within geometry B. Tests if every point of A lies inside (interior or boundary of) B. The inverse of st_contains: st_within a b == st_contains b a. https://postgis.net/docs/ST_Within.html

Returns TRUE if geometry A touches geometry B. They have at least one boundary point in common, but no interior points. https://postgis.net/docs/ST_Touches.html

Returns TRUE if geometry A crosses geometry B. They have some but not all interior points in common. https://postgis.net/docs/ST_Crosses.html

Returns TRUE if geometry A is disjoint from geometry B. They do not share any space together, the inverse of st_intersects. https://postgis.net/docs/ST_Disjoint.html

Returns TRUE if geometry A is spatially equal to geometry B. The geometries represent the same region of space regardless of vertex order. https://postgis.net/docs/ST_Equals.html

Returns TRUE if geometrygeography A covers geometrygeography B. No point in B is outside A. Similar to st_contains but does not distinguish boundary and interior. https://postgis.net/docs/ST_Covers.html

Returns TRUE if geometrygeography A is covered by geometrygeography B. No point in A is outside B. The inverse of st_covers. https://postgis.net/docs/ST_CoveredBy.html

Returns TRUE if geometry A overlaps geometry B. They share some space but neither contains the other entirely. https://postgis.net/docs/ST_Overlaps.html

Returns TRUE if geometry A contains geometry B properly. B must lie entirely inside the interior of A (not touching the boundary). https://postgis.net/docs/ST_ContainsProperly.html

Returns TRUE if two 3D geometries intersect. https://postgis.net/docs/ST_3DIntersects.html

Returns the DE-9IM intersection matrix string for two geometries. https://postgis.net/docs/ST_Relate.html

Returns TRUE if two geometries are point-by-point equal in the same order. https://postgis.net/docs/ST_OrderingEquals.html

Returns TRUE if all of the geometries are within the specified distance of one another. https://postgis.net/docs/ST_DFullyWithin.html

Returns TRUE if the point geometry is inside the circle defined by center_x, center_y and radius. https://postgis.net/docs/ST_PointInsideCircle.html

calculate the distance between two points https://postgis.net/docs/ST_Distance.html

Returns true if the geometries are within a given distance https://postgis.net/docs/ST_DWithin.html

Returns the area of a geometry or geography. For geometry, area is in SRID units squared. For geography, area is in square meters. https://postgis.net/docs/ST_Area.html

Returns the perimeter of a geometry or geography. For geometry, in SRID units. For geography, in meters. https://postgis.net/docs/ST_Perimeter.html

Returns the 2D length of a linear geometry or geography. For geometry, in SRID units. For geography, in meters. https://postgis.net/docs/ST_Length.html

Returns the azimuth in radians of the segment from point A to point B. The angle is measured clockwise from north (positive Y axis). https://postgis.net/docs/ST_Azimuth.html

Returns the maximum distance between two geometries. The distance of the furthest pair of points. https://postgis.net/docs/ST_MaxDistance.html

Returns the angle between two vectors defined by two 2-point linestrings. This is the 2-argument form of ST_Angle which expects linestring inputs. Passing point geometries will result in a NULL return value — use the 3 or 4 point overloads in PostGIS directly if you need point-based angles. https://postgis.net/docs/ST_Angle.html

Returns the 2D point on geom1 closest to geom2. https://postgis.net/docs/ST_ClosestPoint.html

Returns the 3D point on geom1 closest to geom2. https://postgis.net/docs/ST_3DClosestPoint.html

Returns the 3D cartesian minimum distance between two geometries. https://postgis.net/docs/ST_3DDistance.html

Returns the minimum distance in meters between two lon/lat geometries using a spherical model. https://postgis.net/docs/ST_DistanceSphere.html

Returns the Frechet distance between two geometries. https://postgis.net/docs/ST_FrechetDistance.html

Returns the Hausdorff distance between two geometries. https://postgis.net/docs/ST_HausdorffDistance.html

Returns the 2D length of a linear geometry. https://postgis.net/docs/ST_Length2D.html

Returns the 3D length of a linear geometry. https://postgis.net/docs/ST_3DLength.html

Returns the 2D longest line between two geometries. https://postgis.net/docs/ST_LongestLine.html

Returns the 3D longest line between two geometries. https://postgis.net/docs/ST_3DLongestLine.html

Returns the 3D maximum distance between two geometries. https://postgis.net/docs/ST_3DMaxDistance.html

Returns the minimum clearance of a geometry, the shortest distance between two distinct vertices. https://postgis.net/docs/ST_MinimumClearance.html

Returns the 2D shortest line between two geometries. https://postgis.net/docs/ST_ShortestLine.html

Returns the 3D shortest line between two geometries. https://postgis.net/docs/ST_3DShortestLine.html

Returns the X coordinate of a point geometry. Only works on points; other geometry types will error. https://postgis.net/docs/ST_X.html

Returns the Y coordinate of a point geometry. Only works on points; other geometry types will error. https://postgis.net/docs/ST_Y.html

Returns the number of points (vertices) in a geometry. Works on any geometry type. https://postgis.net/docs/ST_NPoints.html

Returns the number of sub-geometries in a geometry collection or multi-type. Returns 1 for single geometries. https://postgis.net/docs/ST_NumGeometries.html

Returns the topological dimension of a geometry. 0 for points, 1 for lines, 2 for polygons. https://postgis.net/docs/ST_Dimension.html

Returns TRUE if the geometry has no self-intersections. Points and properly-formed polygons are always simple. https://postgis.net/docs/ST_IsSimple.html

Returns TRUE if the linestring's start and end points are coincident. For polyhedral surfaces, reports if the surface is areal (open) or volumetric (closed). https://postgis.net/docs/ST_IsClosed.html

Returns TRUE if the geometry is well-formed and valid per the OGC rules. Points and lines are always valid; polygons need correct ring structure. https://postgis.net/docs/ST_IsValid.html

Returns the spatial reference identifier (SRID) of the geometry. 0 means no SRID is set. https://postgis.net/docs/ST_SRID.html

Returns the boundary of a geometry. https://postgis.net/docs/ST_Boundary.html

Returns the coordinate dimension of a geometry (2, 3, or 4). https://postgis.net/docs/ST_CoordDim.html

Returns the last point of a linestring. https://postgis.net/docs/ST_EndPoint.html

Returns the exterior ring of a polygon geometry. https://postgis.net/docs/ST_ExteriorRing.html

Returns the Nth sub-geometry of a geometry collection (1-indexed). https://postgis.net/docs/ST_GeometryN.html

Returns the geometry type as a string (e.g. ST_Polygon). https://postgis.net/docs/ST_GeometryType.html

Returns the Nth interior ring of a polygon (1-indexed). https://postgis.net/docs/ST_InteriorRingN.html

Returns TRUE if the geometry is a geometry collection type. https://postgis.net/docs/ST_IsCollection.html

Returns TRUE if the geometry is an empty geometry. https://postgis.net/docs/ST_IsEmpty.html

Returns TRUE if all polygon rings are oriented counter-clockwise. https://postgis.net/docs/ST_IsPolygonCCW.html

Returns TRUE if all polygon rings are oriented clockwise. https://postgis.net/docs/ST_IsPolygonCW.html

Returns TRUE if the linestring is closed and simple (a ring). https://postgis.net/docs/ST_IsRing.html

Returns the M coordinate of a point. https://postgis.net/docs/ST_M.html

Returns the number of dimensions of a geometry's coordinates (2, 3, or 4). https://postgis.net/docs/ST_NDims.html

Returns the number of rings in a polygon (exterior + interior). https://postgis.net/docs/ST_NRings.html

Returns the number of interior rings of a polygon. https://postgis.net/docs/ST_NumInteriorRings.html

Returns the number of points in a linestring. https://postgis.net/docs/ST_NumPoints.html

Returns the Nth point in a linestring (1-indexed). https://postgis.net/docs/ST_PointN.html

Returns the first point of a linestring. https://postgis.net/docs/ST_StartPoint.html

Returns the Z coordinate of a point. https://postgis.net/docs/ST_Z.html

Aggregate function that collects geometries into a geometry collection. https://postgis.net/docs/ST_Collect.html

Creates a rectangular polygon from minimum and maximum coordinates. https://postgis.net/docs/ST_MakeEnvelope.html

Creates a linestring from two point geometries. https://postgis.net/docs/ST_MakeLine.html

Creates a polygon from a closed linestring shell. Named st_makepolygon_line to avoid collision with makePolygon. https://postgis.net/docs/ST_MakePolygon.html

Adds a point to a linestring at a given position (0-indexed). https://postgis.net/docs/ST_AddPoint.html

Extracts sub-geometries of a specified type from a collection. Type: 1=POINT, 2=LINESTRING, 3=POLYGON. https://postgis.net/docs/ST_CollectionExtract.html

Swaps X and Y coordinates. https://postgis.net/docs/ST_FlipCoordinates.html

Forces the geometry into 2D mode. https://postgis.net/docs/ST_Force2D.html

Forces the geometry into 3D (XYZ) mode. https://postgis.net/docs/ST_Force3D.html

Forces the geometry into 4D (XYZM) mode. https://postgis.net/docs/ST_Force4D.html

Converts the geometry into a geometry collection. https://postgis.net/docs/ST_ForceCollection.html

Forces polygon rings to counter-clockwise orientation. https://postgis.net/docs/ST_ForcePolygonCCW.html

Forces polygon rings to clockwise orientation. https://postgis.net/docs/ST_ForcePolygonCW.html

Returns the geometry as a multi-type (e.g. POINT -> MULTIPOINT). https://postgis.net/docs/ST_Multi.html

Returns the geometry in its canonical (normalized) form. https://postgis.net/docs/ST_Normalize.html

Returns the geometry with vertex order reversed. https://postgis.net/docs/ST_Reverse.html

Segmentizes a geometry so no segment is longer than the given distance. https://postgis.net/docs/ST_Segmentize.html

Replaces a point of a linestring at a given 0-based index. https://postgis.net/docs/ST_SetPoint.html

Snaps all points of a geometry to a regular grid of the given size. https://postgis.net/docs/ST_SnapToGrid.html

Snaps vertices of one geometry to vertices and edges of another within a tolerance. https://postgis.net/docs/ST_Snap.html

Attempts to make an invalid geometry valid without losing vertices. https://postgis.net/docs/ST_MakeValid.html

Returns text describing why a geometry is invalid, or "Valid Geometry". https://postgis.net/docs/ST_IsValidReason.html

Sets the SRID on a geometry to a particular integer value. https://postgis.net/docs/ST_SetSRID.html

Returns the Well-Known Text (WKT) representation of the geometry. https://postgis.net/docs/ST_AsText.html

Returns the GeoJSON representation of the geometry. https://postgis.net/docs/ST_AsGeoJSON.html

Returns the Extended Well-Known Text (EWKT) representation of the geometry. https://postgis.net/docs/ST_AsEWKT.html

Returns a GeoHash representation of the geometry. https://postgis.net/docs/ST_GeoHash.html

allows union of geometries, eg group a bunch together, https://postgis.net/docs/ST_Union.html for example:

 mCombined <- selectOne $ do
   grid <- from $ table Grid
   pure $ st_union $ grid ^. GridGeom


 select $  do
   unit <- from $ table Unit
   forM_ mCombined $ combined ->
     where_ $ (unit ^. UnitGeom) st_intersects (val $ unValue combined)
   pure unit

Returns the geometric center (centroid) of a geometry. For polygons this is the center of mass of the surface. https://postgis.net/docs/ST_Centroid.html

Returns a geometry that is the buffer of the input geometry at a given distance. The buffer is a polygon expanded (or shrunk if negative) from the input by the distance. https://postgis.net/docs/ST_Buffer.html

Returns the convex hull of a geometry. The smallest convex polygon that contains the input geometry. https://postgis.net/docs/ST_ConvexHull.html

Returns the bounding box of a geometry as a geometry (polygon or point). A minimal axis-aligned rectangle that fully contains the input. https://postgis.net/docs/ST_Envelope.html

Returns a point guaranteed to lie on the surface of the geometry. Unlike st_centroid, the result is always on or inside the geometry. https://postgis.net/docs/ST_PointOnSurface.html

Returns the shared portion of two geometries (their intersection). The result geometry contains only the area common to both inputs. https://postgis.net/docs/ST_Intersection.html

Returns the part of geometry A that does not intersect geometry B. Computes the geometric difference: A minus the shared area of A and B. https://postgis.net/docs/ST_Difference.html

Returns the portions of A and B that do not intersect (symmetric difference). https://postgis.net/docs/ST_SymDifference.html

Computes the union of a single geometry (dissolves internal boundaries). https://postgis.net/docs/ST_UnaryUnion.html

Splits a geometry by another geometry, returning a collection of geometries. https://postgis.net/docs/ST_Split.html

Nodes a set of linestrings, adding intersection points. https://postgis.net/docs/ST_Node.html

Creates an areal geometry formed by the constituent linework of the input geometry. https://postgis.net/docs/ST_BuildArea.html

Returns a smoothed version of the geometry using Chaikin's algorithm. https://postgis.net/docs/ST_ChaikinSmoothing.html

Returns a concave hull of a geometry with a target percent of area. https://postgis.net/docs/ST_ConcaveHull.html

Returns the Delaunay triangulation of a geometry's vertices. https://postgis.net/docs/ST_DelaunayTriangles.html

Generates pseudo-random points within a polygon. https://postgis.net/docs/ST_GeneratePoints.html

Returns the geometric median of a multipoint. https://postgis.net/docs/ST_GeometricMedian.html

Merges a collection of linestrings into a single (or fewer) linestrings. https://postgis.net/docs/ST_LineMerge.html

Returns the minimum bounding circle enclosing a geometry. https://postgis.net/docs/ST_MinimumBoundingCircle.html

Returns an offset line at a given distance from the input line. https://postgis.net/docs/ST_OffsetCurve.html

Reduces the precision of coordinates in a geometry to a given grid size. https://postgis.net/docs/ST_ReducePrecision.html

Returns a collection of shared paths between two linestring/multilinestring geometries. https://postgis.net/docs/ST_SharedPaths.html

Returns a simplified version of a geometry using the Douglas-Peucker algorithm. https://postgis.net/docs/ST_Simplify.html

Returns a simplified version of a geometry that preserves topology. https://postgis.net/docs/ST_SimplifyPreserveTopology.html

Returns the Voronoi diagram edges for a set of points. https://postgis.net/docs/ST_VoronoiLines.html

Returns the Voronoi diagram polygons for a set of points. https://postgis.net/docs/ST_VoronoiPolygons.html

Translates a geometry by given X and Y offsets. https://postgis.net/docs/ST_Translate.html

Scales a geometry by given X and Y factors. https://postgis.net/docs/ST_Scale.html

Rotates a geometry around the origin by an angle in radians. https://postgis.net/docs/ST_Rotate.html

Rotates a geometry around the X axis by an angle in radians. https://postgis.net/docs/ST_RotateX.html

Rotates a geometry around the Z axis by an angle in radians. https://postgis.net/docs/ST_RotateZ.html

Returns a bounding box expanded in all directions by a given distance. https://postgis.net/docs/ST_Expand.html

Returns a point interpolated along a line at a fractional distance (0.0 to 1.0). https://postgis.net/docs/ST_LineInterpolatePoint.html

Returns a float between 0 and 1 representing the location of the closest point on a line to a given point. https://postgis.net/docs/ST_LineLocatePoint.html

Returns the portion of a line between two fractional locations (0.0 to 1.0). https://postgis.net/docs/ST_LineSubstring.html

Project a geography onto a geometry. allows using of functions such as st_union which only work in flat space (geometry). https://postgis.net/docs/ST_Transform.html

project a geometry as a geography, assumes wgs84. https://postgis.net/docs/ST_Transform.html

SRID you can find your local like this: https://blog.rustprooflabs.com/2020/11/postgis-find-local-srid geography appears to use wgs84. So I hardcoded the use going from geom to geography as that.

you can use the num instance to put in whatever. however, if you miss a srid please submit a PR.

default for geography type in postgis. Geodetic CRS: WGS 84 https://epsg.io/4326

most maps are in this, it has some large distortions further away from equator https://epsg.io/3857

if you're in england this is pretty good. https://epsg.io/27700

Diferent SRID come in different units, important for converting from geograhy to geometry.

checks if the first point is the last, and if not so makes it so. this is required for inserting into the database

backwards compatibility, initial version only dealt in geometry

technical typeclass to bind a spatial type to a string value. because we represent the constructors as a datakind, we need this to go back to a value.

(GeoPositionWithoutCRS is a catch all for indeterminate CRSs and for expression of positions before a CRS has been determined