Safe Haskell	None
Language	Haskell2010

Database.Postgis

Documentation

data Geometry Source #

Constructors

GeoPoint SRID Point
GeoLineString SRID LineString
GeoPolygon SRID Polygon
GeoMultiLineString SRID MultiLineString
GeoMultiPoint SRID MultiPoint
GeoMultiPolygon SRID MultiPolygon

Instances

Eq Geometry Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: Geometry -> Geometry -> Bool # (/=) :: Geometry -> Geometry -> Bool #
Data Geometry Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Geometry -> c Geometry # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Geometry # toConstr :: Geometry -> Constr # dataTypeOf :: Geometry -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Geometry) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Geometry) # gmapT :: (forall b. Data b => b -> b) -> Geometry -> Geometry # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Geometry -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Geometry -> r # gmapQ :: (forall d. Data d => d -> u) -> Geometry -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Geometry -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Geometry -> m Geometry # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Geometry -> m Geometry # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Geometry -> m Geometry #
Show Geometry Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> Geometry -> ShowS # show :: Geometry -> String # showList :: [Geometry] -> ShowS #
ToJSON Geometry Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: Geometry -> Value # toEncoding :: Geometry -> Encoding # toJSONList :: [Geometry] -> Value # toEncodingList :: [Geometry] -> Encoding #
FromJSON Geometry Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser Geometry # parseJSONList :: Value -> Parser [Geometry] #

newtype MultiPolygon Source #

Constructors

MultiPolygon (Vector Polygon)

Instances

Eq MultiPolygon Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: MultiPolygon -> MultiPolygon -> Bool # (/=) :: MultiPolygon -> MultiPolygon -> Bool #
Data MultiPolygon Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MultiPolygon -> c MultiPolygon # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MultiPolygon # toConstr :: MultiPolygon -> Constr # dataTypeOf :: MultiPolygon -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MultiPolygon) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MultiPolygon) # gmapT :: (forall b. Data b => b -> b) -> MultiPolygon -> MultiPolygon # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MultiPolygon -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MultiPolygon -> r # gmapQ :: (forall d. Data d => d -> u) -> MultiPolygon -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MultiPolygon -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MultiPolygon -> m MultiPolygon # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiPolygon -> m MultiPolygon # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiPolygon -> m MultiPolygon #
Show MultiPolygon Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> MultiPolygon -> ShowS # show :: MultiPolygon -> String # showList :: [MultiPolygon] -> ShowS #
ToJSON MultiPolygon Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: MultiPolygon -> Value # toEncoding :: MultiPolygon -> Encoding # toJSONList :: [MultiPolygon] -> Value # toEncodingList :: [MultiPolygon] -> Encoding #
FromJSON MultiPolygon Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser MultiPolygon # parseJSONList :: Value -> Parser [MultiPolygon] #
EWKBGeometry MultiPolygon Source #
Instance details Defined in Database.Postgis.Geometry Methods hasM :: MultiPolygon -> Bool Source # hasZ :: MultiPolygon -> Bool Source # geoType :: MultiPolygon -> Word32 Source #

newtype MultiLineString Source #

Constructors

MultiLineString (Vector LineString)

Instances

Eq MultiLineString Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: MultiLineString -> MultiLineString -> Bool # (/=) :: MultiLineString -> MultiLineString -> Bool #
Data MultiLineString Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MultiLineString -> c MultiLineString # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MultiLineString # toConstr :: MultiLineString -> Constr # dataTypeOf :: MultiLineString -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MultiLineString) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MultiLineString) # gmapT :: (forall b. Data b => b -> b) -> MultiLineString -> MultiLineString # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MultiLineString -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MultiLineString -> r # gmapQ :: (forall d. Data d => d -> u) -> MultiLineString -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MultiLineString -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MultiLineString -> m MultiLineString # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiLineString -> m MultiLineString # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiLineString -> m MultiLineString #
Show MultiLineString Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> MultiLineString -> ShowS # show :: MultiLineString -> String # showList :: [MultiLineString] -> ShowS #
ToJSON MultiLineString Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: MultiLineString -> Value # toEncoding :: MultiLineString -> Encoding # toJSONList :: [MultiLineString] -> Value # toEncodingList :: [MultiLineString] -> Encoding #
FromJSON MultiLineString Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser MultiLineString # parseJSONList :: Value -> Parser [MultiLineString] #
EWKBGeometry MultiLineString Source #
Instance details Defined in Database.Postgis.Geometry Methods hasM :: MultiLineString -> Bool Source # hasZ :: MultiLineString -> Bool Source # geoType :: MultiLineString -> Word32 Source #

newtype MultiPoint Source #

Constructors

MultiPoint (Vector Position)

Instances

Eq MultiPoint Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: MultiPoint -> MultiPoint -> Bool # (/=) :: MultiPoint -> MultiPoint -> Bool #
Data MultiPoint Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MultiPoint -> c MultiPoint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MultiPoint # toConstr :: MultiPoint -> Constr # dataTypeOf :: MultiPoint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MultiPoint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MultiPoint) # gmapT :: (forall b. Data b => b -> b) -> MultiPoint -> MultiPoint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MultiPoint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MultiPoint -> r # gmapQ :: (forall d. Data d => d -> u) -> MultiPoint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> MultiPoint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> MultiPoint -> m MultiPoint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiPoint -> m MultiPoint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MultiPoint -> m MultiPoint #
Show MultiPoint Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> MultiPoint -> ShowS # show :: MultiPoint -> String # showList :: [MultiPoint] -> ShowS #
ToJSON MultiPoint Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: MultiPoint -> Value # toEncoding :: MultiPoint -> Encoding # toJSONList :: [MultiPoint] -> Value # toEncodingList :: [MultiPoint] -> Encoding #
FromJSON MultiPoint Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser MultiPoint # parseJSONList :: Value -> Parser [MultiPoint] #
EWKBGeometry MultiPoint Source #
Instance details Defined in Database.Postgis.Geometry Methods hasM :: MultiPoint -> Bool Source # hasZ :: MultiPoint -> Bool Source # geoType :: MultiPoint -> Word32 Source #

newtype Polygon Source #

Constructors

Polygon (Vector LinearRing)

Instances

Eq Polygon Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: Polygon -> Polygon -> Bool # (/=) :: Polygon -> Polygon -> Bool #
Data Polygon Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Polygon -> c Polygon # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Polygon # toConstr :: Polygon -> Constr # dataTypeOf :: Polygon -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Polygon) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Polygon) # gmapT :: (forall b. Data b => b -> b) -> Polygon -> Polygon # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Polygon -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Polygon -> r # gmapQ :: (forall d. Data d => d -> u) -> Polygon -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Polygon -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Polygon -> m Polygon # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Polygon -> m Polygon # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Polygon -> m Polygon #
Show Polygon Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> Polygon -> ShowS # show :: Polygon -> String # showList :: [Polygon] -> ShowS #
ToJSON Polygon Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: Polygon -> Value # toEncoding :: Polygon -> Encoding # toJSONList :: [Polygon] -> Value # toEncodingList :: [Polygon] -> Encoding #
FromJSON Polygon Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser Polygon # parseJSONList :: Value -> Parser [Polygon] #
EWKBGeometry Polygon Source #
Instance details Defined in Database.Postgis.Geometry Methods hasM :: Polygon -> Bool Source # hasZ :: Polygon -> Bool Source # geoType :: Polygon -> Word32 Source #

newtype LineString Source #

Constructors

LineString (Vector Position)

Instances

Eq LineString Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: LineString -> LineString -> Bool # (/=) :: LineString -> LineString -> Bool #
Data LineString Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LineString -> c LineString # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LineString # toConstr :: LineString -> Constr # dataTypeOf :: LineString -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LineString) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LineString) # gmapT :: (forall b. Data b => b -> b) -> LineString -> LineString # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LineString -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LineString -> r # gmapQ :: (forall d. Data d => d -> u) -> LineString -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LineString -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LineString -> m LineString # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LineString -> m LineString # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LineString -> m LineString #
Show LineString Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> LineString -> ShowS # show :: LineString -> String # showList :: [LineString] -> ShowS #
ToJSON LineString Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: LineString -> Value # toEncoding :: LineString -> Encoding # toJSONList :: [LineString] -> Value # toEncodingList :: [LineString] -> Encoding #
FromJSON LineString Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser LineString # parseJSONList :: Value -> Parser [LineString] #
EWKBGeometry LineString Source #
Instance details Defined in Database.Postgis.Geometry Methods hasM :: LineString -> Bool Source # hasZ :: LineString -> Bool Source # geoType :: LineString -> Word32 Source #

type LinearRing = Vector Position Source #

newtype Point Source #

Constructors

Point Position

Instances

Eq Point Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: Point -> Point -> Bool # (/=) :: Point -> Point -> Bool #
Data Point Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Point -> c Point # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Point # toConstr :: Point -> Constr # dataTypeOf :: Point -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Point) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Point) # gmapT :: (forall b. Data b => b -> b) -> Point -> Point # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Point -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Point -> r # gmapQ :: (forall d. Data d => d -> u) -> Point -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Point -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Point -> m Point # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Point -> m Point # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Point -> m Point #
Show Point Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #
ToJSON Point Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: Point -> Value # toEncoding :: Point -> Encoding # toJSONList :: [Point] -> Value # toEncodingList :: [Point] -> Encoding #
FromJSON Point Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser Point # parseJSONList :: Value -> Parser [Point] #
EWKBGeometry Point Source #
Instance details Defined in Database.Postgis.Geometry Methods hasM :: Point -> Bool Source # hasZ :: Point -> Bool Source # geoType :: Point -> Word32 Source #

data Position Source #

Constructors

Position
Fields _x :: Double _y :: Double _z :: Maybe Double _m :: Maybe Double

Instances

Eq Position Source #
Instance details Defined in Database.Postgis.Geometry Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Data Position Source #
Instance details Defined in Database.Postgis.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Position -> c Position # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Position # toConstr :: Position -> Constr # dataTypeOf :: Position -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Position) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Position) # gmapT :: (forall b. Data b => b -> b) -> Position -> Position # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Position -> r # gmapQ :: (forall d. Data d => d -> u) -> Position -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Position -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Position -> m Position #
Show Position Source #
Instance details Defined in Database.Postgis.Geometry Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
ToJSON Position Source #
Instance details Defined in Database.Postgis.JSON Methods toJSON :: Position -> Value # toEncoding :: Position -> Encoding # toJSONList :: [Position] -> Value # toEncodingList :: [Position] -> Encoding #
FromJSON Position Source #
Instance details Defined in Database.Postgis.JSON Methods parseJSON :: Value -> Parser Position # parseJSONList :: Value -> Parser [Position] #
EWKBGeometry Position Source #
Instance details Defined in Database.Postgis.Geometry Methods hasM :: Position -> Bool Source # hasZ :: Position -> Bool Source # geoType :: Position -> Word32 Source #

type SRID = Maybe Int Source #

readGeometry :: ByteString -> Geometry Source #

writeGeometry :: Geometry -> ByteString Source #