Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Database.Postgis.Trivial.Unboxed.Geometry
Synopsis
- transToU :: (Castable p, Unbox p, Unbox (Cast p)) => Vector p -> Vector (Cast p)
- transFromU :: (Castable p, Unbox p, Unbox (Cast p)) => Vector (Cast p) -> Vector p
- putChainU :: (PointND a, Unbox a) => Putter (Vector a)
- getChainU :: (PointND a, Unbox a) => HeaderGetter (Vector a)
- data Point p = Point SRID p
- data LineString p = LineString SRID (Vector p)
- data Polygon t2 p = Polygon SRID (t2 (Vector p))
- data MultiPoint p = MultiPoint SRID (Vector p)
- data MultiLineString t2 p = MultiLineString SRID (t2 (Vector p))
- data MultiPolygon t3 t2 p = MultiPolygon SRID (t3 (t2 (Vector p)))
- putPoint :: Castable p => SRID -> p -> Geo (Point p)
- getPoint :: Castable p => Geo (Point p) -> (SRID, p)
- putLS :: SRID -> Vector p -> Geo (LineString p)
- getLS :: Geo (LineString p) -> (SRID, Vector p)
- putPoly :: SRID -> t2 (Vector p) -> Geo (Polygon t2 p)
- getPoly :: Geo (Polygon t2 p) -> (SRID, t2 (Vector p))
- putMPoint :: SRID -> Vector p -> Geo (MultiPoint p)
- getMPoint :: Geo (MultiPoint p) -> (SRID, Vector p)
- putMLS :: SRID -> t2 (Vector p) -> Geo (MultiLineString t2 p)
- getMLS :: Geo (MultiLineString t2 p) -> (SRID, t2 (Vector p))
- putMPoly :: SRID -> t3 (t2 (Vector p)) -> Geo (MultiPolygon t3 t2 p)
- getMPoly :: Geo (MultiPolygon t3 t2 p) -> (SRID, t3 (t2 (Vector p)))
Documentation
transToU :: (Castable p, Unbox p, Unbox (Cast p)) => Vector p -> Vector (Cast p) Source #
Translator of Unboxed vectors (direct)
transFromU :: (Castable p, Unbox p, Unbox (Cast p)) => Vector (Cast p) -> Vector p Source #
Translator of Unboxed vectors (reverse)
Point geometry
data LineString p Source #
LineString geometry
Constructors
LineString SRID (Vector p) |
Instances
(Castable p, Unbox p, Unbox (Cast p)) => Geometry (LineString p) Source # | |
Defined in Database.Postgis.Trivial.Unboxed.Geometry |
Polygon geometry
data MultiPoint p Source #
MultiPoint geometry
Constructors
MultiPoint SRID (Vector p) |
Instances
(Castable p, Unbox p, Unbox (Cast p)) => Geometry (MultiPoint p) Source # | |
Defined in Database.Postgis.Trivial.Unboxed.Geometry |
data MultiLineString t2 p Source #
MultiLineString geometry
Constructors
MultiLineString SRID (t2 (Vector p)) |
Instances
(Castable p, Unbox p, Unbox (Cast p), GeoChain t2, Repl t2 (Vector (Cast p))) => Geometry (MultiLineString t2 p) Source # | |
Defined in Database.Postgis.Trivial.Unboxed.Geometry Methods putGeometry :: Putter (MultiLineString t2 p) Source # getGeometry :: Get (MultiLineString t2 p) Source # |
data MultiPolygon t3 t2 p Source #
MultiPolygon geometry
Constructors
MultiPolygon SRID (t3 (t2 (Vector p))) |
Instances
(Castable p, Unbox p, Unbox (Cast p), Repl t3 (t2 (Vector (Cast p))), Repl t2 (Vector (Cast p)), GeoChain t2, GeoChain t3) => Geometry (MultiPolygon t3 t2 p) Source # | |
Defined in Database.Postgis.Trivial.Unboxed.Geometry Methods putGeometry :: Putter (MultiPolygon t3 t2 p) Source # getGeometry :: Get (MultiPolygon t3 t2 p) Source # |