Data.Geometry.Geos.Geometry

Documentation

data Geometry a where

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)

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: Geometry a -> Geometry a -> Bool

(/=) :: Geometry a -> Geometry a -> Bool

Show (Geometry a)

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> Geometry a -> ShowS

show :: Geometry a -> String

showList :: [Geometry a] -> ShowS

Show (Some Geometry)

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> Some Geometry -> ShowS

show :: Some Geometry -> String

showList :: [Some Geometry] -> ShowS

Relatable (Geometry a)

Defined in Data.Geometry.Geos.Relatable

Methods

contains :: Geometry a -> Geometry b -> Bool

coveredBy :: Geometry a -> Geometry b -> Bool

covers :: Geometry a -> Geometry b -> Bool

crosses :: Geometry a -> Geometry b -> Bool

disjoint :: Geometry a -> Geometry b -> Bool

intersects :: Geometry a -> Geometry b -> Bool

overlaps :: Geometry a -> Geometry b -> Bool

touches :: Geometry a -> Geometry b -> Bool

within :: Geometry a -> Geometry b -> Bool

newtype Point

Constructors

Point Coordinate

Instances

Eq Point

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: Point -> Point -> Bool

(/=) :: Point -> Point -> Bool

Data Point

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

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

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS Point

readList :: ReadS [Point]

readPrec :: ReadPrec Point

readListPrec :: ReadPrec [Point]

Show Point

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> Point -> ShowS

show :: Point -> String

showList :: [Point] -> ShowS

Generic Point

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep Point :: Type -> Type

Methods

from :: Point -> Rep Point x

to :: Rep Point x -> Point

type Rep Point

Defined in Data.Geometry.Geos.Geometry

type Rep Point = D1 (MetaData "Point" "Data.Geometry.Geos.Geometry" "geos-0.2.2-inplace" True) (C1 (MetaCons "Point" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Coordinate)))

newtype LinearRing

Constructors

LinearRing CoordinateSequence

Instances

Eq LinearRing

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: LinearRing -> LinearRing -> Bool

(/=) :: LinearRing -> LinearRing -> Bool

Data LinearRing

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

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

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS LinearRing

readList :: ReadS [LinearRing]

readPrec :: ReadPrec LinearRing

readListPrec :: ReadPrec [LinearRing]

Show LinearRing

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> LinearRing -> ShowS

show :: LinearRing -> String

showList :: [LinearRing] -> ShowS

Generic LinearRing

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep LinearRing :: Type -> Type

Methods

from :: LinearRing -> Rep LinearRing x

to :: Rep LinearRing x -> LinearRing

Semigroup LinearRing

Defined in Data.Geometry.Geos.Geometry

Methods

(<>) :: LinearRing -> LinearRing -> LinearRing

sconcat :: NonEmpty LinearRing -> LinearRing

stimes :: Integral b => b -> LinearRing -> LinearRing

Monoid LinearRing

Defined in Data.Geometry.Geos.Geometry

Methods

mempty :: LinearRing

mappend :: LinearRing -> LinearRing -> LinearRing

mconcat :: [LinearRing] -> LinearRing

type Rep LinearRing

Defined in Data.Geometry.Geos.Geometry

type Rep LinearRing

newtype LineString

Constructors

LineString CoordinateSequence

Instances

Eq LineString

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: LineString -> LineString -> Bool

(/=) :: LineString -> LineString -> Bool

Data LineString

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

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

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS LineString

readList :: ReadS [LineString]

readPrec :: ReadPrec LineString

readListPrec :: ReadPrec [LineString]

Show LineString

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> LineString -> ShowS

show :: LineString -> String

showList :: [LineString] -> ShowS

Generic LineString

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep LineString :: Type -> Type

Methods

from :: LineString -> Rep LineString x

to :: Rep LineString x -> LineString

Semigroup LineString

Defined in Data.Geometry.Geos.Geometry

Methods

(<>) :: LineString -> LineString -> LineString

sconcat :: NonEmpty LineString -> LineString

stimes :: Integral b => b -> LineString -> LineString

Monoid LineString

Defined in Data.Geometry.Geos.Geometry

Methods

mempty :: LineString

mappend :: LineString -> LineString -> LineString

mconcat :: [LineString] -> LineString

type Rep LineString

Defined in Data.Geometry.Geos.Geometry

type Rep LineString

newtype Polygon

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

Constructors

Polygon (Vector LinearRing)

Instances

Eq Polygon

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: Polygon -> Polygon -> Bool

(/=) :: Polygon -> Polygon -> Bool

Data Polygon

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

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

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS Polygon

readList :: ReadS [Polygon]

readPrec :: ReadPrec Polygon

readListPrec :: ReadPrec [Polygon]

Show Polygon

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> Polygon -> ShowS

show :: Polygon -> String

showList :: [Polygon] -> ShowS

Generic Polygon

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep Polygon :: Type -> Type

Methods

from :: Polygon -> Rep Polygon x

to :: Rep Polygon x -> Polygon

type Rep Polygon

Defined in Data.Geometry.Geos.Geometry

type Rep Polygon = D1 (MetaData "Polygon" "Data.Geometry.Geos.Geometry" "geos-0.2.2-inplace" True) (C1 (MetaCons "Polygon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector LinearRing))))

newtype MultiPoint

Constructors

MultiPoint (Vector Point)

Instances

Eq MultiPoint

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: MultiPoint -> MultiPoint -> Bool

(/=) :: MultiPoint -> MultiPoint -> Bool

Data MultiPoint

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

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

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS MultiPoint

readList :: ReadS [MultiPoint]

readPrec :: ReadPrec MultiPoint

readListPrec :: ReadPrec [MultiPoint]

Show MultiPoint

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> MultiPoint -> ShowS

show :: MultiPoint -> String

showList :: [MultiPoint] -> ShowS

Generic MultiPoint

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep MultiPoint :: Type -> Type

Methods

from :: MultiPoint -> Rep MultiPoint x

to :: Rep MultiPoint x -> MultiPoint

Semigroup MultiPoint

Defined in Data.Geometry.Geos.Geometry

Methods

(<>) :: MultiPoint -> MultiPoint -> MultiPoint

sconcat :: NonEmpty MultiPoint -> MultiPoint

stimes :: Integral b => b -> MultiPoint -> MultiPoint

Monoid MultiPoint

Defined in Data.Geometry.Geos.Geometry

Methods

mempty :: MultiPoint

mappend :: MultiPoint -> MultiPoint -> MultiPoint

mconcat :: [MultiPoint] -> MultiPoint

type Rep MultiPoint

Defined in Data.Geometry.Geos.Geometry

type Rep MultiPoint = D1 (MetaData "MultiPoint" "Data.Geometry.Geos.Geometry" "geos-0.2.2-inplace" True) (C1 (MetaCons "MultiPoint" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector Point))))

newtype MultiLineString

Constructors

MultiLineString (Vector LineString)

Instances

Eq MultiLineString

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: MultiLineString -> MultiLineString -> Bool

(/=) :: MultiLineString -> MultiLineString -> Bool

Data MultiLineString

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

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

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS MultiLineString

readList :: ReadS [MultiLineString]

readPrec :: ReadPrec MultiLineString

readListPrec :: ReadPrec [MultiLineString]

Show MultiLineString

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> MultiLineString -> ShowS

show :: MultiLineString -> String

showList :: [MultiLineString] -> ShowS

Generic MultiLineString

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep MultiLineString :: Type -> Type

Methods

from :: MultiLineString -> Rep MultiLineString x

to :: Rep MultiLineString x -> MultiLineString

type Rep MultiLineString

Defined in Data.Geometry.Geos.Geometry

type Rep MultiLineString = D1 (MetaData "MultiLineString" "Data.Geometry.Geos.Geometry" "geos-0.2.2-inplace" True) (C1 (MetaCons "MultiLineString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector LineString))))

newtype MultiPolygon

Constructors

MultiPolygon (Vector Polygon)

Instances

Eq MultiPolygon

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: MultiPolygon -> MultiPolygon -> Bool

(/=) :: MultiPolygon -> MultiPolygon -> Bool

Data MultiPolygon

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

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

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS MultiPolygon

readList :: ReadS [MultiPolygon]

readPrec :: ReadPrec MultiPolygon

readListPrec :: ReadPrec [MultiPolygon]

Show MultiPolygon

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> MultiPolygon -> ShowS

show :: MultiPolygon -> String

showList :: [MultiPolygon] -> ShowS

Generic MultiPolygon

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep MultiPolygon :: Type -> Type

Methods

from :: MultiPolygon -> Rep MultiPolygon x

to :: Rep MultiPolygon x -> MultiPolygon

type Rep MultiPolygon

Defined in Data.Geometry.Geos.Geometry

type Rep MultiPolygon = D1 (MetaData "MultiPolygon" "Data.Geometry.Geos.Geometry" "geos-0.2.2-inplace" True) (C1 (MetaCons "MultiPolygon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector Polygon))))

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

Constructors

Some :: f a -> Some f

Instances

Show (Some Geometry)

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> Some Geometry -> ShowS

show :: Some Geometry -> String

showList :: [Some Geometry] -> ShowS

data Coordinate

Constructors

Coordinate2 !Double !Double

Coordinate3 !Double !Double !Double

Instances

Eq Coordinate

Defined in Data.Geometry.Geos.Geometry

Methods

(==) :: Coordinate -> Coordinate -> Bool

(/=) :: Coordinate -> Coordinate -> Bool

Data Coordinate

Defined in Data.Geometry.Geos.Geometry

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Coordinate -> c Coordinate

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Coordinate

toConstr :: Coordinate -> Constr

dataTypeOf :: Coordinate -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Coordinate)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Coordinate)

gmapT :: (forall b. Data b => b -> b) -> Coordinate -> Coordinate

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Coordinate -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Coordinate -> r

gmapQ :: (forall d. Data d => d -> u) -> Coordinate -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Coordinate -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Coordinate -> m Coordinate

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Coordinate -> m Coordinate

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Coordinate -> m Coordinate

Ord Coordinate

Defined in Data.Geometry.Geos.Geometry

Methods

compare :: Coordinate -> Coordinate -> Ordering

(<) :: Coordinate -> Coordinate -> Bool

(<=) :: Coordinate -> Coordinate -> Bool

(>) :: Coordinate -> Coordinate -> Bool

(>=) :: Coordinate -> Coordinate -> Bool

max :: Coordinate -> Coordinate -> Coordinate

min :: Coordinate -> Coordinate -> Coordinate

Read Coordinate

Defined in Data.Geometry.Geos.Geometry

Methods

readsPrec :: Int -> ReadS Coordinate

readList :: ReadS [Coordinate]

readPrec :: ReadPrec Coordinate

readListPrec :: ReadPrec [Coordinate]

Show Coordinate

Defined in Data.Geometry.Geos.Geometry

Methods

showsPrec :: Int -> Coordinate -> ShowS

show :: Coordinate -> String

showList :: [Coordinate] -> ShowS

Generic Coordinate

Defined in Data.Geometry.Geos.Geometry

Associated Types

type Rep Coordinate :: Type -> Type

Methods

from :: Coordinate -> Rep Coordinate x

to :: Rep Coordinate x -> Coordinate

type Rep Coordinate

Defined in Data.Geometry.Geos.Geometry

type Rep Coordinate = D1 (MetaData "Coordinate" "Data.Geometry.Geos.Geometry" "geos-0.2.2-inplace" False) (C1 (MetaCons "Coordinate2" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Double) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Double)) :+: C1 (MetaCons "Coordinate3" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Double) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Double) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Double))))

type SRID = Maybe Int

In all geometry types, SRID is used for compatability and is NOT used in calculations. For example, the distance between two PointGeometry with an SRID of `Just 4326` will return a distance between two points in Euclidean space in the units the PointGeometry is initialized with. It will not calculate the distance on a spheroid.

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

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

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

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

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

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

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

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

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

area :: Geometry a -> Double

geometryLength :: Geometry a -> Double

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

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

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

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