Safe Haskell	None
Language	Haskell2010

Data.Geometry.Geos.Geometry

Synopsis

data Geometry a where
- PointGeometry :: Point -> SRID -> Geometry Point
- LineStringGeometry :: LineString -> SRID -> Geometry LineString
- LinearRingGeometry :: LinearRing -> SRID -> Geometry LinearRing
- PolygonGeometry :: Polygon -> SRID -> Geometry Polygon
- MultiPointGeometry :: MultiPoint -> SRID -> Geometry MultiPoint
- MultiLineStringGeometry :: MultiLineString -> SRID -> Geometry MultiLineString
- MultiPolygonGeometry :: MultiPolygon -> SRID -> Geometry MultiPolygon
newtype Point = Point Coordinate
newtype LinearRing = LinearRing CoordinateSequence
newtype LineString = LineString CoordinateSequence
newtype Polygon = Polygon (Vector LinearRing)
newtype MultiPoint = MultiPoint (Vector Point)
newtype MultiLineString = MultiLineString (Vector LineString)
newtype MultiPolygon = MultiPolygon (Vector Polygon)
data Some :: (* -> *) -> * where
- Some :: f a -> Some f
type SRID = Maybe Int
binaryPredicate :: (GeomConst -> GeomConst -> Geos Bool) -> Geometry a -> Geometry b -> Bool
convertGeometryFromRaw :: (Geometry a, CoordSeqInput a ~ cb, CoordinateSequence cb) => a -> Geos (Some Geometry)
convertGeometryToRaw :: (Geometry a, CoordSeqInput a ~ cb, CoordinateSequence cb) => Geometry b -> Geos a
convertMultiPolygonFromRaw :: (Geometry a, CoordSeqInput a ~ ca, CoordinateSequence ca) => a -> Geos MultiPolygon
ensurePoint :: Some Geometry -> Geometry Point
ensureLineString :: Some Geometry -> Geometry LineString
ensureLinearRing :: Some Geometry -> Geometry LinearRing
ensurePolygon :: Some Geometry -> Geometry Polygon
ensureMultiPoint :: Some Geometry -> Geometry MultiPoint
ensureMultiPolygon :: Some Geometry -> Geometry MultiPolygon
ensureMultiLineString :: Some Geometry -> Geometry MultiLineString
interpolate :: Geometry LineString -> Double -> Geometry Point
interpolateNormalized :: Geometry LineString -> Double -> Geometry Point
project :: Geometry LineString -> Geometry Point -> Double
projectNormalized :: Geometry LineString -> Geometry Point -> Double
equalsExact :: Geometry a -> Geometry a -> Double -> Bool
equals :: Geometry a -> Geometry a -> Bool
area :: Geometry a -> Double
geometryLength :: Geometry a -> Double
distance :: Geometry a -> Geometry a -> Double
hausdorffDistance :: Geometry a -> Geometry a -> Double
nearestPoints :: Geometry a -> Geometry a -> (Coordinate, Coordinate)
withSomeGeometry :: Some Geometry -> (forall a. Geometry a -> b) -> b

Documentation

data Geometry a where Source #

Constructors

PointGeometry :: Point -> SRID -> Geometry Point
LineStringGeometry :: LineString -> SRID -> Geometry LineString
LinearRingGeometry :: LinearRing -> SRID -> Geometry LinearRing
PolygonGeometry :: Polygon -> SRID -> Geometry Polygon
MultiPointGeometry :: MultiPoint -> SRID -> Geometry MultiPoint
MultiLineStringGeometry :: MultiLineString -> SRID -> Geometry MultiLineString
MultiPolygonGeometry :: MultiPolygon -> SRID -> Geometry MultiPolygon

Instances

Eq (Geometry a) Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: Geometry a -> Geometry a -> Bool # (/=) :: Geometry a -> Geometry a -> Bool #
Show (Geometry a) Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> Geometry a -> ShowS # show :: Geometry a -> String # showList :: [Geometry a] -> ShowS #
Show (Some Geometry) Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> Some Geometry -> ShowS # show :: Some Geometry -> String # showList :: [Some Geometry] -> ShowS #
Relatable (Geometry a) Source #
Instance details Defined in Data.Geometry.Geos.Relatable Methods contains :: Geometry a -> Geometry b -> Bool Source # coveredBy :: Geometry a -> Geometry b -> Bool Source # covers :: Geometry a -> Geometry b -> Bool Source # crosses :: Geometry a -> Geometry b -> Bool Source # disjoint :: Geometry a -> Geometry b -> Bool Source # intersects :: Geometry a -> Geometry b -> Bool Source # overlaps :: Geometry a -> Geometry b -> Bool Source # touches :: Geometry a -> Geometry b -> Bool Source # within :: Geometry a -> Geometry b -> Bool Source #

newtype Point Source #

Constructors

Point Coordinate

Instances

Eq Point Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: Point -> Point -> Bool # (/=) :: Point -> Point -> Bool #
Data Point Source #
Instance details Defined in Data.Geometry.Geos.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 #
Ord Point Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods compare :: Point -> Point -> Ordering # (<) :: Point -> Point -> Bool # (<=) :: Point -> Point -> Bool # (>) :: Point -> Point -> Bool # (>=) :: Point -> Point -> Bool # max :: Point -> Point -> Point # min :: Point -> Point -> Point #
Read Point Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods readsPrec :: Int -> ReadS Point # readList :: ReadS [Point] # readPrec :: ReadPrec Point # readListPrec :: ReadPrec [Point] #
Show Point Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> Point -> ShowS # show :: Point -> String # showList :: [Point] -> ShowS #

newtype LinearRing Source #

Constructors

LinearRing CoordinateSequence

Instances

Eq LinearRing Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: LinearRing -> LinearRing -> Bool # (/=) :: LinearRing -> LinearRing -> Bool #
Data LinearRing Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LinearRing -> c LinearRing # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LinearRing # toConstr :: LinearRing -> Constr # dataTypeOf :: LinearRing -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LinearRing) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LinearRing) # gmapT :: (forall b. Data b => b -> b) -> LinearRing -> LinearRing # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LinearRing -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LinearRing -> r # gmapQ :: (forall d. Data d => d -> u) -> LinearRing -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LinearRing -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LinearRing -> m LinearRing # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LinearRing -> m LinearRing # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LinearRing -> m LinearRing #
Ord LinearRing Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods compare :: LinearRing -> LinearRing -> Ordering # (<) :: LinearRing -> LinearRing -> Bool # (<=) :: LinearRing -> LinearRing -> Bool # (>) :: LinearRing -> LinearRing -> Bool # (>=) :: LinearRing -> LinearRing -> Bool # max :: LinearRing -> LinearRing -> LinearRing # min :: LinearRing -> LinearRing -> LinearRing #
Read LinearRing Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods readsPrec :: Int -> ReadS LinearRing # readList :: ReadS [LinearRing] # readPrec :: ReadPrec LinearRing # readListPrec :: ReadPrec [LinearRing] #
Show LinearRing Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> LinearRing -> ShowS # show :: LinearRing -> String # showList :: [LinearRing] -> ShowS #
Semigroup LinearRing Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (<>) :: LinearRing -> LinearRing -> LinearRing # sconcat :: NonEmpty LinearRing -> LinearRing # stimes :: Integral b => b -> LinearRing -> LinearRing #
Monoid LinearRing Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods mempty :: LinearRing # mappend :: LinearRing -> LinearRing -> LinearRing # mconcat :: [LinearRing] -> LinearRing #

newtype LineString Source #

Constructors

LineString CoordinateSequence

Instances

Eq LineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: LineString -> LineString -> Bool # (/=) :: LineString -> LineString -> Bool #
Data LineString Source #
Instance details Defined in Data.Geometry.Geos.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 #
Ord LineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods compare :: LineString -> LineString -> Ordering # (<) :: LineString -> LineString -> Bool # (<=) :: LineString -> LineString -> Bool # (>) :: LineString -> LineString -> Bool # (>=) :: LineString -> LineString -> Bool # max :: LineString -> LineString -> LineString # min :: LineString -> LineString -> LineString #
Read LineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods readsPrec :: Int -> ReadS LineString # readList :: ReadS [LineString] # readPrec :: ReadPrec LineString # readListPrec :: ReadPrec [LineString] #
Show LineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> LineString -> ShowS # show :: LineString -> String # showList :: [LineString] -> ShowS #
Semigroup LineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (<>) :: LineString -> LineString -> LineString # sconcat :: NonEmpty LineString -> LineString # stimes :: Integral b => b -> LineString -> LineString #
Monoid LineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods mempty :: LineString # mappend :: LineString -> LineString -> LineString # mconcat :: [LineString] -> LineString #

newtype Polygon Source #

In a polygon, the fist LinearRing is the shell, and any following are holes.

Constructors

Polygon (Vector LinearRing)

Instances

Eq Polygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: Polygon -> Polygon -> Bool # (/=) :: Polygon -> Polygon -> Bool #
Data Polygon Source #
Instance details Defined in Data.Geometry.Geos.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 #
Ord Polygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods compare :: Polygon -> Polygon -> Ordering # (<) :: Polygon -> Polygon -> Bool # (<=) :: Polygon -> Polygon -> Bool # (>) :: Polygon -> Polygon -> Bool # (>=) :: Polygon -> Polygon -> Bool # max :: Polygon -> Polygon -> Polygon # min :: Polygon -> Polygon -> Polygon #
Read Polygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods readsPrec :: Int -> ReadS Polygon # readList :: ReadS [Polygon] # readPrec :: ReadPrec Polygon # readListPrec :: ReadPrec [Polygon] #
Show Polygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> Polygon -> ShowS # show :: Polygon -> String # showList :: [Polygon] -> ShowS #

newtype MultiPoint Source #

Constructors

MultiPoint (Vector Point)

Instances

Eq MultiPoint Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: MultiPoint -> MultiPoint -> Bool # (/=) :: MultiPoint -> MultiPoint -> Bool #
Data MultiPoint Source #
Instance details Defined in Data.Geometry.Geos.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 #
Ord MultiPoint Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods compare :: MultiPoint -> MultiPoint -> Ordering # (<) :: MultiPoint -> MultiPoint -> Bool # (<=) :: MultiPoint -> MultiPoint -> Bool # (>) :: MultiPoint -> MultiPoint -> Bool # (>=) :: MultiPoint -> MultiPoint -> Bool # max :: MultiPoint -> MultiPoint -> MultiPoint # min :: MultiPoint -> MultiPoint -> MultiPoint #
Read MultiPoint Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods readsPrec :: Int -> ReadS MultiPoint # readList :: ReadS [MultiPoint] # readPrec :: ReadPrec MultiPoint # readListPrec :: ReadPrec [MultiPoint] #
Show MultiPoint Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> MultiPoint -> ShowS # show :: MultiPoint -> String # showList :: [MultiPoint] -> ShowS #
Semigroup MultiPoint Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (<>) :: MultiPoint -> MultiPoint -> MultiPoint # sconcat :: NonEmpty MultiPoint -> MultiPoint # stimes :: Integral b => b -> MultiPoint -> MultiPoint #
Monoid MultiPoint Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods mempty :: MultiPoint # mappend :: MultiPoint -> MultiPoint -> MultiPoint # mconcat :: [MultiPoint] -> MultiPoint #

newtype MultiLineString Source #

Constructors

MultiLineString (Vector LineString)

Instances

Eq MultiLineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: MultiLineString -> MultiLineString -> Bool # (/=) :: MultiLineString -> MultiLineString -> Bool #
Data MultiLineString Source #
Instance details Defined in Data.Geometry.Geos.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 #
Ord MultiLineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods compare :: MultiLineString -> MultiLineString -> Ordering # (<) :: MultiLineString -> MultiLineString -> Bool # (<=) :: MultiLineString -> MultiLineString -> Bool # (>) :: MultiLineString -> MultiLineString -> Bool # (>=) :: MultiLineString -> MultiLineString -> Bool # max :: MultiLineString -> MultiLineString -> MultiLineString # min :: MultiLineString -> MultiLineString -> MultiLineString #
Read MultiLineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods readsPrec :: Int -> ReadS MultiLineString # readList :: ReadS [MultiLineString] # readPrec :: ReadPrec MultiLineString # readListPrec :: ReadPrec [MultiLineString] #
Show MultiLineString Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> MultiLineString -> ShowS # show :: MultiLineString -> String # showList :: [MultiLineString] -> ShowS #

newtype MultiPolygon Source #

Constructors

MultiPolygon (Vector Polygon)

Instances

Eq MultiPolygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods (==) :: MultiPolygon -> MultiPolygon -> Bool # (/=) :: MultiPolygon -> MultiPolygon -> Bool #
Data MultiPolygon Source #
Instance details Defined in Data.Geometry.Geos.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 #
Ord MultiPolygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods compare :: MultiPolygon -> MultiPolygon -> Ordering # (<) :: MultiPolygon -> MultiPolygon -> Bool # (<=) :: MultiPolygon -> MultiPolygon -> Bool # (>) :: MultiPolygon -> MultiPolygon -> Bool # (>=) :: MultiPolygon -> MultiPolygon -> Bool # max :: MultiPolygon -> MultiPolygon -> MultiPolygon # min :: MultiPolygon -> MultiPolygon -> MultiPolygon #
Read MultiPolygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods readsPrec :: Int -> ReadS MultiPolygon # readList :: ReadS [MultiPolygon] # readPrec :: ReadPrec MultiPolygon # readListPrec :: ReadPrec [MultiPolygon] #
Show MultiPolygon Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> MultiPolygon -> ShowS # show :: MultiPolygon -> String # showList :: [MultiPolygon] -> ShowS #

data Some :: (* -> *) -> * where Source #

Constructors

Some :: f a -> Some f

Instances

Show (Some Geometry) Source #
Instance details Defined in Data.Geometry.Geos.Geometry Methods showsPrec :: Int -> Some Geometry -> ShowS # show :: Some Geometry -> String # showList :: [Some Geometry] -> ShowS #

type SRID = Maybe Int Source #

binaryPredicate :: (GeomConst -> GeomConst -> Geos Bool) -> Geometry a -> Geometry b -> Bool Source #

convertGeometryFromRaw :: (Geometry a, CoordSeqInput a ~ cb, CoordinateSequence cb) => a -> Geos (Some Geometry) Source #

convertGeometryToRaw :: (Geometry a, CoordSeqInput a ~ cb, CoordinateSequence cb) => Geometry b -> Geos a Source #

convertMultiPolygonFromRaw :: (Geometry a, CoordSeqInput a ~ ca, CoordinateSequence ca) => a -> Geos MultiPolygon Source #

ensurePoint :: Some Geometry -> Geometry Point Source #

ensureLineString :: Some Geometry -> Geometry LineString Source #

ensureLinearRing :: Some Geometry -> Geometry LinearRing Source #

ensurePolygon :: Some Geometry -> Geometry Polygon Source #

ensureMultiPoint :: Some Geometry -> Geometry MultiPoint Source #

ensureMultiPolygon :: Some Geometry -> Geometry MultiPolygon Source #

ensureMultiLineString :: Some Geometry -> Geometry MultiLineString Source #

interpolate :: Geometry LineString -> Double -> Geometry Point Source #

Given a distance, returns the point (or closest point) within the geometry LineString that distance.

interpolateNormalized :: Geometry LineString -> Double -> Geometry Point Source #

Like interpolate, but takes the distance as a double between 0 and 1.

project :: Geometry LineString -> Geometry Point -> Double Source #

Returns the distance from the origin of LineString to the point projected on the geometry (that is to a point of the line the closest to the given point).

projectNormalized :: Geometry LineString -> Geometry Point -> Double Source #

Like project, but returns the distance as a Double between 0 and 1.

equalsExact :: Geometry a -> Geometry a -> Double -> Bool Source #

Returns True if the two geometries are exactly equal, up to a specified tolerance. The tolerance value should be a floating point number representing the error tolerance in the comparison, e.g., equalsExact g1 g2 0.001 will compare equality to within one thousandth of a unit.

equals :: Geometry a -> Geometry a -> Bool Source #

area :: Geometry a -> Double Source #

geometryLength :: Geometry a -> Double Source #

Returns the length of this geometry (e.g., 0 for a Point, the length of a LineString, or the circumference of a Polygon).

distance :: Geometry a -> Geometry a -> Double Source #

NOTE: distance calculations are linear – in other words, distance does not perform a spherical calculation even if the SRID specifies a geographic coordinate system.

hausdorffDistance :: Geometry a -> Geometry a -> Double Source #

nearestPoints :: Geometry a -> Geometry a -> (Coordinate, Coordinate) Source #

Returns the closest points of the two geometries. The first point comes from g1 geometry and the second point comes from g2.

withSomeGeometry :: Some Geometry -> (forall a. Geometry a -> b) -> b Source #