Data.Geospatial.Internal.Geometry

See section 2.1 "Geometry Objects" in the GeoJSON Spec.

Types

newtype GeoPoint

Constructors

GeoPoint

Fields

• _unGeoPoint :: GeoPositionWithoutCRS

Instances

Eq GeoPoint

Methods

(==) :: GeoPoint -> GeoPoint -> Bool

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

Show GeoPoint

Methods

showsPrec :: Int -> GeoPoint -> ShowS

show :: GeoPoint -> String

showList :: [GeoPoint] -> ShowS

Generic GeoPoint

Associated Types

type Rep GeoPoint :: * -> *

Methods

from :: GeoPoint -> Rep GeoPoint x

to :: Rep GeoPoint x -> GeoPoint

ToJSON GeoPoint

Methods

toJSON :: GeoPoint -> Value

toEncoding :: GeoPoint -> Encoding

toJSONList :: [GeoPoint] -> Value

toEncodingList :: [GeoPoint] -> Encoding

FromJSON GeoPoint

Methods

parseJSON :: Value -> Parser GeoPoint

parseJSONList :: Value -> Parser [GeoPoint]

NFData GeoPoint

Methods

rnf :: GeoPoint -> ()

type Rep GeoPoint

type Rep GeoPoint = D1 * (MetaData "GeoPoint" "Data.Geospatial.Internal.Geometry.GeoPoint" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "GeoPoint" PrefixI True) (S1 * (MetaSel (Just Symbol "_unGeoPoint") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeoPositionWithoutCRS)))

retrieveXY :: GeoPositionWithoutCRS -> PointXY

newtype GeoMultiPoint

Constructors

GeoMultiPoint

Fields

• _unGeoMultiPoint :: Vector GeoPositionWithoutCRS

Instances

Eq GeoMultiPoint

Methods

(==) :: GeoMultiPoint -> GeoMultiPoint -> Bool

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

Show GeoMultiPoint

Methods

showsPrec :: Int -> GeoMultiPoint -> ShowS

show :: GeoMultiPoint -> String

showList :: [GeoMultiPoint] -> ShowS

Generic GeoMultiPoint

Associated Types

type Rep GeoMultiPoint :: * -> *

Methods

from :: GeoMultiPoint -> Rep GeoMultiPoint x

to :: Rep GeoMultiPoint x -> GeoMultiPoint

ToJSON GeoMultiPoint

Methods

toJSON :: GeoMultiPoint -> Value

toEncoding :: GeoMultiPoint -> Encoding

toJSONList :: [GeoMultiPoint] -> Value

toEncodingList :: [GeoMultiPoint] -> Encoding

FromJSON GeoMultiPoint

Methods

parseJSON :: Value -> Parser GeoMultiPoint

parseJSONList :: Value -> Parser [GeoMultiPoint]

NFData GeoMultiPoint

Methods

rnf :: GeoMultiPoint -> ()

type Rep GeoMultiPoint

type Rep GeoMultiPoint = D1 * (MetaData "GeoMultiPoint" "Data.Geospatial.Internal.Geometry.GeoMultiPoint" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "GeoMultiPoint" PrefixI True) (S1 * (MetaSel (Just Symbol "_unGeoMultiPoint") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector GeoPositionWithoutCRS))))

splitGeoMultiPoint :: GeoMultiPoint -> Vector GeoPoint

Split GeoMultiPoint coordinates into multiple GeoPoints

mergeGeoPoints :: Vector GeoPoint -> GeoMultiPoint

Merge multiple GeoPoints into one GeoMultiPoint

newtype GeoPolygon

Constructors

GeoPolygon

Fields

• _unGeoPolygon :: Vector (LinearRing GeoPositionWithoutCRS)

Instances

Eq GeoPolygon

Methods

(==) :: GeoPolygon -> GeoPolygon -> Bool

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

Show GeoPolygon

Methods

showsPrec :: Int -> GeoPolygon -> ShowS

show :: GeoPolygon -> String

showList :: [GeoPolygon] -> ShowS

Generic GeoPolygon

Associated Types

type Rep GeoPolygon :: * -> *

Methods

from :: GeoPolygon -> Rep GeoPolygon x

to :: Rep GeoPolygon x -> GeoPolygon

ToJSON GeoPolygon

Methods

toJSON :: GeoPolygon -> Value

toEncoding :: GeoPolygon -> Encoding

toJSONList :: [GeoPolygon] -> Value

toEncodingList :: [GeoPolygon] -> Encoding

FromJSON GeoPolygon

Methods

parseJSON :: Value -> Parser GeoPolygon

parseJSONList :: Value -> Parser [GeoPolygon]

NFData GeoPolygon

Methods

rnf :: GeoPolygon -> ()

type Rep GeoPolygon

type Rep GeoPolygon = D1 * (MetaData "GeoPolygon" "Data.Geospatial.Internal.Geometry.GeoPolygon" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "GeoPolygon" PrefixI True) (S1 * (MetaSel (Just Symbol "_unGeoPolygon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector (LinearRing GeoPositionWithoutCRS)))))

newtype GeoMultiPolygon

Constructors

GeoMultiPolygon

Fields

• _unGeoMultiPolygon :: Vector (Vector (LinearRing GeoPositionWithoutCRS))

Instances

Eq GeoMultiPolygon

Methods

(==) :: GeoMultiPolygon -> GeoMultiPolygon -> Bool

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

Show GeoMultiPolygon

Methods

showsPrec :: Int -> GeoMultiPolygon -> ShowS

show :: GeoMultiPolygon -> String

showList :: [GeoMultiPolygon] -> ShowS

Generic GeoMultiPolygon

Associated Types

type Rep GeoMultiPolygon :: * -> *

Methods

from :: GeoMultiPolygon -> Rep GeoMultiPolygon x

to :: Rep GeoMultiPolygon x -> GeoMultiPolygon

ToJSON GeoMultiPolygon

Methods

toJSON :: GeoMultiPolygon -> Value

toEncoding :: GeoMultiPolygon -> Encoding

toJSONList :: [GeoMultiPolygon] -> Value

toEncodingList :: [GeoMultiPolygon] -> Encoding

FromJSON GeoMultiPolygon

Methods

parseJSON :: Value -> Parser GeoMultiPolygon

parseJSONList :: Value -> Parser [GeoMultiPolygon]

NFData GeoMultiPolygon

Methods

rnf :: GeoMultiPolygon -> ()

type Rep GeoMultiPolygon

type Rep GeoMultiPolygon = D1 * (MetaData "GeoMultiPolygon" "Data.Geospatial.Internal.Geometry.GeoMultiPolygon" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "GeoMultiPolygon" PrefixI True) (S1 * (MetaSel (Just Symbol "_unGeoMultiPolygon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector (Vector (LinearRing GeoPositionWithoutCRS))))))

splitGeoMultiPolygon :: GeoMultiPolygon -> Vector GeoPolygon

Split GeoMultiPolygon coordinates into multiple GeoPolygons

mergeGeoPolygons :: Vector GeoPolygon -> GeoMultiPolygon

Merge multiple GeoPolygons into one GeoMultiPolygon

newtype GeoLine

Constructors

GeoLine

Fields

• _unGeoLine :: LineString GeoPositionWithoutCRS

Instances

Eq GeoLine

Methods

(==) :: GeoLine -> GeoLine -> Bool

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

Show GeoLine

Methods

showsPrec :: Int -> GeoLine -> ShowS

show :: GeoLine -> String

showList :: [GeoLine] -> ShowS

Generic GeoLine

Associated Types

type Rep GeoLine :: * -> *

Methods

from :: GeoLine -> Rep GeoLine x

to :: Rep GeoLine x -> GeoLine

ToJSON GeoLine

Methods

toJSON :: GeoLine -> Value

toEncoding :: GeoLine -> Encoding

toJSONList :: [GeoLine] -> Value

toEncodingList :: [GeoLine] -> Encoding

FromJSON GeoLine

Methods

parseJSON :: Value -> Parser GeoLine

parseJSONList :: Value -> Parser [GeoLine]

NFData GeoLine

Methods

rnf :: GeoLine -> ()

type Rep GeoLine

type Rep GeoLine = D1 * (MetaData "GeoLine" "Data.Geospatial.Internal.Geometry.GeoLine" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "GeoLine" PrefixI True) (S1 * (MetaSel (Just Symbol "_unGeoLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (LineString GeoPositionWithoutCRS))))

newtype GeoMultiLine

Constructors

GeoMultiLine

Fields

• _unGeoMultiLine :: Vector (LineString GeoPositionWithoutCRS)

Instances

Eq GeoMultiLine

Methods

(==) :: GeoMultiLine -> GeoMultiLine -> Bool

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

Show GeoMultiLine

Methods

showsPrec :: Int -> GeoMultiLine -> ShowS

show :: GeoMultiLine -> String

showList :: [GeoMultiLine] -> ShowS

Generic GeoMultiLine

Associated Types

type Rep GeoMultiLine :: * -> *

Methods

from :: GeoMultiLine -> Rep GeoMultiLine x

to :: Rep GeoMultiLine x -> GeoMultiLine

ToJSON GeoMultiLine

Methods

toJSON :: GeoMultiLine -> Value

toEncoding :: GeoMultiLine -> Encoding

toJSONList :: [GeoMultiLine] -> Value

toEncodingList :: [GeoMultiLine] -> Encoding

FromJSON GeoMultiLine

Methods

parseJSON :: Value -> Parser GeoMultiLine

parseJSONList :: Value -> Parser [GeoMultiLine]

NFData GeoMultiLine

Methods

rnf :: GeoMultiLine -> ()

type Rep GeoMultiLine

type Rep GeoMultiLine = D1 * (MetaData "GeoMultiLine" "Data.Geospatial.Internal.Geometry.GeoMultiLine" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "GeoMultiLine" PrefixI True) (S1 * (MetaSel (Just Symbol "_unGeoMultiLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector (LineString GeoPositionWithoutCRS)))))

splitGeoMultiLine :: GeoMultiLine -> Vector GeoLine

Split GeoMultiLine coordinates into multiple GeoLines

mergeGeoLines :: Vector GeoLine -> GeoMultiLine

Merge multiple GeoLines into one GeoMultiLine

data GeospatialGeometry

See section 2.1 Geometry Objects in the GeoJSON Spec.

Constructors

NoGeometry

Point GeoPoint

MultiPoint GeoMultiPoint

Polygon GeoPolygon

MultiPolygon GeoMultiPolygon

Line GeoLine

MultiLine GeoMultiLine

Collection (Vector GeospatialGeometry)

Instances

Eq GeospatialGeometry

Methods

(==) :: GeospatialGeometry -> GeospatialGeometry -> Bool

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

Show GeospatialGeometry

Methods

showsPrec :: Int -> GeospatialGeometry -> ShowS

show :: GeospatialGeometry -> String

showList :: [GeospatialGeometry] -> ShowS

Generic GeospatialGeometry

Associated Types

type Rep GeospatialGeometry :: * -> *

Methods

from :: GeospatialGeometry -> Rep GeospatialGeometry x

to :: Rep GeospatialGeometry x -> GeospatialGeometry

ToJSON GeospatialGeometry

encodes Geometry Objects to GeoJSON

Methods

toJSON :: GeospatialGeometry -> Value

toEncoding :: GeospatialGeometry -> Encoding

toJSONList :: [GeospatialGeometry] -> Value

toEncodingList :: [GeospatialGeometry] -> Encoding

FromJSON GeospatialGeometry

decodes Geometry Objects from GeoJSON

Aeson doesnt decode "null" into Null unfortunately

Methods

parseJSON :: Value -> Parser GeospatialGeometry

parseJSONList :: Value -> Parser [GeospatialGeometry]

NFData GeospatialGeometry

Methods

rnf :: GeospatialGeometry -> ()

type Rep GeospatialGeometry

type Rep GeospatialGeometry = D1 * (MetaData "GeospatialGeometry" "Data.Geospatial.Internal.Geometry" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "NoGeometry" PrefixI False) (U1 *)) (C1 * (MetaCons "Point" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeoPoint)))) ((:+:) * (C1 * (MetaCons "MultiPoint" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeoMultiPoint))) (C1 * (MetaCons "Polygon" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeoPolygon))))) ((:+:) * ((:+:) * (C1 * (MetaCons "MultiPolygon" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeoMultiPolygon))) (C1 * (MetaCons "Line" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeoLine)))) ((:+:) * (C1 * (MetaCons "MultiLine" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeoMultiLine))) (C1 * (MetaCons "Collection" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector GeospatialGeometry)))))))

Lenses

unGeoPoint :: Iso' GeoPoint GeoPositionWithoutCRS

unGeoMultiPoint :: Iso' GeoMultiPoint (Vector GeoPositionWithoutCRS)

unGeoPolygon :: Iso' GeoPolygon (Vector (LinearRing GeoPositionWithoutCRS))

unGeoMultiPolygon :: Iso' GeoMultiPolygon (Vector (Vector (LinearRing GeoPositionWithoutCRS)))

unGeoLine :: Iso' GeoLine (LineString GeoPositionWithoutCRS)

unGeoMultiLine :: Iso' GeoMultiLine (Vector (LineString GeoPositionWithoutCRS))

Prisms

_NoGeometry :: Prism' GeospatialGeometry ()

_Point :: Prism' GeospatialGeometry GeoPoint

_MultiPoint :: Prism' GeospatialGeometry GeoMultiPoint

_Polygon :: Prism' GeospatialGeometry GeoPolygon

_MultiPolygon :: Prism' GeospatialGeometry GeoMultiPolygon

_Line :: Prism' GeospatialGeometry GeoLine

_MultiLine :: Prism' GeospatialGeometry GeoMultiLine

_Collection :: Prism' GeospatialGeometry (Vector GeospatialGeometry)