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

Generic FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep FeatureID :: * -> *

Methods

from :: FeatureID -> Rep FeatureID x

to :: Rep FeatureID x -> FeatureID

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]

NFData FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: FeatureID -> ()

type Rep FeatureID

Defined in Data.Geospatial.Internal.BasicTypes

type Rep FeatureID = D1 (MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" 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

Constructors

GeoEmpty

GeoPointXY PointXY

GeoPointXYZ PointXYZ

GeoPointXYZM PointXYZM

Instances

Eq GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

Show GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS

show :: GeoPositionWithoutCRS -> String

showList :: [GeoPositionWithoutCRS] -> ShowS

Generic GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep GeoPositionWithoutCRS :: * -> *

Methods

from :: GeoPositionWithoutCRS -> Rep GeoPositionWithoutCRS x

to :: Rep GeoPositionWithoutCRS x -> GeoPositionWithoutCRS

ToJSON GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

toJSON :: GeoPositionWithoutCRS -> Value

toEncoding :: GeoPositionWithoutCRS -> Encoding

toJSONList :: [GeoPositionWithoutCRS] -> Value

toEncodingList :: [GeoPositionWithoutCRS] -> Encoding

FromJSON GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser GeoPositionWithoutCRS

parseJSONList :: Value -> Parser [GeoPositionWithoutCRS]

NFData GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: GeoPositionWithoutCRS -> ()

HasGeoPositionWithoutCRS GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

geoPositionWithoutCRS :: Lens' GeoPositionWithoutCRS GeoPositionWithoutCRS

type Rep GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

type Rep GeoPositionWithoutCRS = D1 (MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" 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

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

Generic GeoPoint

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

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]

NFData GeoPoint

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

rnf :: GeoPoint -> ()

type Rep GeoPoint

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

type Rep GeoPoint = D1 (MetaData "GeoPoint" "Data.Geospatial.Internal.Geometry.GeoPoint" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" True) (C1 (MetaCons "GeoPoint" PrefixI True) (S1 (MetaSel (Just "_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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

Show PointXY

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXY -> ShowS

show :: PointXY -> String

showList :: [PointXY] -> ShowS

Generic PointXY

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXY :: * -> *

Methods

from :: PointXY -> Rep PointXY x

to :: Rep PointXY x -> PointXY

NFData PointXY

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXY -> ()

type Rep PointXY

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXY = D1 (MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" 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

Constructors

PointXYZ

Fields

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

Instances

Eq PointXYZ

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

Show PointXYZ

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZ -> ShowS

show :: PointXYZ -> String

showList :: [PointXYZ] -> ShowS

Generic PointXYZ

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXYZ :: * -> *

Methods

from :: PointXYZ -> Rep PointXYZ x

to :: Rep PointXYZ x -> PointXYZ

NFData PointXYZ

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZ -> ()

type Rep PointXYZ

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZ = D1 (MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" 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

Constructors

PointXYZM

Fields

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

Instances

Eq PointXYZM

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

Show PointXYZM

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZM -> ShowS

show :: PointXYZM -> String

showList :: [PointXYZM] -> ShowS

Generic PointXYZM

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXYZM :: * -> *

Methods

from :: PointXYZM -> Rep PointXYZM x

to :: Rep PointXYZM x -> PointXYZM

NFData PointXYZM

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZM -> ()

type Rep PointXYZM

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZM = D1 (MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" 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

Constructors

GeoMultiPoint

Fields

• _unGeoMultiPoint :: Seq 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

Generic GeoMultiPoint

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

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]

NFData GeoMultiPoint

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

rnf :: GeoMultiPoint -> ()

type Rep GeoMultiPoint

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

type Rep GeoMultiPoint = D1 (MetaData "GeoMultiPoint" "Data.Geospatial.Internal.Geometry.GeoMultiPoint" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" True) (C1 (MetaCons "GeoMultiPoint" PrefixI True) (S1 (MetaSel (Just "_unGeoMultiPoint") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq GeoPositionWithoutCRS))))

splitGeoMultiPoint :: GeoMultiPoint -> Seq GeoPoint

Split GeoMultiPoint coordinates into multiple GeoPoints

mergeGeoPoints :: Seq GeoPoint -> GeoMultiPoint

Merge multiple GeoPoints into one GeoMultiPoint

newtype GeoPolygon

Constructors

GeoPolygon

Fields

• _unGeoPolygon :: Seq (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

Generic GeoPolygon

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

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]

NFData GeoPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

rnf :: GeoPolygon -> ()

type Rep GeoPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

type Rep GeoPolygon = D1 (MetaData "GeoPolygon" "Data.Geospatial.Internal.Geometry.GeoPolygon" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" True) (C1 (MetaCons "GeoPolygon" PrefixI True) (S1 (MetaSel (Just "_unGeoPolygon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq (LinearRing GeoPositionWithoutCRS)))))

newtype GeoMultiPolygon

Constructors

GeoMultiPolygon

Fields

• _unGeoMultiPolygon :: Seq (Seq (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

Generic GeoMultiPolygon

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

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]

NFData GeoMultiPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

rnf :: GeoMultiPolygon -> ()

type Rep GeoMultiPolygon

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

type Rep GeoMultiPolygon = D1 (MetaData "GeoMultiPolygon" "Data.Geospatial.Internal.Geometry.GeoMultiPolygon" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" True) (C1 (MetaCons "GeoMultiPolygon" PrefixI True) (S1 (MetaSel (Just "_unGeoMultiPolygon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq (Seq (LinearRing GeoPositionWithoutCRS))))))

splitGeoMultiPolygon :: GeoMultiPolygon -> Seq GeoPolygon

Split GeoMultiPolygon coordinates into multiple GeoPolygons

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

Generic GeoLine

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

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]

NFData GeoLine

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

rnf :: GeoLine -> ()

type Rep GeoLine

Defined in Data.Geospatial.Internal.Geometry.GeoLine

type Rep GeoLine = D1 (MetaData "GeoLine" "Data.Geospatial.Internal.Geometry.GeoLine" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" True) (C1 (MetaCons "GeoLine" PrefixI True) (S1 (MetaSel (Just "_unGeoLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (LineString GeoPositionWithoutCRS))))

newtype GeoMultiLine

Constructors

GeoMultiLine

Fields

• _unGeoMultiLine :: Seq (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

Generic GeoMultiLine

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

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]

NFData GeoMultiLine

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

rnf :: GeoMultiLine -> ()

type Rep GeoMultiLine

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

type Rep GeoMultiLine = D1 (MetaData "GeoMultiLine" "Data.Geospatial.Internal.Geometry.GeoMultiLine" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" True) (C1 (MetaCons "GeoMultiLine" PrefixI True) (S1 (MetaSel (Just "_unGeoMultiLine") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq (LineString GeoPositionWithoutCRS)))))

splitGeoMultiLine :: GeoMultiLine -> Seq GeoLine

Split GeoMultiLine coordinates into multiple GeoLines

mergeGeoLines :: Seq 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 (Seq 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

Generic GeospatialGeometry

Defined in Data.Geospatial.Internal.Geometry

Associated Types

type Rep GeospatialGeometry :: * -> *

Methods

from :: GeospatialGeometry -> Rep GeospatialGeometry x

to :: Rep GeospatialGeometry x -> GeospatialGeometry

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]

NFData GeospatialGeometry

Defined in Data.Geospatial.Internal.Geometry

Methods

rnf :: GeospatialGeometry -> ()

type Rep GeospatialGeometry

Defined in Data.Geospatial.Internal.Geometry

type Rep GeospatialGeometry = D1 (MetaData "GeospatialGeometry" "Data.Geospatial.Internal.Geometry" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" 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

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]

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

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

Show BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS

show :: BoundingBoxWithoutCRS -> String

showList :: [BoundingBoxWithoutCRS] -> ShowS

Generic BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep BoundingBoxWithoutCRS :: * -> *

Methods

from :: BoundingBoxWithoutCRS -> Rep BoundingBoxWithoutCRS x

to :: Rep BoundingBoxWithoutCRS x -> BoundingBoxWithoutCRS

ToJSON BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

toJSON :: BoundingBoxWithoutCRS -> Value

toEncoding :: BoundingBoxWithoutCRS -> Encoding

toJSONList :: [BoundingBoxWithoutCRS] -> Value

toEncodingList :: [BoundingBoxWithoutCRS] -> Encoding

FromJSON BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser BoundingBoxWithoutCRS

parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS]

NFData BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: BoundingBoxWithoutCRS -> ()

type Rep BoundingBoxWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

type Rep BoundingBoxWithoutCRS = D1 (MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" True) (C1 (MetaCons "BoundingBoxWithoutCRS" PrefixI True) (S1 (MetaSel (Just "unBoundingBoxWithoutCrs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Seq 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)

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

Generic (GeoFeature a)

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)

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]

NFData a => NFData (GeoFeature a)

Defined in Data.Geospatial.Internal.GeoFeature

Methods

rnf :: GeoFeature a -> ()

type Rep (GeoFeature a)

Defined in Data.Geospatial.Internal.GeoFeature

type Rep (GeoFeature a) = D1 (MetaData "GeoFeature" "Data.Geospatial.Internal.GeoFeature" "geojson-3.0.3-BfFnmKp1iAVIXKZVYQ0lbm" 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

data GeoFeatureCollection a

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)

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

unBoundingBoxWithoutCrs :: BoundingBoxWithoutCRS -> Seq 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) (Seq (GeoFeature a)) (Seq (GeoFeature a))

Prisms

BasicTypes

class HasGeoPositionWithoutCRS c where

Minimal complete definition

geoPositionWithoutCRS

Methods

geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS

Instances

HasGeoPositionWithoutCRS GeoPositionWithoutCRS

Defined in Data.Geospatial.Internal.BasicTypes

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

CRS

_NoCRS :: Prism' CRSObject ()

_NamedCRS :: Prism' CRSObject Name

_EPSG :: Prism' CRSObject Code

_LinkedCRS :: Prism' CRSObject (Href, FormatString)