geojson-4.1.3: A thin GeoJSON Layer above the aeson library
Copyright(C) 2014-2021 HS-GeoJSON Project
LicenseBSD-style (see the file LICENSE.md)
MaintainerAndrew Newman
Safe HaskellNone
LanguageHaskell2010

Data.Geospatial

Description

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

Synopsis

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

Instances details
FromJSON FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser FeatureID #

parseJSONList :: Value -> Parser [FeatureID] #

omittedField :: Maybe 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 #

omitField :: FeatureID -> Bool #

NFData FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: FeatureID -> () #

Generic FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep FeatureID 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep FeatureID = D1 ('MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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)))

Methods

from :: FeatureID -> Rep FeatureID x #

to :: Rep FeatureID x -> FeatureID #

Show FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> FeatureID -> ShowS #

show :: FeatureID -> String #

showList :: [FeatureID] -> ShowS #

Eq FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep FeatureID Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep FeatureID = D1 ('MetaData "FeatureID" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances details
FromJSON GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser GeoPositionWithoutCRS #

parseJSONList :: Value -> Parser [GeoPositionWithoutCRS] #

omittedField :: Maybe 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 #

omitField :: GeoPositionWithoutCRS -> Bool #

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 #

Generic GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep GeoPositionWithoutCRS 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep GeoPositionWithoutCRS = D1 ('MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'False) ((C1 ('MetaCons "GeoEmpty" 'PrefixI 'False) (U1 :: Type -> Type) :+: 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))))

Methods

from :: GeoPositionWithoutCRS -> Rep GeoPositionWithoutCRS x #

to :: Rep GeoPositionWithoutCRS x -> GeoPositionWithoutCRS #

Show GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> GeoPositionWithoutCRS -> ShowS #

show :: GeoPositionWithoutCRS -> String #

showList :: [GeoPositionWithoutCRS] -> ShowS #

Eq GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep GeoPositionWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep GeoPositionWithoutCRS = D1 ('MetaData "GeoPositionWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'False) ((C1 ('MetaCons "GeoEmpty" 'PrefixI 'False) (U1 :: Type -> Type) :+: 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

Instances

Instances details
FromJSON GeoPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

parseJSON :: Value -> Parser GeoPoint #

parseJSONList :: Value -> Parser [GeoPoint] #

omittedField :: Maybe 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 #

omitField :: GeoPoint -> Bool #

NFData GeoPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

rnf :: GeoPoint -> () #

Generic GeoPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Associated Types

type Rep GeoPoint 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

type Rep GeoPoint = D1 ('MetaData "GeoPoint" "Data.Geospatial.Internal.Geometry.GeoPoint" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'True) (C1 ('MetaCons "GeoPoint" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unGeoPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GeoPositionWithoutCRS)))

Methods

from :: GeoPoint -> Rep GeoPoint x #

to :: Rep GeoPoint x -> GeoPoint #

Show GeoPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

showsPrec :: Int -> GeoPoint -> ShowS #

show :: GeoPoint -> String #

showList :: [GeoPoint] -> ShowS #

Eq GeoPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

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

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

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.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
NFData PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXY -> () #

Generic PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXY 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

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

Methods

from :: PointXY -> Rep PointXY x #

to :: Rep PointXY x -> PointXY #

Show PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXY -> ShowS #

show :: PointXY -> String #

showList :: [PointXY] -> ShowS #

Eq PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep PointXY Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXY = D1 ('MetaData "PointXY" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
NFData PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZ -> () #

Generic PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXYZ 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZ = D1 ('MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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))))

Methods

from :: PointXYZ -> Rep PointXYZ x #

to :: Rep PointXYZ x -> PointXYZ #

Show PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZ -> ShowS #

show :: PointXYZ -> String #

showList :: [PointXYZ] -> ShowS #

Eq PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep PointXYZ Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZ = D1 ('MetaData "PointXYZ" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
NFData PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: PointXYZM -> () #

Generic PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep PointXYZM 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZM = D1 ('MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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))))

Methods

from :: PointXYZM -> Rep PointXYZM x #

to :: Rep PointXYZM x -> PointXYZM #

Show PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> PointXYZM -> ShowS #

show :: PointXYZM -> String #

showList :: [PointXYZM] -> ShowS #

Eq PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep PointXYZM Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep PointXYZM = D1 ('MetaData "PointXYZM" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
FromJSON GeoMultiPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

parseJSON :: Value -> Parser GeoMultiPoint #

parseJSONList :: Value -> Parser [GeoMultiPoint] #

omittedField :: Maybe 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 #

omitField :: GeoMultiPoint -> Bool #

NFData GeoMultiPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

rnf :: GeoMultiPoint -> () #

Generic GeoMultiPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Associated Types

type Rep GeoMultiPoint 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

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

Methods

from :: GeoMultiPoint -> Rep GeoMultiPoint x #

to :: Rep GeoMultiPoint x -> GeoMultiPoint #

Show GeoMultiPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

showsPrec :: Int -> GeoMultiPoint -> ShowS #

show :: GeoMultiPoint -> String #

showList :: [GeoMultiPoint] -> ShowS #

Eq GeoMultiPoint Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

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

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

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.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
FromJSON GeoPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

parseJSON :: Value -> Parser GeoPolygon #

parseJSONList :: Value -> Parser [GeoPolygon] #

omittedField :: Maybe 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 #

omitField :: GeoPolygon -> Bool #

NFData GeoPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

rnf :: GeoPolygon -> () #

Generic GeoPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Associated Types

type Rep GeoPolygon 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

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

Methods

from :: GeoPolygon -> Rep GeoPolygon x #

to :: Rep GeoPolygon x -> GeoPolygon #

Show GeoPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

showsPrec :: Int -> GeoPolygon -> ShowS #

show :: GeoPolygon -> String #

showList :: [GeoPolygon] -> ShowS #

Eq GeoPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

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

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

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.1.3-39qWD6AMpW6DepGCjU1BIw" 'True) (C1 ('MetaCons "GeoPolygon" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unGeoPolygon") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Seq (LinearRing GeoPositionWithoutCRS)))))

newtype GeoMultiPolygon Source #

Constructors

GeoMultiPolygon 

Fields

Instances

Instances details
FromJSON GeoMultiPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

parseJSON :: Value -> Parser GeoMultiPolygon #

parseJSONList :: Value -> Parser [GeoMultiPolygon] #

omittedField :: Maybe 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 #

omitField :: GeoMultiPolygon -> Bool #

NFData GeoMultiPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

rnf :: GeoMultiPolygon -> () #

Generic GeoMultiPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Associated Types

type Rep GeoMultiPolygon 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

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

Methods

from :: GeoMultiPolygon -> Rep GeoMultiPolygon x #

to :: Rep GeoMultiPolygon x -> GeoMultiPolygon #

Show GeoMultiPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

showsPrec :: Int -> GeoMultiPolygon -> ShowS #

show :: GeoMultiPolygon -> String #

showList :: [GeoMultiPolygon] -> ShowS #

Eq GeoMultiPolygon Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

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

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

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.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
FromJSON GeoLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

parseJSON :: Value -> Parser GeoLine #

parseJSONList :: Value -> Parser [GeoLine] #

omittedField :: Maybe 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 #

omitField :: GeoLine -> Bool #

NFData GeoLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

rnf :: GeoLine -> () #

Generic GeoLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Associated Types

type Rep GeoLine 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

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

Methods

from :: GeoLine -> Rep GeoLine x #

to :: Rep GeoLine x -> GeoLine #

Show GeoLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

showsPrec :: Int -> GeoLine -> ShowS #

show :: GeoLine -> String #

showList :: [GeoLine] -> ShowS #

Eq GeoLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

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

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

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.1.3-39qWD6AMpW6DepGCjU1BIw" 'True) (C1 ('MetaCons "GeoLine" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unGeoLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LineString GeoPositionWithoutCRS))))

newtype GeoMultiLine Source #

Constructors

GeoMultiLine 

Fields

Instances

Instances details
FromJSON GeoMultiLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

parseJSON :: Value -> Parser GeoMultiLine #

parseJSONList :: Value -> Parser [GeoMultiLine] #

omittedField :: Maybe 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 #

omitField :: GeoMultiLine -> Bool #

NFData GeoMultiLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

rnf :: GeoMultiLine -> () #

Generic GeoMultiLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Associated Types

type Rep GeoMultiLine 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

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

Methods

from :: GeoMultiLine -> Rep GeoMultiLine x #

to :: Rep GeoMultiLine x -> GeoMultiLine #

Show GeoMultiLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

showsPrec :: Int -> GeoMultiLine -> ShowS #

show :: GeoMultiLine -> String #

showList :: [GeoMultiLine] -> ShowS #

Eq GeoMultiLine Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

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

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

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.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances details
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] #

omittedField :: Maybe 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 #

omitField :: GeospatialGeometry -> Bool #

NFData GeospatialGeometry Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

rnf :: GeospatialGeometry -> () #

Generic GeospatialGeometry Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Associated Types

type Rep GeospatialGeometry 
Instance details

Defined in Data.Geospatial.Internal.Geometry

type Rep GeospatialGeometry = D1 ('MetaData "GeospatialGeometry" "Data.Geospatial.Internal.Geometry" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'False) (((C1 ('MetaCons "NoGeometry" 'PrefixI 'False) (U1 :: Type -> Type) :+: 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))))))

Methods

from :: GeospatialGeometry -> Rep GeospatialGeometry x #

to :: Rep GeospatialGeometry x -> GeospatialGeometry #

Show GeospatialGeometry Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

showsPrec :: Int -> GeospatialGeometry -> ShowS #

show :: GeospatialGeometry -> String #

showList :: [GeospatialGeometry] -> ShowS #

Eq GeospatialGeometry Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

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

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

type Rep GeospatialGeometry Source # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

type Rep GeospatialGeometry = D1 ('MetaData "GeospatialGeometry" "Data.Geospatial.Internal.Geometry" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'False) (((C1 ('MetaCons "NoGeometry" 'PrefixI 'False) (U1 :: Type -> Type) :+: 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

Instances details
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] #

omittedField :: Maybe CRSObject #

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 #

omitField :: CRSObject -> Bool #

Show CRSObject Source # 
Instance details

Defined in Data.Geospatial.Internal.CRS

Methods

showsPrec :: Int -> CRSObject -> ShowS #

show :: CRSObject -> String #

showList :: [CRSObject] -> ShowS #

Eq CRSObject Source # 
Instance details

Defined in Data.Geospatial.Internal.CRS

Methods

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

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

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

Instances details
FromJSON BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

parseJSON :: Value -> Parser BoundingBoxWithoutCRS #

parseJSONList :: Value -> Parser [BoundingBoxWithoutCRS] #

omittedField :: Maybe 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 #

omitField :: BoundingBoxWithoutCRS -> Bool #

NFData BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

rnf :: BoundingBoxWithoutCRS -> () #

Generic BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Associated Types

type Rep BoundingBoxWithoutCRS 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep BoundingBoxWithoutCRS = D1 ('MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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))))

Methods

from :: BoundingBoxWithoutCRS -> Rep BoundingBoxWithoutCRS x #

to :: Rep BoundingBoxWithoutCRS x -> BoundingBoxWithoutCRS #

Show BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

showsPrec :: Int -> BoundingBoxWithoutCRS -> ShowS #

show :: BoundingBoxWithoutCRS -> String #

showList :: [BoundingBoxWithoutCRS] -> ShowS #

Eq BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

Methods

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

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

type Rep BoundingBoxWithoutCRS Source # 
Instance details

Defined in Data.Geospatial.Internal.BasicTypes

type Rep BoundingBoxWithoutCRS = D1 ('MetaData "BoundingBoxWithoutCRS" "Data.Geospatial.Internal.BasicTypes" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
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] #

omittedField :: Maybe (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 #

omitField :: GeoFeature a -> Bool #

NFData a => NFData (GeoFeature a) Source # 
Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Methods

rnf :: GeoFeature a -> () #

Generic (GeoFeature a) Source # 
Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Associated Types

type Rep (GeoFeature a) 
Instance details

Defined in Data.Geospatial.Internal.GeoFeature

type Rep (GeoFeature a) = D1 ('MetaData "GeoFeature" "Data.Geospatial.Internal.GeoFeature" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" '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)))))

Methods

from :: GeoFeature a -> Rep (GeoFeature a) x #

to :: Rep (GeoFeature a) x -> GeoFeature a #

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 #

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 #

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.1.3-39qWD6AMpW6DepGCjU1BIw" '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

Instances

Instances details
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] #

omittedField :: Maybe (GeoFeatureCollection a) #

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 #

omitField :: 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 #

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 #

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 f. Functor f => (Maybe BoundingBoxWithoutCRS -> f (Maybe BoundingBoxWithoutCRS)) -> GeoFeature a -> f (GeoFeature a) Source #

geometry :: forall a f. Functor f => (GeospatialGeometry -> f GeospatialGeometry) -> GeoFeature a -> f (GeoFeature a) Source #

properties :: forall a1 a2 f. Functor f => (a1 -> f a2) -> GeoFeature a1 -> f (GeoFeature a2) Source #

featureId :: forall a f. Functor f => (Maybe FeatureID -> f (Maybe FeatureID)) -> GeoFeature a -> f (GeoFeature a) Source #

boundingbox :: forall a f. Functor f => (Maybe BoundingBoxWithoutCRS -> f (Maybe BoundingBoxWithoutCRS)) -> GeoFeatureCollection a -> f (GeoFeatureCollection a) Source #

geofeatures :: forall a1 a2 f. Functor f => (Seq (GeoFeature a1) -> f (Seq (GeoFeature a2))) -> GeoFeatureCollection a1 -> f (GeoFeatureCollection a2) Source #

Prisms

BasicTypes

class HasGeoPositionWithoutCRS c where Source #

Methods

geoPositionWithoutCRS :: Lens' c GeoPositionWithoutCRS Source #

Instances

Instances details
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 #