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

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]

newtype GeoMultiPoint

Constructors

GeoMultiPoint

Fields

• _unGeoMultiPoint :: [GeoPositionWithoutCRS]

Instances

Eq GeoMultiPoint

Methods

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

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

Show GeoMultiPoint

Methods

showsPrec :: Int -> GeoMultiPoint -> ShowS

show :: GeoMultiPoint -> String

showList :: [GeoMultiPoint] -> ShowS

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]

splitGeoMultiPoint :: GeoMultiPoint -> [GeoPoint]

Split GeoMultiPoint coordinates into multiple GeoPoints

mergeGeoPoints :: [GeoPoint] -> GeoMultiPoint

Merge multiple GeoPoints into one GeoMultiPoint

newtype GeoPolygon

Constructors

GeoPolygon

Fields

• _unGeoPolygon :: [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

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]

newtype GeoMultiPolygon

Constructors

GeoMultiPolygon

Fields

• _unGeoMultiPolygon :: [[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

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]

splitGeoMultiPolygon :: GeoMultiPolygon -> [GeoPolygon]

Split GeoMultiPolygon coordinates into multiple GeoPolygons

mergeGeoPolygons :: [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

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]

newtype GeoMultiLine

Constructors

GeoMultiLine

Fields

• _unGeoMultiLine :: [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

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]

splitGeoMultiLine :: GeoMultiLine -> [GeoLine]

Split GeoMultiLine coordinates into multiple GeoLines

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

Instances

Eq GeospatialGeometry

Methods

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

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

Show GeospatialGeometry

Methods

showsPrec :: Int -> GeospatialGeometry -> ShowS

show :: GeospatialGeometry -> String

showList :: [GeospatialGeometry] -> ShowS

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]

Lenses

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]

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