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

CollectionGeometry :: GeometryCollection -> SRID -> Geometry GeometryCollection

Instances

Eq (Geometry a)

Methods

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

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

Eq (Some Geometry)

Methods

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

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

Show (Geometry a)

Methods

showsPrec :: Int -> Geometry a -> ShowS

show :: Geometry a -> String

showList :: [Geometry a] -> ShowS

Show (Some Geometry)

Methods

showsPrec :: Int -> Some Geometry -> ShowS

show :: Some Geometry -> String

showList :: [Some Geometry] -> ShowS

Relatable (Geometry a)

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

data GeometryConstructionError

data Point

Instances

Eq Point

Methods

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

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

Data Point

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

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

Methods

readsPrec :: Int -> ReadS Point

readList :: ReadS [Point]

readPrec :: ReadPrec Point

readListPrec :: ReadPrec [Point]

Show Point

Methods

showsPrec :: Int -> Point -> ShowS

show :: Point -> String

showList :: [Point] -> ShowS

Generic Point

Associated Types

type Rep Point :: * -> *

Methods

from :: Point -> Rep Point x

to :: Rep Point x -> Point

type Rep Point

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

point :: Coordinate -> Point

data LinearRing

Instances

Eq LinearRing

Methods

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

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

Data LinearRing

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

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

Methods

readsPrec :: Int -> ReadS LinearRing

readList :: ReadS [LinearRing]

readPrec :: ReadPrec LinearRing

readListPrec :: ReadPrec [LinearRing]

Show LinearRing

Methods

showsPrec :: Int -> LinearRing -> ShowS

show :: LinearRing -> String

showList :: [LinearRing] -> ShowS

Generic LinearRing

Associated Types

type Rep LinearRing :: * -> *

Methods

from :: LinearRing -> Rep LinearRing x

to :: Rep LinearRing x -> LinearRing

Semigroup LinearRing

Methods

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

sconcat :: NonEmpty LinearRing -> LinearRing

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

Monoid LinearRing

Methods

mempty :: LinearRing

mappend :: LinearRing -> LinearRing -> LinearRing

mconcat :: [LinearRing] -> LinearRing

type Rep LinearRing

type Rep LinearRing

linearRing :: CoordinateSequence -> Either GeometryConstructionError LinearRing

data LineString

Instances

Eq LineString

Methods

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

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

Data LineString

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

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

Methods

readsPrec :: Int -> ReadS LineString

readList :: ReadS [LineString]

readPrec :: ReadPrec LineString

readListPrec :: ReadPrec [LineString]

Show LineString

Methods

showsPrec :: Int -> LineString -> ShowS

show :: LineString -> String

showList :: [LineString] -> ShowS

Generic LineString

Associated Types

type Rep LineString :: * -> *

Methods

from :: LineString -> Rep LineString x

to :: Rep LineString x -> LineString

Semigroup LineString

Methods

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

sconcat :: NonEmpty LineString -> LineString

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

Monoid LineString

Methods

mempty :: LineString

mappend :: LineString -> LineString -> LineString

mconcat :: [LineString] -> LineString

type Rep LineString

type Rep LineString

lineString :: CoordinateSequence -> Either GeometryConstructionError LineString

data Polygon

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

Instances

Eq Polygon

Methods

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

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

Data Polygon

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

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

Methods

readsPrec :: Int -> ReadS Polygon

readList :: ReadS [Polygon]

readPrec :: ReadPrec Polygon

readListPrec :: ReadPrec [Polygon]

Show Polygon

Methods

showsPrec :: Int -> Polygon -> ShowS

show :: Polygon -> String

showList :: [Polygon] -> ShowS

Generic Polygon

Associated Types

type Rep Polygon :: * -> *

Methods

from :: Polygon -> Rep Polygon x

to :: Rep Polygon x -> Polygon

type Rep Polygon

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

polygon :: Vector LinearRing -> Either GeometryConstructionError Polygon

data MultiPoint

Instances

Eq MultiPoint

Methods

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

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

Data MultiPoint

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

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

Methods

readsPrec :: Int -> ReadS MultiPoint

readList :: ReadS [MultiPoint]

readPrec :: ReadPrec MultiPoint

readListPrec :: ReadPrec [MultiPoint]

Show MultiPoint

Methods

showsPrec :: Int -> MultiPoint -> ShowS

show :: MultiPoint -> String

showList :: [MultiPoint] -> ShowS

Generic MultiPoint

Associated Types

type Rep MultiPoint :: * -> *

Methods

from :: MultiPoint -> Rep MultiPoint x

to :: Rep MultiPoint x -> MultiPoint

Semigroup MultiPoint

Methods

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

sconcat :: NonEmpty MultiPoint -> MultiPoint

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

Monoid MultiPoint

Methods

mempty :: MultiPoint

mappend :: MultiPoint -> MultiPoint -> MultiPoint

mconcat :: [MultiPoint] -> MultiPoint

type Rep MultiPoint

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

multiPoint :: Vector Point -> MultiPoint

data MultiLineString

Instances

Eq MultiLineString

Methods

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

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

Data MultiLineString

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

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

Methods

readsPrec :: Int -> ReadS MultiLineString

readList :: ReadS [MultiLineString]

readPrec :: ReadPrec MultiLineString

readListPrec :: ReadPrec [MultiLineString]

Show MultiLineString

Methods

showsPrec :: Int -> MultiLineString -> ShowS

show :: MultiLineString -> String

showList :: [MultiLineString] -> ShowS

Generic MultiLineString

Associated Types

type Rep MultiLineString :: * -> *

Methods

from :: MultiLineString -> Rep MultiLineString x

to :: Rep MultiLineString x -> MultiLineString

type Rep MultiLineString

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

multiLineString :: Vector LineString -> MultiLineString

data MultiPolygon

Instances

Eq MultiPolygon

Methods

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

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

Data MultiPolygon

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

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

Methods

readsPrec :: Int -> ReadS MultiPolygon

readList :: ReadS [MultiPolygon]

readPrec :: ReadPrec MultiPolygon

readListPrec :: ReadPrec [MultiPolygon]

Show MultiPolygon

Methods

showsPrec :: Int -> MultiPolygon -> ShowS

show :: MultiPolygon -> String

showList :: [MultiPolygon] -> ShowS

Generic MultiPolygon

Associated Types

type Rep MultiPolygon :: * -> *

Methods

from :: MultiPolygon -> Rep MultiPolygon x

to :: Rep MultiPolygon x -> MultiPolygon

type Rep MultiPolygon

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

multiPolygon :: Vector Polygon -> MultiPolygon

data GeometryCollection

Instances

Eq GeometryCollection

Methods

(==) :: GeometryCollection -> GeometryCollection -> Bool

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

Show GeometryCollection

Methods

showsPrec :: Int -> GeometryCollection -> ShowS

show :: GeometryCollection -> String

showList :: [GeometryCollection] -> ShowS

Generic GeometryCollection

Associated Types

type Rep GeometryCollection :: * -> *

Methods

from :: GeometryCollection -> Rep GeometryCollection x

to :: Rep GeometryCollection x -> GeometryCollection

type Rep GeometryCollection

type Rep GeometryCollection = D1 (MetaData "GeometryCollection" "Data.Geometry.Geos.Geometry" "geos-0.4.1-inplace" True) (C1 (MetaCons "GeometryCollection" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector (Some Geometry)))))

geometryCollection :: Vector (Some Geometry) -> GeometryCollection

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

Constructors

Some :: f a -> Some f

Instances

Eq (Some Geometry)

Methods

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

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

Show (Some Geometry)

Methods

showsPrec :: Int -> Some Geometry -> ShowS

show :: Some Geometry -> String

showList :: [Some Geometry] -> ShowS

data Coordinate

Coordinate is the lightweight class used to store coordinates. Coordinate objects are two-dimensional points, with an additional z-ordinate. |

Instances

Eq Coordinate

Methods

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

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

Data Coordinate

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

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

Methods

readsPrec :: Int -> ReadS Coordinate

readList :: ReadS [Coordinate]

readPrec :: ReadPrec Coordinate

readListPrec :: ReadPrec [Coordinate]

Show Coordinate

Methods

showsPrec :: Int -> Coordinate -> ShowS

show :: Coordinate -> String

showList :: [Coordinate] -> ShowS

Generic Coordinate

Associated Types

type Rep Coordinate :: * -> *

Methods

from :: Coordinate -> Rep Coordinate x

to :: Rep Coordinate x -> Coordinate

type Rep Coordinate

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

coordinate2 :: Double -> Double -> Coordinate

coordinate3 :: Double -> Double -> Double -> Coordinate

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 -> Maybe (Geometry Point)

ensureLineString :: Some Geometry -> Maybe (Geometry LineString)

ensureLinearRing :: Some Geometry -> Maybe (Geometry LinearRing)

ensurePolygon :: Some Geometry -> Maybe (Geometry Polygon)

ensureMultiPoint :: Some Geometry -> Maybe (Geometry MultiPoint)

ensureMultiPolygon :: Some Geometry -> Maybe (Geometry MultiPolygon)

ensureMultiLineString :: Some Geometry -> Maybe (Geometry MultiLineString)

ensureGeometryCollection :: Some Geometry -> Maybe (Geometry GeometryCollection)

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

mapSomeGeometry :: (forall a. Geometry a -> b) -> Some Geometry -> b

the same as withSomeGeometry with its arguments reversed.