Data.Geospatial

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

Types

type Latitude = Double

type Longitude = Double

type Easting = Double

type Northing = Double

type Altitude = Double

data FeatureID

Constructors

FeatureIDText Text

FeatureIDNumber Int

Instances

Eq FeatureID

Methods

(==) :: FeatureID -> FeatureID -> Bool

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

Show FeatureID

Methods

showsPrec :: Int -> FeatureID -> ShowS

show :: FeatureID -> String

showList :: [FeatureID] -> ShowS

Generic FeatureID

Associated Types

type Rep FeatureID :: * -> *

Methods

from :: FeatureID -> Rep FeatureID x

to :: Rep FeatureID x -> FeatureID

ToJSON FeatureID

Methods

toJSON :: FeatureID -> Value

toEncoding :: FeatureID -> Encoding

toJSONList :: [FeatureID] -> Value

toEncodingList :: [FeatureID] -> Encoding

FromJSON FeatureID

Methods

parseJSON :: Value -> Parser FeatureID

parseJSONList :: Value -> Parser [FeatureID]

NFData FeatureID

Methods

rnf :: FeatureID -> ()

type Rep FeatureID

type Rep FeatureID = D1 * (MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) ((:+:) * (C1 * (MetaCons "FeatureIDText" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))) (C1 * (MetaCons "FeatureIDNumber" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int))))

data GeoPositionWithoutCRS

Constructors

GeoEmpty

GeoPointXY PointXY

GeoPointXYZ PointXYZ

GeoPointXYZM PointXYZM

Instances

Eq GeoPositionWithoutCRS

Methods

(==) :: GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> Bool

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

Show GeoPositionWithoutCRS

Methods

showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS

show :: GeoPositionWithoutCRS -> String

showList :: [GeoPositionWithoutCRS] -> ShowS

Generic GeoPositionWithoutCRS

Associated Types

type Rep GeoPositionWithoutCRS :: * -> *

Methods

from :: GeoPositionWithoutCRS -> Rep GeoPositionWithoutCRS x

to :: Rep GeoPositionWithoutCRS x -> GeoPositionWithoutCRS

ToJSON GeoPositionWithoutCRS

Methods

toJSON :: GeoPositionWithoutCRS -> Value

toEncoding :: GeoPositionWithoutCRS -> Encoding

toJSONList :: [GeoPositionWithoutCRS] -> Value

toEncodingList :: [GeoPositionWithoutCRS] -> Encoding

FromJSON GeoPositionWithoutCRS

Methods

parseJSON :: Value -> Parser GeoPositionWithoutCRS

parseJSONList :: Value -> Parser [GeoPositionWithoutCRS]

Storable GeoPositionWithoutCRS

Methods

sizeOf :: GeoPositionWithoutCRS -> Int

alignment :: GeoPositionWithoutCRS -> Int

peekElemOff :: Ptr GeoPositionWithoutCRS -> Int -> IO GeoPositionWithoutCRS

pokeElemOff :: Ptr GeoPositionWithoutCRS -> Int -> GeoPositionWithoutCRS -> IO ()

peekByteOff :: Ptr b -> Int -> IO GeoPositionWithoutCRS

pokeByteOff :: Ptr b -> Int -> GeoPositionWithoutCRS -> IO ()

peek :: Ptr GeoPositionWithoutCRS -> IO GeoPositionWithoutCRS

poke :: Ptr GeoPositionWithoutCRS -> GeoPositionWithoutCRS -> IO ()

NFData GeoPositionWithoutCRS

Methods

rnf :: GeoPositionWithoutCRS -> ()

HasGeoPositionWithoutCRS GeoPositionWithoutCRS

Methods

geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS

type Rep GeoPositionWithoutCRS

type Rep GeoPositionWithoutCRS = D1 * (MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) ((:+:) * ((:+:) * (C1 * (MetaCons "GeoEmpty" PrefixI False) (U1 *)) (C1 * (MetaCons "GeoPointXY" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PointXY)))) ((:+:) * (C1 * (MetaCons "GeoPointXYZ" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PointXYZ))) (C1 * (MetaCons "GeoPointXYZM" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * PointXYZM)))))

data GeoPosition

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

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

data PointXY

(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

Methods

(==) :: PointXY -> PointXY -> Bool

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

Show PointXY

Methods

showsPrec :: Int -> PointXY -> ShowS

show :: PointXY -> String

showList :: [PointXY] -> ShowS

Generic PointXY

Associated Types

type Rep PointXY :: * -> *

Methods

from :: PointXY -> Rep PointXY x

to :: Rep PointXY x -> PointXY

Storable PointXY

Methods

sizeOf :: PointXY -> Int

alignment :: PointXY -> Int

peekElemOff :: Ptr PointXY -> Int -> IO PointXY

pokeElemOff :: Ptr PointXY -> Int -> PointXY -> IO ()

peekByteOff :: Ptr b -> Int -> IO PointXY

pokeByteOff :: Ptr b -> Int -> PointXY -> IO ()

peek :: Ptr PointXY -> IO PointXY

poke :: Ptr PointXY -> PointXY -> IO ()

NFData PointXY

Methods

rnf :: PointXY -> ()

type Rep PointXY

type Rep PointXY = D1 * (MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "PointXY" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_xyX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double))))

data PointXYZ

Constructors

PointXYZ

Fields

• _xyzX :: !Double
• _xyzY :: !Double
• _xyzZ :: !Double

Instances

Eq PointXYZ

Methods

(==) :: PointXYZ -> PointXYZ -> Bool

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

Show PointXYZ

Methods

showsPrec :: Int -> PointXYZ -> ShowS

show :: PointXYZ -> String

showList :: [PointXYZ] -> ShowS

Generic PointXYZ

Associated Types

type Rep PointXYZ :: * -> *

Methods

from :: PointXYZ -> Rep PointXYZ x

to :: Rep PointXYZ x -> PointXYZ

NFData PointXYZ

Methods

rnf :: PointXYZ -> ()

type Rep PointXYZ

type Rep PointXYZ = D1 * (MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "PointXYZ" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_xyzX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) ((:*:) * (S1 * (MetaSel (Just Symbol "_xyzY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyzZ") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)))))

data PointXYZM

Constructors

PointXYZM

Fields

• _xyzmX :: !Double
• _xyzmY :: !Double
• _xyzmZ :: !Double
• _xyzmM :: !Double

Instances

Eq PointXYZM

Methods

(==) :: PointXYZM -> PointXYZM -> Bool

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

Show PointXYZM

Methods

showsPrec :: Int -> PointXYZM -> ShowS

show :: PointXYZM -> String

showList :: [PointXYZM] -> ShowS

Generic PointXYZM

Associated Types

type Rep PointXYZM :: * -> *

Methods

from :: PointXYZM -> Rep PointXYZM x

to :: Rep PointXYZM x -> PointXYZM

NFData PointXYZM

Methods

rnf :: PointXYZM -> ()

type Rep PointXYZM

type Rep PointXYZM = D1 * (MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "PointXYZM" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_xyzmX") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyzmY") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double))) ((:*:) * (S1 * (MetaSel (Just Symbol "_xyzmZ") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)) (S1 * (MetaSel (Just Symbol "_xyzmM") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Double)))))

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)))))))

type Name = Text

type Code = Int

type Href = Text

type FormatString = Text

type ProjectionType = Text

data CRSObject

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

Methods

(==) :: CRSObject -> CRSObject -> Bool

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

Show CRSObject

Methods

showsPrec :: Int -> CRSObject -> ShowS

show :: CRSObject -> String

showList :: [CRSObject] -> ShowS

ToJSON CRSObject

encode CRS Objects to GeoJSON

Methods

toJSON :: CRSObject -> Value

toEncoding :: CRSObject -> Encoding

toJSONList :: [CRSObject] -> Value

toEncodingList :: [CRSObject] -> Encoding

FromJSON CRSObject

decode CRS Objects from GeoJSON

Aeson doesnt decode "null" to Null unfortunately

Methods

parseJSON :: Value -> Parser CRSObject

parseJSONList :: Value -> Parser [CRSObject]

data BoundingBoxWithoutCRS

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.

Instances

Eq BoundingBoxWithoutCRS

Methods

(==) :: BoundingBoxWithoutCRS -> BoundingBoxWithoutCRS -> Bool

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

Show BoundingBoxWithoutCRS

Methods

showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS

show :: BoundingBoxWithoutCRS -> String

showList :: [BoundingBoxWithoutCRS] -> ShowS

Generic BoundingBoxWithoutCRS

Associated Types

type Rep BoundingBoxWithoutCRS :: * -> *

Methods

from :: BoundingBoxWithoutCRS -> Rep BoundingBoxWithoutCRS x

to :: Rep BoundingBoxWithoutCRS x -> BoundingBoxWithoutCRS

ToJSON BoundingBoxWithoutCRS

Methods

toJSON :: BoundingBoxWithoutCRS -> Value

toEncoding :: BoundingBoxWithoutCRS -> Encoding

toJSONList :: [BoundingBoxWithoutCRS] -> Value

toEncodingList :: [BoundingBoxWithoutCRS] -> Encoding

FromJSON BoundingBoxWithoutCRS

Methods

parseJSON :: Value -> Parser BoundingBoxWithoutCRS

parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS]

NFData BoundingBoxWithoutCRS

Methods

rnf :: BoundingBoxWithoutCRS -> ()

type Rep BoundingBoxWithoutCRS

type Rep BoundingBoxWithoutCRS = D1 * (MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" True) (C1 * (MetaCons "BoundingBoxWithoutCRS" PrefixI True) (S1 * (MetaSel (Just Symbol "unBoundingBoxWithoutCrs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector Double))))

data GeoFeature a

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)

Methods

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

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

Show a => Show (GeoFeature a)

Methods

showsPrec :: Int -> GeoFeature a -> ShowS

show :: GeoFeature a -> String

showList :: [GeoFeature a] -> ShowS

Generic (GeoFeature a)

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)

Encodes Feature objects to GeoJSON

Methods

toJSON :: GeoFeature a -> Value

toEncoding :: GeoFeature a -> Encoding

toJSONList :: [GeoFeature a] -> Value

toEncodingList :: [GeoFeature a] -> Encoding

FromJSON a => FromJSON (GeoFeature a)

Decodes Feature objects from GeoJSON

Methods

parseJSON :: Value -> Parser (GeoFeature a)

parseJSONList :: Value -> Parser [GeoFeature a]

NFData a => NFData (GeoFeature a)

Methods

rnf :: GeoFeature a -> ()

type Rep (GeoFeature a)

type Rep (GeoFeature a) = D1 * (MetaData "GeoFeature" "Data.Geospatial.Internal.GeoFeature" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "GeoFeature" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_bbox") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe BoundingBoxWithoutCRS))) (S1 * (MetaSel (Just Symbol "_geometry") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * GeospatialGeometry))) ((:*:) * (S1 * (MetaSel (Just Symbol "_properties") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Just Symbol "_featureId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe FeatureID))))))

reWrapGeometry :: GeoFeature a -> GeospatialGeometry -> GeoFeature a

data GeoFeatureCollection a

See Section 2.3 Feature Collection Objects of the GeoJSON spec

Constructors

GeoFeatureCollection

Fields

• _boundingbox :: Maybe BoundingBoxWithoutCRS
• _geofeatures :: Vector (GeoFeature a)

Instances

Eq a => Eq (GeoFeatureCollection a)

Methods

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

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

Show a => Show (GeoFeatureCollection a)

Methods

showsPrec :: Int -> GeoFeatureCollection a -> ShowS

show :: GeoFeatureCollection a -> String

showList :: [GeoFeatureCollection a] -> ShowS

ToJSON a => ToJSON (GeoFeatureCollection a)

Encode FeatureCollection objects to GeoJSON

Methods

toJSON :: GeoFeatureCollection a -> Value

toEncoding :: GeoFeatureCollection a -> Encoding

toJSONList :: [GeoFeatureCollection a] -> Value

toEncodingList :: [GeoFeatureCollection a] -> Encoding

FromJSON a => FromJSON (GeoFeatureCollection a)

Decode FeatureCollection objects from GeoJSON

Methods

parseJSON :: Value -> Parser (GeoFeatureCollection a)

parseJSONList :: Value -> Parser [GeoFeatureCollection a]

Functions

stripCRSFromPosition :: GeoPosition -> GeoPositionWithoutCRS

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

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

unGeoMultiPoint :: Iso' GeoMultiPoint (Vector GeoPositionWithoutCRS)

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

unGeoLine :: Iso' GeoLine (LineString GeoPositionWithoutCRS)

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

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

unBoundingBoxWithoutCrs :: BoundingBoxWithoutCRS -> Vector Double

Feature Lenses

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) (Vector (GeoFeature a)) (Vector (GeoFeature a))

Prisms

BasicTypes

class HasGeoPositionWithoutCRS c where

Minimal complete definition

geoPositionWithoutCRS

Methods

geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS

Instances

HasGeoPositionWithoutCRS GeoPositionWithoutCRS

Methods

geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS

Geometry

_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)

CRS

_NoCRS :: Prism' CRSObject ()

_NamedCRS :: Prism' CRSObject Name

_EPSG :: Prism' CRSObject Code

_LinkedCRS :: Prism' CRSObject (Href, FormatString)