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

Data.Geospatial

Contents

Types
Functions
Lenses
- Geometry Lenses
- Feature Lenses
Prisms

Description

Refer to the GeoJSON Spec http://www.geojson.org/geojson-spec.html

Synopsis

type Latitude = Double
type Longitude = Double
type Easting = Double
type Northing = Double
type Altitude = Double
data FeatureID
- = FeatureIDText Text
- | FeatureIDNumber Int
data GeoPositionWithoutCRS
- = GeoEmpty
- | GeoPointXY PointXY
- | GeoPointXYZ PointXYZ
- | GeoPointXYZM PointXYZM
data GeoPosition
- = LonLat Longitude Latitude
- | LonLatAlt Longitude Latitude Altitude
- | EastingNorthing Easting Northing
- | EastingNorthingAlt Easting Northing Altitude
newtype GeoPoint = GeoPoint {
- _unGeoPoint :: GeoPositionWithoutCRS
}
retrieveXY :: GeoPositionWithoutCRS -> PointXY
data PointXY = PointXY {
- _xyX :: !Double
- _xyY :: !Double
}
data PointXYZ = PointXYZ {
- _xyzX :: !Double
- _xyzY :: !Double
- _xyzZ :: !Double
}
data PointXYZM = PointXYZM {
- _xyzmX :: !Double
- _xyzmY :: !Double
- _xyzmZ :: !Double
- _xyzmM :: !Double
}
newtype GeoMultiPoint = GeoMultiPoint {
- _unGeoMultiPoint :: Seq GeoPositionWithoutCRS
}
splitGeoMultiPoint :: GeoMultiPoint -> Seq GeoPoint
mergeGeoPoints :: Seq GeoPoint -> GeoMultiPoint
newtype GeoPolygon = GeoPolygon {
- _unGeoPolygon :: Seq (LinearRing GeoPositionWithoutCRS)
}
newtype GeoMultiPolygon = GeoMultiPolygon {
- _unGeoMultiPolygon :: Seq (Seq (LinearRing GeoPositionWithoutCRS))
}
splitGeoMultiPolygon :: GeoMultiPolygon -> Seq GeoPolygon
mergeGeoPolygons :: Seq GeoPolygon -> GeoMultiPolygon
newtype GeoLine = GeoLine {
- _unGeoLine :: LineString GeoPositionWithoutCRS
}
newtype GeoMultiLine = GeoMultiLine {
- _unGeoMultiLine :: Seq (LineString GeoPositionWithoutCRS)
}
splitGeoMultiLine :: GeoMultiLine -> Seq GeoLine
mergeGeoLines :: Seq GeoLine -> GeoMultiLine
data GeospatialGeometry
- = NoGeometry
- | Point GeoPoint
- | MultiPoint GeoMultiPoint
- | Polygon GeoPolygon
- | MultiPolygon GeoMultiPolygon
- | Line GeoLine
- | MultiLine GeoMultiLine
- | Collection (Seq GeospatialGeometry)
type Name = Text
type Code = Int
type Href = Text
type FormatString = Text
type ProjectionType = Text
data CRSObject
- = NoCRS
- | NamedCRS !Name
- | EPSG Code
- | LinkedCRS !Href !FormatString
data BoundingBoxWithoutCRS
- = BoundingBoxWithoutCRSXY PointXY PointXY
- | BoundingBoxWithoutCRSXYZ PointXYZ PointXYZ
- | BoundingBoxWithoutCRSXYZM PointXYZM PointXYZM
data GeoFeature a = GeoFeature {
- _bbox :: Maybe BoundingBoxWithoutCRS
- _geometry :: GeospatialGeometry
- _properties :: a
- _featureId :: Maybe FeatureID
}
reWrapGeometry :: GeoFeature a -> GeospatialGeometry -> GeoFeature a
data GeoFeatureCollection a = GeoFeatureCollection {
- _boundingbox :: Maybe BoundingBoxWithoutCRS
- _geofeatures :: Seq (GeoFeature a)
}
stripCRSFromPosition :: GeoPosition -> GeoPositionWithoutCRS
defaultCRS :: CRSObject
unGeoPoint :: Iso' GeoPoint GeoPositionWithoutCRS
unGeoMultiPoint :: Iso' GeoMultiPoint (Seq GeoPositionWithoutCRS)
unGeoPolygon :: Iso' GeoPolygon (Seq (LinearRing GeoPositionWithoutCRS))
unGeoLine :: Iso' GeoLine (LineString GeoPositionWithoutCRS)
unGeoMultiLine :: Iso' GeoMultiLine (Seq (LineString GeoPositionWithoutCRS))
unGeoMultiPolygon :: Iso' GeoMultiPolygon (Seq (Seq (LinearRing GeoPositionWithoutCRS)))
bbox :: forall a. Lens' (GeoFeature a) (Maybe BoundingBoxWithoutCRS)
geometry :: forall a. Lens' (GeoFeature a) GeospatialGeometry
properties :: forall a a. Lens (GeoFeature a) (GeoFeature a) a a
featureId :: forall a. Lens' (GeoFeature a) (Maybe FeatureID)
boundingbox :: forall a. Lens' (GeoFeatureCollection a) (Maybe BoundingBoxWithoutCRS)
geofeatures :: forall a a. Lens (GeoFeatureCollection a) (GeoFeatureCollection a) (Seq (GeoFeature a)) (Seq (GeoFeature a))
class HasGeoPositionWithoutCRS c where
_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 (Seq GeospatialGeometry)
_NoCRS :: Prism' CRSObject ()
_NamedCRS :: Prism' CRSObject Name
_EPSG :: Prism' CRSObject Code
_LinkedCRS :: Prism' CRSObject (Href, FormatString)

Types

type Latitude = Double Source #

type Longitude = Double Source #

type Easting = Double Source #

type Northing = Double Source #

type Altitude = Double Source #

data FeatureID Source #

Constructors

FeatureIDText Text
FeatureIDNumber Int

Instances

Eq FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: FeatureID -> FeatureID -> Bool # (/=) :: FeatureID -> FeatureID -> Bool #
Show FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> FeatureID -> ShowS # show :: FeatureID -> String # showList :: [FeatureID] -> ShowS #
Generic FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep FeatureID :: * -> * # Methods from :: FeatureID -> Rep FeatureID x # to :: Rep FeatureID x -> FeatureID #
ToJSON FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: FeatureID -> Value # toEncoding :: FeatureID -> Encoding # toJSONList :: [FeatureID] -> Value # toEncodingList :: [FeatureID] -> Encoding #
FromJSON FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser FeatureID # parseJSONList :: Value -> Parser [FeatureID] #
NFData FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: FeatureID -> () #
type Rep FeatureID Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep FeatureID = D1 (MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) (C1 (MetaCons "FeatureIDText" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "FeatureIDNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data GeoPositionWithoutCRS Source #

Constructors

GeoEmpty
GeoPointXY PointXY
GeoPointXYZ PointXYZ
GeoPointXYZM PointXYZM

Instances

Eq GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool # (/=) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool #
Show GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS # show :: GeoPositionWithoutCRS -> String # showList :: [GeoPositionWithoutCRS] -> ShowS #
Generic GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep GeoPositionWithoutCRS :: * -> * # Methods from :: GeoPositionWithoutCRS -> Rep GeoPositionWithoutCRS x # to :: Rep GeoPositionWithoutCRS x -> GeoPositionWithoutCRS #
ToJSON GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: GeoPositionWithoutCRS -> Value # toEncoding :: GeoPositionWithoutCRS -> Encoding # toJSONList :: [GeoPositionWithoutCRS] -> Value # toEncodingList :: [GeoPositionWithoutCRS] -> Encoding #
FromJSON GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser GeoPositionWithoutCRS # parseJSONList :: Value -> Parser [GeoPositionWithoutCRS] #
NFData GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: GeoPositionWithoutCRS -> () #
HasGeoPositionWithoutCRS GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS Source #
type Rep GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep GeoPositionWithoutCRS = D1 (MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) ((C1 (MetaCons "GeoEmpty" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "GeoPointXY" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXY))) :+: (C1 (MetaCons "GeoPointXYZ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZ)) :+: C1 (MetaCons "GeoPointXYZM" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZM))))

data GeoPosition Source #

see Section 2.1.1 Position in the GeoJSON Spec, I make the assumption here that the only position types we will use will involve easting or northing (+ve or -ve Altitude) or lon or lat (+ve or -ve Altitude)

Constructors

LonLat Longitude Latitude
LonLatAlt Longitude Latitude Altitude
EastingNorthing Easting Northing
EastingNorthingAlt Easting Northing Altitude

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 #
Generic GeoPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPoint Associated Types type Rep GeoPoint :: * -> * # Methods from :: GeoPoint -> Rep GeoPoint x # to :: Rep GeoPoint x -> GeoPoint #
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] #
NFData GeoPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPoint Methods rnf :: GeoPoint -> () #
type Rep GeoPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPoint type Rep GeoPoint = D1 (MetaData "GeoPoint" "Data.Geospatial.Internal.Geometry.GeoPoint" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" True) (C1 (MetaCons "GeoPoint" PrefixI True) (S1 (MetaSel (Just "_unGeoPoint") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeoPositionWithoutCRS)))

retrieveXY :: GeoPositionWithoutCRS -> PointXY Source #

data PointXY Source #

(GeoPositionWithoutCRS is a catch all for indeterminate CRSs and for expression of positions before a CRS has been determined

Constructors

PointXY
Fields _xyX :: !Double _xyY :: !Double

Instances

Eq PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: PointXY -> PointXY -> Bool # (/=) :: PointXY -> PointXY -> Bool #
Show PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> PointXY -> ShowS # show :: PointXY -> String # showList :: [PointXY] -> ShowS #
Generic PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep PointXY :: * -> * # Methods from :: PointXY -> Rep PointXY x # to :: Rep PointXY x -> PointXY #
NFData PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: PointXY -> () #
type Rep PointXY Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep PointXY = D1 (MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) (C1 (MetaCons "PointXY" PrefixI True) (S1 (MetaSel (Just "_xyX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double) :*: S1 (MetaSel (Just "_xyY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double)))

data PointXYZ Source #

Constructors

PointXYZ
Fields _xyzX :: !Double _xyzY :: !Double _xyzZ :: !Double

Instances

Eq PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: PointXYZ -> PointXYZ -> Bool # (/=) :: PointXYZ -> PointXYZ -> Bool #
Show PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> PointXYZ -> ShowS # show :: PointXYZ -> String # showList :: [PointXYZ] -> ShowS #
Generic PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep PointXYZ :: * -> * # Methods from :: PointXYZ -> Rep PointXYZ x # to :: Rep PointXYZ x -> PointXYZ #
NFData PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: PointXYZ -> () #
type Rep PointXYZ Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep PointXYZ = D1 (MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) (C1 (MetaCons "PointXYZ" PrefixI True) (S1 (MetaSel (Just "_xyzX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double) :: (S1 (MetaSel (Just "_xyzY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double) :: S1 (MetaSel (Just "_xyzZ") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double))))

data PointXYZM Source #

Constructors

PointXYZM
Fields _xyzmX :: !Double _xyzmY :: !Double _xyzmZ :: !Double _xyzmM :: !Double

Instances

Eq PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: PointXYZM -> PointXYZM -> Bool # (/=) :: PointXYZM -> PointXYZM -> Bool #
Show PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> PointXYZM -> ShowS # show :: PointXYZM -> String # showList :: [PointXYZM] -> ShowS #
Generic PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep PointXYZM :: * -> * # Methods from :: PointXYZM -> Rep PointXYZM x # to :: Rep PointXYZM x -> PointXYZM #
NFData PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: PointXYZM -> () #
type Rep PointXYZM Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep PointXYZM = D1 (MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) (C1 (MetaCons "PointXYZM" PrefixI True) ((S1 (MetaSel (Just "_xyzmX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double) :: S1 (MetaSel (Just "_xyzmY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double)) :: (S1 (MetaSel (Just "_xyzmZ") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double) :*: S1 (MetaSel (Just "_xyzmM") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double))))

newtype GeoMultiPoint Source #

Constructors

GeoMultiPoint
Fields _unGeoMultiPoint :: Seq 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 #
Generic GeoMultiPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint Associated Types type Rep GeoMultiPoint :: * -> * # Methods from :: GeoMultiPoint -> Rep GeoMultiPoint x # to :: Rep GeoMultiPoint x -> GeoMultiPoint #
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] #
NFData GeoMultiPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint Methods rnf :: GeoMultiPoint -> () #
type Rep GeoMultiPoint Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint type Rep GeoMultiPoint = D1 (MetaData "GeoMultiPoint" "Data.Geospatial.Internal.Geometry.GeoMultiPoint" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" True) (C1 (MetaCons "GeoMultiPoint" PrefixI True) (S1 (MetaSel (Just "_unGeoMultiPoint") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq GeoPositionWithoutCRS))))

splitGeoMultiPoint :: GeoMultiPoint -> Seq GeoPoint Source #

Split GeoMultiPoint coordinates into multiple GeoPoints

mergeGeoPoints :: Seq GeoPoint -> GeoMultiPoint Source #

Merge multiple GeoPoints into one GeoMultiPoint

newtype GeoPolygon Source #

Constructors

GeoPolygon
Fields _unGeoPolygon :: Seq (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 #
Generic GeoPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPolygon Associated Types type Rep GeoPolygon :: * -> * # Methods from :: GeoPolygon -> Rep GeoPolygon x # to :: Rep GeoPolygon x -> GeoPolygon #
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] #
NFData GeoPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPolygon Methods rnf :: GeoPolygon -> () #
type Rep GeoPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoPolygon type Rep GeoPolygon = D1 (MetaData "GeoPolygon" "Data.Geospatial.Internal.Geometry.GeoPolygon" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" True) (C1 (MetaCons "GeoPolygon" PrefixI True) (S1 (MetaSel (Just "_unGeoPolygon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq (LinearRing GeoPositionWithoutCRS)))))

newtype GeoMultiPolygon Source #

Constructors

GeoMultiPolygon
Fields _unGeoMultiPolygon :: Seq (Seq (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 #
Generic GeoMultiPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon Associated Types type Rep GeoMultiPolygon :: * -> * # Methods from :: GeoMultiPolygon -> Rep GeoMultiPolygon x # to :: Rep GeoMultiPolygon x -> GeoMultiPolygon #
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] #
NFData GeoMultiPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon Methods rnf :: GeoMultiPolygon -> () #
type Rep GeoMultiPolygon Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon type Rep GeoMultiPolygon = D1 (MetaData "GeoMultiPolygon" "Data.Geospatial.Internal.Geometry.GeoMultiPolygon" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" True) (C1 (MetaCons "GeoMultiPolygon" PrefixI True) (S1 (MetaSel (Just "_unGeoMultiPolygon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq (Seq (LinearRing GeoPositionWithoutCRS))))))

splitGeoMultiPolygon :: GeoMultiPolygon -> Seq GeoPolygon Source #

Split GeoMultiPolygon coordinates into multiple GeoPolygons

mergeGeoPolygons :: Seq 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 #
Generic GeoLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoLine Associated Types type Rep GeoLine :: * -> * # Methods from :: GeoLine -> Rep GeoLine x # to :: Rep GeoLine x -> GeoLine #
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] #
NFData GeoLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoLine Methods rnf :: GeoLine -> () #
type Rep GeoLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoLine type Rep GeoLine = D1 (MetaData "GeoLine" "Data.Geospatial.Internal.Geometry.GeoLine" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" True) (C1 (MetaCons "GeoLine" PrefixI True) (S1 (MetaSel (Just "_unGeoLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (LineString GeoPositionWithoutCRS))))

newtype GeoMultiLine Source #

Constructors

GeoMultiLine
Fields _unGeoMultiLine :: Seq (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 #
Generic GeoMultiLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine Associated Types type Rep GeoMultiLine :: * -> * # Methods from :: GeoMultiLine -> Rep GeoMultiLine x # to :: Rep GeoMultiLine x -> GeoMultiLine #
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] #
NFData GeoMultiLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine Methods rnf :: GeoMultiLine -> () #
type Rep GeoMultiLine Source #
Instance details Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine type Rep GeoMultiLine = D1 (MetaData "GeoMultiLine" "Data.Geospatial.Internal.Geometry.GeoMultiLine" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" True) (C1 (MetaCons "GeoMultiLine" PrefixI True) (S1 (MetaSel (Just "_unGeoMultiLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq (LineString GeoPositionWithoutCRS)))))

splitGeoMultiLine :: GeoMultiLine -> Seq GeoLine Source #

Split GeoMultiLine coordinates into multiple GeoLines

mergeGeoLines :: Seq 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 (Seq 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 #
Generic GeospatialGeometry Source #
Instance details Defined in Data.Geospatial.Internal.Geometry Associated Types type Rep GeospatialGeometry :: * -> * # Methods from :: GeospatialGeometry -> Rep GeospatialGeometry x # to :: Rep GeospatialGeometry x -> GeospatialGeometry #
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] #
NFData GeospatialGeometry Source #
Instance details Defined in Data.Geospatial.Internal.Geometry Methods rnf :: GeospatialGeometry -> () #
type Rep GeospatialGeometry Source #
Instance details Defined in Data.Geospatial.Internal.Geometry type Rep GeospatialGeometry = D1 (MetaData "GeospatialGeometry" "Data.Geospatial.Internal.Geometry" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) (((C1 (MetaCons "NoGeometry" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Point" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeoPoint))) :+: (C1 (MetaCons "MultiPoint" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeoMultiPoint)) :+: C1 (MetaCons "Polygon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeoPolygon)))) :+: ((C1 (MetaCons "MultiPolygon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeoMultiPolygon)) :+: C1 (MetaCons "Line" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeoLine))) :+: (C1 (MetaCons "MultiLine" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeoMultiLine)) :+: C1 (MetaCons "Collection" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq GeospatialGeometry))))))

type Name = Text Source #

type Code = Int Source #

type Href = Text Source #

type FormatString = Text Source #

type ProjectionType = Text Source #

data CRSObject Source #

See Section 3 Coordinate Reference System Objects in the GeoJSON Spec NoCRS is required because no crs attribute in a GeoJSON feature is NOT the same thing as a null crs attribute. no crs value implies the default CRS, while a null CRS means you cannot assume a CRS, null will mapped to NoCRS while a non-existent attribute will be mapped to a Nothing Maybe value

Constructors

NoCRS
NamedCRS !Name
EPSG Code
LinkedCRS !Href !FormatString

Instances

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

data BoundingBoxWithoutCRS Source #

See Section 4 Bounding Boxes of the GeoJSON spec, The length of the list/array must be 2*n where n is the dimensionality of the position type for the CRS with min values first followed by the max values, wich both the min/max sets following the same axis order as the CRS, e.g for WGS84: minLongitude, minLatitude, maxLongitude, maxLatitude The spec mentions that it can be part of a geometry object too but doesnt give an example, This implementation will ignore bboxes on Geometry objects, they can be added if required.

Constructors

BoundingBoxWithoutCRSXY PointXY PointXY
BoundingBoxWithoutCRSXYZ PointXYZ PointXYZ
BoundingBoxWithoutCRSXYZM PointXYZM PointXYZM

Instances

Eq BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods (==) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool # (/=) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool #
Show BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS # show :: BoundingBoxWithoutCRS -> String # showList :: [BoundingBoxWithoutCRS] -> ShowS #
Generic BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Associated Types type Rep BoundingBoxWithoutCRS :: * -> * # Methods from :: BoundingBoxWithoutCRS -> Rep BoundingBoxWithoutCRS x # to :: Rep BoundingBoxWithoutCRS x -> BoundingBoxWithoutCRS #
ToJSON BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods toJSON :: BoundingBoxWithoutCRS -> Value # toEncoding :: BoundingBoxWithoutCRS -> Encoding # toJSONList :: [BoundingBoxWithoutCRS] -> Value # toEncodingList :: [BoundingBoxWithoutCRS] -> Encoding #
FromJSON BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods parseJSON :: Value -> Parser BoundingBoxWithoutCRS # parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS] #
NFData BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods rnf :: BoundingBoxWithoutCRS -> () #
type Rep BoundingBoxWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes type Rep BoundingBoxWithoutCRS = D1 (MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) (C1 (MetaCons "BoundingBoxWithoutCRSXY" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXY) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXY)) :+: (C1 (MetaCons "BoundingBoxWithoutCRSXYZ" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZ) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZ)) :+: C1 (MetaCons "BoundingBoxWithoutCRSXYZM" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZM) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PointXYZM))))

data GeoFeature a Source #

See Section 2.2 Feature Objects of the GeoJSON spec. Parameterised on the property type

Constructors

GeoFeature
Fields _bbox :: Maybe BoundingBoxWithoutCRS _geometry :: GeospatialGeometry _properties :: a _featureId :: Maybe FeatureID

Instances

Eq a => Eq (GeoFeature a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeature Methods (==) :: GeoFeature a -> GeoFeature a -> Bool # (/=) :: GeoFeature a -> GeoFeature a -> Bool #
Show a => Show (GeoFeature a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeature Methods showsPrec :: Int -> GeoFeature a -> ShowS # show :: GeoFeature a -> String # showList :: [GeoFeature a] -> ShowS #
Generic (GeoFeature a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeature Associated Types type Rep (GeoFeature a) :: * -> * # Methods from :: GeoFeature a -> Rep (GeoFeature a) x # to :: Rep (GeoFeature a) x -> GeoFeature a #
ToJSON a => ToJSON (GeoFeature a) Source #	Encodes Feature objects to GeoJSON
Instance details Defined in Data.Geospatial.Internal.GeoFeature Methods toJSON :: GeoFeature a -> Value # toEncoding :: GeoFeature a -> Encoding # toJSONList :: [GeoFeature a] -> Value # toEncodingList :: [GeoFeature a] -> Encoding #
FromJSON a => FromJSON (GeoFeature a) Source #	Decodes Feature objects from GeoJSON
Instance details Defined in Data.Geospatial.Internal.GeoFeature Methods parseJSON :: Value -> Parser (GeoFeature a) # parseJSONList :: Value -> Parser [GeoFeature a] #
NFData a => NFData (GeoFeature a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeature Methods rnf :: GeoFeature a -> () #
type Rep (GeoFeature a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeature type Rep (GeoFeature a) = D1 (MetaData "GeoFeature" "Data.Geospatial.Internal.GeoFeature" "geojson-4.0.2-EXHv8i4JQwXM7d3a9DXxR" False) (C1 (MetaCons "GeoFeature" PrefixI True) ((S1 (MetaSel (Just "_bbox") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe BoundingBoxWithoutCRS)) :: S1 (MetaSel (Just "_geometry") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 GeospatialGeometry)) :: (S1 (MetaSel (Just "_properties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "_featureId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe FeatureID)))))

reWrapGeometry :: GeoFeature a -> GeospatialGeometry -> GeoFeature a Source #

data GeoFeatureCollection a Source #

See Section 2.3 Feature Collection Objects of the GeoJSON spec

Constructors

GeoFeatureCollection
Fields _boundingbox :: Maybe BoundingBoxWithoutCRS _geofeatures :: Seq (GeoFeature a)

Instances

Eq a => Eq (GeoFeatureCollection a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeatureCollection Methods (==) :: GeoFeatureCollection a -> GeoFeatureCollection a -> Bool # (/=) :: GeoFeatureCollection a -> GeoFeatureCollection a -> Bool #
Show a => Show (GeoFeatureCollection a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeatureCollection Methods showsPrec :: Int -> GeoFeatureCollection a -> ShowS # show :: GeoFeatureCollection a -> String # showList :: [GeoFeatureCollection a] -> ShowS #
ToJSON a => ToJSON (GeoFeatureCollection a) Source #	Encode FeatureCollection objects to GeoJSON
Instance details Defined in Data.Geospatial.Internal.GeoFeatureCollection Methods toJSON :: GeoFeatureCollection a -> Value # toEncoding :: GeoFeatureCollection a -> Encoding # toJSONList :: [GeoFeatureCollection a] -> Value # toEncodingList :: [GeoFeatureCollection a] -> Encoding #
FromJSON a => FromJSON (GeoFeatureCollection a) Source #	Decode FeatureCollection objects from GeoJSON
Instance details Defined in Data.Geospatial.Internal.GeoFeatureCollection Methods parseJSON :: Value -> Parser (GeoFeatureCollection a) # parseJSONList :: Value -> Parser [GeoFeatureCollection a] #

Functions

stripCRSFromPosition :: GeoPosition -> GeoPositionWithoutCRS Source #

the GeoPosition is a bit special in that when you convert it to GeoJSON, it will lose the CRS info attached to it and cannot be read back in from the GeoJSON. Hence it is ineligible for the FromJSON type class, so this function will strip it down to a GeoPositionWithoutCRS, which is eligible

defaultCRS :: CRSObject Source #

The default CRS according to Section 3 Coordinate Reference System Objects is WGS84 which I believe, from http://spatialreference.org/ref/epsg/4326/ which translates to this in JSON: http://spatialreference.org/ref/epsg/4326/json/) is represented thus:

Lenses

Geometry Lenses

unGeoPoint :: Iso' GeoPoint GeoPositionWithoutCRS Source #

unGeoMultiPoint :: Iso' GeoMultiPoint (Seq GeoPositionWithoutCRS) Source #

unGeoPolygon :: Iso' GeoPolygon (Seq (LinearRing GeoPositionWithoutCRS)) Source #

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

unGeoMultiLine :: Iso' GeoMultiLine (Seq (LineString GeoPositionWithoutCRS)) Source #

unGeoMultiPolygon :: Iso' GeoMultiPolygon (Seq (Seq (LinearRing GeoPositionWithoutCRS))) Source #

Feature Lenses

bbox :: forall a. Lens' (GeoFeature a) (Maybe BoundingBoxWithoutCRS) Source #

geometry :: forall a. Lens' (GeoFeature a) GeospatialGeometry Source #

properties :: forall a a. Lens (GeoFeature a) (GeoFeature a) a a Source #

featureId :: forall a. Lens' (GeoFeature a) (Maybe FeatureID) Source #

boundingbox :: forall a. Lens' (GeoFeatureCollection a) (Maybe BoundingBoxWithoutCRS) Source #

geofeatures :: forall a a. Lens (GeoFeatureCollection a) (GeoFeatureCollection a) (Seq (GeoFeature a)) (Seq (GeoFeature a)) Source #

Prisms

BasicTypes

class HasGeoPositionWithoutCRS c where Source #

Minimal complete definition

geoPositionWithoutCRS

Methods

geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS Source #

Instances

HasGeoPositionWithoutCRS GeoPositionWithoutCRS Source #
Instance details Defined in Data.Geospatial.Internal.BasicTypes Methods geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS Source #

Geometry

_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 (Seq GeospatialGeometry) Source #

CRS

_NoCRS :: Prism' CRSObject () Source #

_NamedCRS :: Prism' CRSObject Name Source #

_EPSG :: Prism' CRSObject Code Source #

_LinkedCRS :: Prism' CRSObject (Href, FormatString) Source #