Copyright	(C) 2014-2018 HS-GeoJSON Project
License	BSD-style (see the file LICENSE.md)
Maintainer	Andrew Newman
Safe Haskell	None
Language	Haskell2010

Data.Geospatial.Internal.Geometry

Contents

Types
Lenses
Prisms

Description

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

Synopsis

newtype GeoPoint = GeoPoint {
- _unGeoPoint :: GeoPositionWithoutCRS
}
newtype GeoMultiPoint = GeoMultiPoint {
- _unGeoMultiPoint :: [GeoPositionWithoutCRS]
}
splitGeoMultiPoint :: GeoMultiPoint -> [GeoPoint]
mergeGeoPoints :: [GeoPoint] -> GeoMultiPoint
newtype GeoPolygon = GeoPolygon {
- _unGeoPolygon :: [LinearRing GeoPositionWithoutCRS]
}
newtype GeoMultiPolygon = GeoMultiPolygon {
- _unGeoMultiPolygon :: [[LinearRing GeoPositionWithoutCRS]]
}
splitGeoMultiPolygon :: GeoMultiPolygon -> [GeoPolygon]
mergeGeoPolygons :: [GeoPolygon] -> GeoMultiPolygon
newtype GeoLine = GeoLine {
- _unGeoLine :: LineString GeoPositionWithoutCRS
}
newtype GeoMultiLine = GeoMultiLine {
- _unGeoMultiLine :: [LineString GeoPositionWithoutCRS]
}
splitGeoMultiLine :: GeoMultiLine -> [GeoLine]
mergeGeoLines :: [GeoLine] -> GeoMultiLine
data GeospatialGeometry
- = NoGeometry
- | Point GeoPoint
- | MultiPoint GeoMultiPoint
- | Polygon GeoPolygon
- | MultiPolygon GeoMultiPolygon
- | Line GeoLine
- | MultiLine GeoMultiLine
- | Collection [GeospatialGeometry]
unGeoPoint :: Iso' GeoPoint GeoPositionWithoutCRS
unGeoMultiPoint :: Iso' GeoMultiPoint [GeoPositionWithoutCRS]
unGeoPolygon :: Iso' GeoPolygon [LinearRing GeoPositionWithoutCRS]
unGeoMultiPolygon :: Iso' GeoMultiPolygon [[LinearRing GeoPositionWithoutCRS]]
unGeoLine :: Iso' GeoLine (LineString GeoPositionWithoutCRS)
unGeoMultiLine :: Iso' GeoMultiLine [LineString GeoPositionWithoutCRS]
_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 [GeospatialGeometry]

Types

newtype GeoPoint Source #

Constructors

GeoPoint
Fields _unGeoPoint :: GeoPositionWithoutCRS

Instances

Eq GeoPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPoint Methods (==) :: GeoPoint -> GeoPoint -> Bool # (/=) :: GeoPoint -> GeoPoint -> Bool #
Show GeoPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPoint Methods showsPrec :: Int -> GeoPoint -> ShowS # show :: GeoPoint -> String # showList :: [GeoPoint] -> ShowS #
ToJSON GeoPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPoint Methods toJSON :: GeoPoint -> Value # toEncoding :: GeoPoint -> Encoding # toJSONList :: [GeoPoint] -> Value # toEncodingList :: [GeoPoint] -> Encoding #
FromJSON GeoPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPoint Methods parseJSON :: Value -> Parser GeoPoint # parseJSONList :: Value -> Parser [GeoPoint] #

newtype GeoMultiPoint Source #

Constructors

GeoMultiPoint
Fields _unGeoMultiPoint :: [GeoPositionWithoutCRS]

Instances

Eq GeoMultiPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint Methods (==) :: GeoMultiPoint -> GeoMultiPoint -> Bool # (/=) :: GeoMultiPoint -> GeoMultiPoint -> Bool #
Show GeoMultiPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint Methods showsPrec :: Int -> GeoMultiPoint -> ShowS # show :: GeoMultiPoint -> String # showList :: [GeoMultiPoint] -> ShowS #
ToJSON GeoMultiPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint Methods toJSON :: GeoMultiPoint -> Value # toEncoding :: GeoMultiPoint -> Encoding # toJSONList :: [GeoMultiPoint] -> Value # toEncodingList :: [GeoMultiPoint] -> Encoding #
FromJSON GeoMultiPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint Methods parseJSON :: Value -> Parser GeoMultiPoint # parseJSONList :: Value -> Parser [GeoMultiPoint] #

splitGeoMultiPoint :: GeoMultiPoint -> [GeoPoint] Source #

Split GeoMultiPoint coordinates into multiple GeoPoints

mergeGeoPoints :: [GeoPoint] -> GeoMultiPoint Source #

Merge multiple GeoPoints into one GeoMultiPoint

newtype GeoPolygon Source #

Constructors

GeoPolygon
Fields _unGeoPolygon :: [LinearRing GeoPositionWithoutCRS]

Instances

Eq GeoPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPolygon Methods (==) :: GeoPolygon -> GeoPolygon -> Bool # (/=) :: GeoPolygon -> GeoPolygon -> Bool #
Show GeoPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPolygon Methods showsPrec :: Int -> GeoPolygon -> ShowS # show :: GeoPolygon -> String # showList :: [GeoPolygon] -> ShowS #
ToJSON GeoPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPolygon Methods toJSON :: GeoPolygon -> Value # toEncoding :: GeoPolygon -> Encoding # toJSONList :: [GeoPolygon] -> Value # toEncodingList :: [GeoPolygon] -> Encoding #
FromJSON GeoPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPolygon Methods parseJSON :: Value -> Parser GeoPolygon # parseJSONList :: Value -> Parser [GeoPolygon] #

newtype GeoMultiPolygon Source #

Constructors

GeoMultiPolygon
Fields _unGeoMultiPolygon :: [[LinearRing GeoPositionWithoutCRS]]

Instances

Eq GeoMultiPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon Methods (==) :: GeoMultiPolygon -> GeoMultiPolygon -> Bool # (/=) :: GeoMultiPolygon -> GeoMultiPolygon -> Bool #
Show GeoMultiPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon Methods showsPrec :: Int -> GeoMultiPolygon -> ShowS # show :: GeoMultiPolygon -> String # showList :: [GeoMultiPolygon] -> ShowS #
ToJSON GeoMultiPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon Methods toJSON :: GeoMultiPolygon -> Value # toEncoding :: GeoMultiPolygon -> Encoding # toJSONList :: [GeoMultiPolygon] -> Value # toEncodingList :: [GeoMultiPolygon] -> Encoding #
FromJSON GeoMultiPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon Methods parseJSON :: Value -> Parser GeoMultiPolygon # parseJSONList :: Value -> Parser [GeoMultiPolygon] #

splitGeoMultiPolygon :: GeoMultiPolygon -> [GeoPolygon] Source #

Split GeoMultiPolygon coordinates into multiple GeoPolygons

mergeGeoPolygons :: [GeoPolygon] -> GeoMultiPolygon Source #

Merge multiple GeoPolygons into one GeoMultiPolygon

newtype GeoLine Source #

Constructors

GeoLine
Fields _unGeoLine :: LineString GeoPositionWithoutCRS

Instances

Eq GeoLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoLine Methods (==) :: GeoLine -> GeoLine -> Bool # (/=) :: GeoLine -> GeoLine -> Bool #
Show GeoLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoLine Methods showsPrec :: Int -> GeoLine -> ShowS # show :: GeoLine -> String # showList :: [GeoLine] -> ShowS #
ToJSON GeoLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoLine Methods toJSON :: GeoLine -> Value # toEncoding :: GeoLine -> Encoding # toJSONList :: [GeoLine] -> Value # toEncodingList :: [GeoLine] -> Encoding #
FromJSON GeoLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoLine Methods parseJSON :: Value -> Parser GeoLine # parseJSONList :: Value -> Parser [GeoLine] #

newtype GeoMultiLine Source #

Constructors

GeoMultiLine
Fields _unGeoMultiLine :: [LineString GeoPositionWithoutCRS]

Instances

Eq GeoMultiLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine Methods (==) :: GeoMultiLine -> GeoMultiLine -> Bool # (/=) :: GeoMultiLine -> GeoMultiLine -> Bool #
Show GeoMultiLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine Methods showsPrec :: Int -> GeoMultiLine -> ShowS # show :: GeoMultiLine -> String # showList :: [GeoMultiLine] -> ShowS #
ToJSON GeoMultiLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine Methods toJSON :: GeoMultiLine -> Value # toEncoding :: GeoMultiLine -> Encoding # toJSONList :: [GeoMultiLine] -> Value # toEncodingList :: [GeoMultiLine] -> Encoding #
FromJSON GeoMultiLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine Methods parseJSON :: Value -> Parser GeoMultiLine # parseJSONList :: Value -> Parser [GeoMultiLine] #

splitGeoMultiLine :: GeoMultiLine -> [GeoLine] Source #

Split GeoMultiLine coordinates into multiple GeoLines

mergeGeoLines :: [GeoLine] -> GeoMultiLine Source #

Merge multiple GeoLines into one GeoMultiLine

data GeospatialGeometry Source #

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 [GeospatialGeometry]

Instances

Eq GeospatialGeometry Source #
Instance details Defined in Data.Geospatial.Internal.Geometry Methods (==) :: GeospatialGeometry -> GeospatialGeometry -> Bool # (/=) :: GeospatialGeometry -> GeospatialGeometry -> Bool #
Show GeospatialGeometry Source #
Instance details Defined in Data.Geospatial.Internal.Geometry Methods showsPrec :: Int -> GeospatialGeometry -> ShowS # show :: GeospatialGeometry -> String # showList :: [GeospatialGeometry] -> ShowS #
ToJSON GeospatialGeometry Source #	encodes Geometry Objects to GeoJSON
Instance details Defined in Data.Geospatial.Internal.Geometry Methods toJSON :: GeospatialGeometry -> Value # toEncoding :: GeospatialGeometry -> Encoding # toJSONList :: [GeospatialGeometry] -> Value # toEncodingList :: [GeospatialGeometry] -> Encoding #
FromJSON GeospatialGeometry Source #	decodes Geometry Objects from GeoJSON Aeson doesnt decode "null" into `Null` unfortunately
Instance details Defined in Data.Geospatial.Internal.Geometry Methods parseJSON :: Value -> Parser GeospatialGeometry # parseJSONList :: Value -> Parser [GeospatialGeometry] #

Lenses

unGeoPoint :: Iso' GeoPoint GeoPositionWithoutCRS Source #

unGeoMultiPoint :: Iso' GeoMultiPoint [GeoPositionWithoutCRS] Source #

unGeoPolygon :: Iso' GeoPolygon [LinearRing GeoPositionWithoutCRS] Source #

unGeoMultiPolygon :: Iso' GeoMultiPolygon [[LinearRing GeoPositionWithoutCRS]] Source #

unGeoLine :: Iso' GeoLine (LineString GeoPositionWithoutCRS) Source #

unGeoMultiLine :: Iso' GeoMultiLine [LineString GeoPositionWithoutCRS] Source #

Prisms

_NoGeometry :: Prism' GeospatialGeometry () Source #

_Point :: Prism' GeospatialGeometry GeoPoint Source #

_MultiPoint :: Prism' GeospatialGeometry GeoMultiPoint Source #

_Polygon :: Prism' GeospatialGeometry GeoPolygon Source #

_MultiPolygon :: Prism' GeospatialGeometry GeoMultiPolygon Source #

_Line :: Prism' GeospatialGeometry GeoLine Source #

_MultiLine :: Prism' GeospatialGeometry GeoMultiLine Source #

_Collection :: Prism' GeospatialGeometry [GeospatialGeometry] Source #