Database.Postgis.Trivial.Traversable.Geometry

Documentation

data Point p

Point geometry

Constructors

Point SRID p

Instances

Castable p => Geometry (Point p)

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (Point p)

getGeometry :: Get (Point p)

data LineString t p

Linestring geometry

Constructors

LineString SRID (t p)

Instances

(GeoChain t, Trans t p) => Geometry (LineString t p)

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (LineString t p)

getGeometry :: Get (LineString t p)

data Polygon t2 t1 p

Polygon geometry

Constructors

Polygon SRID (t2 (t1 p))

Instances

(Repl t2 (t1 (Cast p)), GeoChain t2, GeoChain t1, Trans t1 p) => Geometry (Polygon t2 t1 p)

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (Polygon t2 t1 p)

getGeometry :: Get (Polygon t2 t1 p)

data MultiPoint t p

MultiPoint geometry

Constructors

MultiPoint SRID (t p)

Instances

(Repl t (Cast p), GeoChain t, Trans t p) => Geometry (MultiPoint t p)

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (MultiPoint t p)

getGeometry :: Get (MultiPoint t p)

data MultiLineString t2 t1 p

MultiLineString geometry

Constructors

MultiLineString SRID (t2 (t1 p))

Instances

(Repl t2 (t1 (Cast p)), GeoChain t2, GeoChain t1, Trans t1 p) => Geometry (MultiLineString t2 t1 p)

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (MultiLineString t2 t1 p)

getGeometry :: Get (MultiLineString t2 t1 p)

data MultiPolygon t3 t2 t1 p

MultiPolygon geometry

Constructors

MultiPolygon SRID (t3 (t2 (t1 p)))

Instances

(Repl t3 (t2 (t1 (Cast p))), Repl t2 (t1 (Cast p)), GeoChain t3, GeoChain t2, GeoChain t1, Trans t1 p) => Geometry (MultiPolygon t3 t2 t1 p)

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (MultiPolygon t3 t2 t1 p)

getGeometry :: Get (MultiPolygon t3 t2 t1 p)

putPoint :: Castable p => SRID -> p -> Geo (Point p)

Point putter

getPoint :: Geo (Point p) -> (SRID, p)

Point getter

putLS :: SRID -> t p -> Geo (LineString t p)

Linestring putter

getLS :: Geo (LineString t p) -> (SRID, t p)

LineString getter

putPoly :: SRID -> t2 (t1 p) -> Geo (Polygon t2 t1 p)

Polygon putter

getPoly :: Geo (Polygon t2 t1 p) -> (SRID, t2 (t1 p))

Polygon getter

putMPoint :: SRID -> t p -> Geo (MultiPoint t p)

MultiPoint putter

getMPoint :: Geo (MultiPoint t p) -> (SRID, t p)

MultiPoint getter

putMLS :: SRID -> t2 (t1 p) -> Geo (MultiLineString t2 t1 p)

MultiLineString putter

getMLS :: Geo (MultiLineString t2 t1 p) -> (SRID, t2 (t1 p))

MultiLineString getter

putMPoly :: SRID -> t3 (t2 (t1 p)) -> Geo (MultiPolygon t3 t2 t1 p)

MultiPolygon putter

getMPoly :: Geo (MultiPolygon t3 t2 t1 p) -> (SRID, t3 (t2 (t1 p)))

MultiPolygon getter