| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Database.Postgis.Geometry
Documentation
class EWKBGeometry a where Source #
Instances
| EWKBGeometry MultiPolygon Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: MultiPolygon -> Bool Source # hasZ :: MultiPolygon -> Bool Source # geoType :: MultiPolygon -> Word32 Source # | |
| EWKBGeometry MultiLineString Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: MultiLineString -> Bool Source # hasZ :: MultiLineString -> Bool Source # geoType :: MultiLineString -> Word32 Source # | |
| EWKBGeometry MultiPoint Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: MultiPoint -> Bool Source # hasZ :: MultiPoint -> Bool Source # geoType :: MultiPoint -> Word32 Source # | |
| EWKBGeometry Polygon Source # | |
| EWKBGeometry LineString Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: LineString -> Bool Source # hasZ :: LineString -> Bool Source # geoType :: LineString -> Word32 Source # | |
| EWKBGeometry Point Source # | |
type LinearRing = Vector Point Source #
data LineString Source #
Constructors
| LineString (Vector Point) |
Instances
| Eq LineString Source # | |
Defined in Database.Postgis.Geometry | |
| Show LineString Source # | |
Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> LineString -> ShowS # show :: LineString -> String # showList :: [LineString] -> ShowS # | |
| ToJSON LineString Source # | |
Defined in Database.Postgis.JSON Methods toJSON :: LineString -> Value # toEncoding :: LineString -> Encoding # toJSONList :: [LineString] -> Value # toEncodingList :: [LineString] -> Encoding # | |
| FromJSON LineString Source # | |
Defined in Database.Postgis.JSON | |
| EWKBGeometry LineString Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: LineString -> Bool Source # hasZ :: LineString -> Bool Source # geoType :: LineString -> Word32 Source # | |
Constructors
| Polygon (Vector LinearRing) |
hasMLinearRing :: LinearRing -> Bool Source #
hasZLinearRing :: LinearRing -> Bool Source #
data MultiPoint Source #
Constructors
| MultiPoint (Vector Point) |
Instances
| Eq MultiPoint Source # | |
Defined in Database.Postgis.Geometry | |
| Show MultiPoint Source # | |
Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> MultiPoint -> ShowS # show :: MultiPoint -> String # showList :: [MultiPoint] -> ShowS # | |
| ToJSON MultiPoint Source # | |
Defined in Database.Postgis.JSON Methods toJSON :: MultiPoint -> Value # toEncoding :: MultiPoint -> Encoding # toJSONList :: [MultiPoint] -> Value # toEncodingList :: [MultiPoint] -> Encoding # | |
| FromJSON MultiPoint Source # | |
Defined in Database.Postgis.JSON | |
| EWKBGeometry MultiPoint Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: MultiPoint -> Bool Source # hasZ :: MultiPoint -> Bool Source # geoType :: MultiPoint -> Word32 Source # | |
data MultiLineString Source #
Constructors
| MultiLineString (Vector LineString) |
Instances
| Eq MultiLineString Source # | |
Defined in Database.Postgis.Geometry Methods (==) :: MultiLineString -> MultiLineString -> Bool # (/=) :: MultiLineString -> MultiLineString -> Bool # | |
| Show MultiLineString Source # | |
Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> MultiLineString -> ShowS # show :: MultiLineString -> String # showList :: [MultiLineString] -> ShowS # | |
| ToJSON MultiLineString Source # | |
Defined in Database.Postgis.JSON Methods toJSON :: MultiLineString -> Value # toEncoding :: MultiLineString -> Encoding # toJSONList :: [MultiLineString] -> Value # toEncodingList :: [MultiLineString] -> Encoding # | |
| FromJSON MultiLineString Source # | |
Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser MultiLineString # parseJSONList :: Value -> Parser [MultiLineString] # | |
| EWKBGeometry MultiLineString Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: MultiLineString -> Bool Source # hasZ :: MultiLineString -> Bool Source # geoType :: MultiLineString -> Word32 Source # | |
data MultiPolygon Source #
Constructors
| MultiPolygon (Vector Polygon) |
Instances
| Eq MultiPolygon Source # | |
Defined in Database.Postgis.Geometry | |
| Show MultiPolygon Source # | |
Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> MultiPolygon -> ShowS # show :: MultiPolygon -> String # showList :: [MultiPolygon] -> ShowS # | |
| ToJSON MultiPolygon Source # | |
Defined in Database.Postgis.JSON Methods toJSON :: MultiPolygon -> Value # toEncoding :: MultiPolygon -> Encoding # toJSONList :: [MultiPolygon] -> Value # toEncodingList :: [MultiPolygon] -> Encoding # | |
| FromJSON MultiPolygon Source # | |
Defined in Database.Postgis.JSON | |
| EWKBGeometry MultiPolygon Source # | |
Defined in Database.Postgis.Geometry Methods hasM :: MultiPolygon -> Bool Source # hasZ :: MultiPolygon -> Bool Source # geoType :: MultiPolygon -> Word32 Source # | |
Constructors
| GeoPoint SRID Point | |
| GeoLineString SRID LineString | |
| GeoPolygon SRID Polygon | |
| GeoMultiLineString SRID MultiLineString | |
| GeoMultiPoint SRID MultiPoint | |
| GeoMultiPolygon SRID MultiPolygon |