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