Database.Esqueleto.Postgis

Haskell bindings for postgres postgis for a good explenation see https://postgis.net/

Documentation

data PostgisGeometry point

like GeospatialGeometry but not partial, eg no empty geometries, also only works in a single dimention, eg PostgisGeometry PointXY can't work with PostgisGeometry PointXYZ. so PointXY indicates a 2 dimension space, and PointXYZ a three dimension space.

Constructors

Point point

MultiPoint (NonEmpty point)

Line (LineString point)

Multiline (NonEmpty (LineString point))

Polygon (LinearRing point)

MultiPolygon (NonEmpty (LinearRing point))

Collection (NonEmpty (PostgisGeometry point))

Instances

Functor PostgisGeometry

Defined in Database.Esqueleto.Postgis

Methods

fmap :: (a -> b) -> PostgisGeometry a -> PostgisGeometry b

(<$) :: a -> PostgisGeometry b -> PostgisGeometry a

Show point => Show (PostgisGeometry point)

Defined in Database.Esqueleto.Postgis

Methods

showsPrec :: Int -> PostgisGeometry point -> ShowS

show :: PostgisGeometry point -> String

showList :: [PostgisGeometry point] -> ShowS

Eq point => Eq (PostgisGeometry point)

Defined in Database.Esqueleto.Postgis

Methods

(==) :: PostgisGeometry point -> PostgisGeometry point -> Bool

(/=) :: PostgisGeometry point -> PostgisGeometry point -> Bool

PersistField (PostgisGeometry PointXY)

Defined in Database.Esqueleto.Postgis

Methods

toPersistValue :: PostgisGeometry PointXY -> PersistValue

fromPersistValue :: PersistValue -> Either Text (PostgisGeometry PointXY)

PersistField (PostgisGeometry PointXYZ)

Defined in Database.Esqueleto.Postgis

Methods

toPersistValue :: PostgisGeometry PointXYZ -> PersistValue

fromPersistValue :: PersistValue -> Either Text (PostgisGeometry PointXYZ)

PersistField (PostgisGeometry PointXYZM)

Defined in Database.Esqueleto.Postgis

Methods

toPersistValue :: PostgisGeometry PointXYZM -> PersistValue

fromPersistValue :: PersistValue -> Either Text (PostgisGeometry PointXYZM)

PersistFieldSql (PostgisGeometry PointXY)

Defined in Database.Esqueleto.Postgis

Methods

sqlType :: Proxy (PostgisGeometry PointXY) -> SqlType

PersistFieldSql (PostgisGeometry PointXYZ)

Defined in Database.Esqueleto.Postgis

Methods

sqlType :: Proxy (PostgisGeometry PointXYZ) -> SqlType

PersistFieldSql (PostgisGeometry PointXYZM)

Defined in Database.Esqueleto.Postgis

Methods

sqlType :: Proxy (PostgisGeometry PointXYZM) -> SqlType

makePolygon :: (Eq point, Show point) => point -> point -> point -> Seq point -> LinearRing point

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

functions

st_contains

Arguments

:: SqlExpr (Value (PostgisGeometry a))

geom a

-> SqlExpr (Value (PostgisGeometry a))

geom b

-> SqlExpr (Value Bool)

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

st_intersects :: SqlExpr (Value (PostgisGeometry a)) -> SqlExpr (Value (PostgisGeometry a)) -> SqlExpr (Value Bool)

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

points

st_point :: SqlExpr (Value Double) -> SqlExpr (Value Double) -> SqlExpr (Value (PostgisGeometry PointXY))

st_point_xyz :: SqlExpr (Value Double) -> SqlExpr (Value Double) -> SqlExpr (Value Double) -> SqlExpr (Value (PostgisGeometry PointXYZ))

st_point_xyzm :: SqlExpr (Value Double) -> SqlExpr (Value Double) -> SqlExpr (Value Double) -> SqlExpr (Value Double) -> SqlExpr (Value (PostgisGeometry PointXYZM))