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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

Show FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> FeatureID -> ShowS

show :: FeatureID -> String

showList :: [FeatureID] -> ShowS

ToJSON FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

toJSON :: FeatureID -> Value

toEncoding :: FeatureID -> Encoding

toJSONList :: [FeatureID] -> Value

toEncodingList :: [FeatureID] -> Encoding

FromJSON FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser FeatureID

parseJSONList :: Value -> Parser [FeatureID]

type GeoPositionWithoutCRS = [Double]

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

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

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

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

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

Show GeoPoint

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

showsPrec :: Int -> GeoPoint -> ShowS

show :: GeoPoint -> String

showList :: [GeoPoint] -> ShowS

ToJSON GeoPoint

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

toJSON :: GeoPoint -> Value

toEncoding :: GeoPoint -> Encoding

toJSONList :: [GeoPoint] -> Value

toEncodingList :: [GeoPoint] -> Encoding

FromJSON GeoPoint

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

parseJSON :: Value -> Parser GeoPoint

parseJSONList :: Value -> Parser [GeoPoint]

newtype GeoMultiPoint

Constructors

GeoMultiPoint

Fields

• _unGeoMultiPoint :: [GeoPositionWithoutCRS]

Instances

Eq GeoMultiPoint

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

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

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

Show GeoMultiPoint

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

showsPrec :: Int -> GeoMultiPoint -> ShowS

show :: GeoMultiPoint -> String

showList :: [GeoMultiPoint] -> ShowS

ToJSON GeoMultiPoint

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

toJSON :: GeoMultiPoint -> Value

toEncoding :: GeoMultiPoint -> Encoding

toJSONList :: [GeoMultiPoint] -> Value

toEncodingList :: [GeoMultiPoint] -> Encoding

FromJSON GeoMultiPoint

Defined in Data.Geospatial.Internal.Geometry.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

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

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

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

Show GeoPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

showsPrec :: Int -> GeoPolygon -> ShowS

show :: GeoPolygon -> String

showList :: [GeoPolygon] -> ShowS

ToJSON GeoPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

toJSON :: GeoPolygon -> Value

toEncoding :: GeoPolygon -> Encoding

toJSONList :: [GeoPolygon] -> Value

toEncodingList :: [GeoPolygon] -> Encoding

FromJSON GeoPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

parseJSON :: Value -> Parser GeoPolygon

parseJSONList :: Value -> Parser [GeoPolygon]

newtype GeoMultiPolygon

Constructors

GeoMultiPolygon

Fields

• _unGeoMultiPolygon :: [[LinearRing GeoPositionWithoutCRS]]

Instances

Eq GeoMultiPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

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

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

Show GeoMultiPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

showsPrec :: Int -> GeoMultiPolygon -> ShowS

show :: GeoMultiPolygon -> String

showList :: [GeoMultiPolygon] -> ShowS

ToJSON GeoMultiPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

toJSON :: GeoMultiPolygon -> Value

toEncoding :: GeoMultiPolygon -> Encoding

toJSONList :: [GeoMultiPolygon] -> Value

toEncodingList :: [GeoMultiPolygon] -> Encoding

FromJSON GeoMultiPolygon

Defined in Data.Geospatial.Internal.Geometry.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

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

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

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

Show GeoLine

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

showsPrec :: Int -> GeoLine -> ShowS

show :: GeoLine -> String

showList :: [GeoLine] -> ShowS

ToJSON GeoLine

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

toJSON :: GeoLine -> Value

toEncoding :: GeoLine -> Encoding

toJSONList :: [GeoLine] -> Value

toEncodingList :: [GeoLine] -> Encoding

FromJSON GeoLine

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

parseJSON :: Value -> Parser GeoLine

parseJSONList :: Value -> Parser [GeoLine]

newtype GeoMultiLine

Constructors

GeoMultiLine

Fields

• _unGeoMultiLine :: [LineString GeoPositionWithoutCRS]

Instances

Eq GeoMultiLine

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

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

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

Show GeoMultiLine

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

showsPrec :: Int -> GeoMultiLine -> ShowS

show :: GeoMultiLine -> String

showList :: [GeoMultiLine] -> ShowS

ToJSON GeoMultiLine

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

toJSON :: GeoMultiLine -> Value

toEncoding :: GeoMultiLine -> Encoding

toJSONList :: [GeoMultiLine] -> Value

toEncodingList :: [GeoMultiLine] -> Encoding

FromJSON GeoMultiLine

Defined in Data.Geospatial.Internal.Geometry.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

Defined in Data.Geospatial.Internal.Geometry

Methods

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

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

Show GeospatialGeometry

Defined in Data.Geospatial.Internal.Geometry

Methods

showsPrec :: Int -> GeospatialGeometry -> ShowS

show :: GeospatialGeometry -> String

showList :: [GeospatialGeometry] -> ShowS

ToJSON GeospatialGeometry

encodes Geometry Objects to GeoJSON

Defined in Data.Geospatial.Internal.Geometry

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

Defined in Data.Geospatial.Internal.Geometry

Methods

parseJSON :: Value -> Parser GeospatialGeometry

parseJSONList :: Value -> Parser [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

Defined in Data.Geospatial.Internal.CRS

Methods

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

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

Show CRSObject

Defined in Data.Geospatial.Internal.CRS

Methods

showsPrec :: Int -> CRSObject -> ShowS

show :: CRSObject -> String

showList :: [CRSObject] -> ShowS

ToJSON CRSObject

encode CRS Objects to GeoJSON

Defined in Data.Geospatial.Internal.CRS

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

Defined in Data.Geospatial.Internal.CRS

Methods

parseJSON :: Value -> Parser CRSObject

parseJSONList :: Value -> Parser [CRSObject]

type BoundingBoxWithoutCRS = [Double]

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.

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)

Defined in Data.Geospatial.Internal.GeoFeature

Methods

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

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

Show a => Show (GeoFeature a)

Defined in Data.Geospatial.Internal.GeoFeature

Methods

showsPrec :: Int -> GeoFeature a -> ShowS

show :: GeoFeature a -> String

showList :: [GeoFeature a] -> ShowS

ToJSON a => ToJSON (GeoFeature a)

Encodes Feature objects to GeoJSON

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)

Decodes Feature objects from GeoJSON

Defined in Data.Geospatial.Internal.GeoFeature

Methods

parseJSON :: Value -> Parser (GeoFeature a)

parseJSONList :: Value -> Parser [GeoFeature a]

data GeoFeatureCollection a

See Section 2.3 Feature Collection Objects of the GeoJSON spec

Constructors

GeoFeatureCollection

Fields

• _boundingbox :: Maybe BoundingBoxWithoutCRS
• _geofeatures :: [GeoFeature a]

Instances

Eq a => Eq (GeoFeatureCollection a)

Defined in Data.Geospatial.Internal.GeoFeatureCollection

Methods

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

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

Show a => Show (GeoFeatureCollection a)

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)

Encode FeatureCollection objects to GeoJSON

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)

Decode FeatureCollection objects from GeoJSON

Defined in Data.Geospatial.Internal.GeoFeatureCollection

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

unGeoPolygon :: Iso' GeoPolygon [LinearRing GeoPositionWithoutCRS]

unGeoLine :: Iso' GeoLine (LineString GeoPositionWithoutCRS)

unGeoMultiLine :: Iso' GeoMultiLine [LineString GeoPositionWithoutCRS]

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

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) [GeoFeature a] [GeoFeature a]

Prisms

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

CRS

_NoCRS :: Prism' CRSObject ()

_NamedCRS :: Prism' CRSObject Name

_EPSG :: Prism' CRSObject Code

_LinkedCRS :: Prism' CRSObject (Href, FormatString)