geojson-3.0.4: A thin GeoJSON Layer above the aeson library

Copyright(C) 2014-2018 HS-GeoJSON Project
LicenseBSD-style (see the file LICENSE.md)
MaintainerAndrew Newman
Safe HaskellNone
LanguageHaskell2010

Data.Geospatial.Internal.Geometry

Contents

Description

See section 2.1 "Geometry Objects" in the GeoJSON Spec.

Synopsis

Types

newtype GeoPoint #

Constructors

GeoPoint 

Fields

Instances
Eq GeoPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

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

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

Show GeoPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

showsPrec :: Int -> GeoPoint -> ShowS #

show :: GeoPoint -> String #

showList :: [GeoPoint] -> ShowS #

Generic GeoPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Associated Types

type Rep GeoPoint :: Type -> Type #

Methods

from :: GeoPoint -> Rep GeoPoint x #

to :: Rep GeoPoint x -> GeoPoint #

ToJSON GeoPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

toJSON :: GeoPoint -> Value #

toEncoding :: GeoPoint -> Encoding #

toJSONList :: [GeoPoint] -> Value #

toEncodingList :: [GeoPoint] -> Encoding #

FromJSON GeoPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

parseJSON :: Value -> Parser GeoPoint #

parseJSONList :: Value -> Parser [GeoPoint] #

NFData GeoPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

Methods

rnf :: GeoPoint -> () #

type Rep GeoPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPoint

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

retrieveXY :: GeoPositionWithoutCRS -> PointXY #

newtype GeoMultiPoint #

Constructors

GeoMultiPoint 

Fields

Instances
Eq GeoMultiPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

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

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

Show GeoMultiPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

showsPrec :: Int -> GeoMultiPoint -> ShowS #

show :: GeoMultiPoint -> String #

showList :: [GeoMultiPoint] -> ShowS #

Generic GeoMultiPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Associated Types

type Rep GeoMultiPoint :: Type -> Type #

Methods

from :: GeoMultiPoint -> Rep GeoMultiPoint x #

to :: Rep GeoMultiPoint x -> GeoMultiPoint #

ToJSON GeoMultiPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

toJSON :: GeoMultiPoint -> Value #

toEncoding :: GeoMultiPoint -> Encoding #

toJSONList :: [GeoMultiPoint] -> Value #

toEncodingList :: [GeoMultiPoint] -> Encoding #

FromJSON GeoMultiPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

parseJSON :: Value -> Parser GeoMultiPoint #

parseJSONList :: Value -> Parser [GeoMultiPoint] #

NFData GeoMultiPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

Methods

rnf :: GeoMultiPoint -> () #

type Rep GeoMultiPoint # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPoint

type Rep GeoMultiPoint = D1 (MetaData "GeoMultiPoint" "Data.Geospatial.Internal.Geometry.GeoMultiPoint" "geojson-3.0.4-BhqiBF2k2VrIOFbYjYUDem" 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

Instances
Eq GeoPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

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

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

Show GeoPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

showsPrec :: Int -> GeoPolygon -> ShowS #

show :: GeoPolygon -> String #

showList :: [GeoPolygon] -> ShowS #

Generic GeoPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Associated Types

type Rep GeoPolygon :: Type -> Type #

Methods

from :: GeoPolygon -> Rep GeoPolygon x #

to :: Rep GeoPolygon x -> GeoPolygon #

ToJSON GeoPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

toJSON :: GeoPolygon -> Value #

toEncoding :: GeoPolygon -> Encoding #

toJSONList :: [GeoPolygon] -> Value #

toEncodingList :: [GeoPolygon] -> Encoding #

FromJSON GeoPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

parseJSON :: Value -> Parser GeoPolygon #

parseJSONList :: Value -> Parser [GeoPolygon] #

NFData GeoPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

Methods

rnf :: GeoPolygon -> () #

type Rep GeoPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoPolygon

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

newtype GeoMultiPolygon #

Constructors

GeoMultiPolygon 

Fields

Instances
Eq GeoMultiPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

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

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

Show GeoMultiPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

showsPrec :: Int -> GeoMultiPolygon -> ShowS #

show :: GeoMultiPolygon -> String #

showList :: [GeoMultiPolygon] -> ShowS #

Generic GeoMultiPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Associated Types

type Rep GeoMultiPolygon :: Type -> Type #

Methods

from :: GeoMultiPolygon -> Rep GeoMultiPolygon x #

to :: Rep GeoMultiPolygon x -> GeoMultiPolygon #

ToJSON GeoMultiPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

toJSON :: GeoMultiPolygon -> Value #

toEncoding :: GeoMultiPolygon -> Encoding #

toJSONList :: [GeoMultiPolygon] -> Value #

toEncodingList :: [GeoMultiPolygon] -> Encoding #

FromJSON GeoMultiPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

parseJSON :: Value -> Parser GeoMultiPolygon #

parseJSONList :: Value -> Parser [GeoMultiPolygon] #

NFData GeoMultiPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

Methods

rnf :: GeoMultiPolygon -> () #

type Rep GeoMultiPolygon # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiPolygon

type Rep GeoMultiPolygon = D1 (MetaData "GeoMultiPolygon" "Data.Geospatial.Internal.Geometry.GeoMultiPolygon" "geojson-3.0.4-BhqiBF2k2VrIOFbYjYUDem" 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

Instances
Eq GeoLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

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

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

Show GeoLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

showsPrec :: Int -> GeoLine -> ShowS #

show :: GeoLine -> String #

showList :: [GeoLine] -> ShowS #

Generic GeoLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Associated Types

type Rep GeoLine :: Type -> Type #

Methods

from :: GeoLine -> Rep GeoLine x #

to :: Rep GeoLine x -> GeoLine #

ToJSON GeoLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

toJSON :: GeoLine -> Value #

toEncoding :: GeoLine -> Encoding #

toJSONList :: [GeoLine] -> Value #

toEncodingList :: [GeoLine] -> Encoding #

FromJSON GeoLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

parseJSON :: Value -> Parser GeoLine #

parseJSONList :: Value -> Parser [GeoLine] #

NFData GeoLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

Methods

rnf :: GeoLine -> () #

type Rep GeoLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoLine

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

newtype GeoMultiLine #

Constructors

GeoMultiLine 

Fields

Instances
Eq GeoMultiLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

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

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

Show GeoMultiLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

showsPrec :: Int -> GeoMultiLine -> ShowS #

show :: GeoMultiLine -> String #

showList :: [GeoMultiLine] -> ShowS #

Generic GeoMultiLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Associated Types

type Rep GeoMultiLine :: Type -> Type #

Methods

from :: GeoMultiLine -> Rep GeoMultiLine x #

to :: Rep GeoMultiLine x -> GeoMultiLine #

ToJSON GeoMultiLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

toJSON :: GeoMultiLine -> Value #

toEncoding :: GeoMultiLine -> Encoding #

toJSONList :: [GeoMultiLine] -> Value #

toEncodingList :: [GeoMultiLine] -> Encoding #

FromJSON GeoMultiLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

parseJSON :: Value -> Parser GeoMultiLine #

parseJSONList :: Value -> Parser [GeoMultiLine] #

NFData GeoMultiLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

Methods

rnf :: GeoMultiLine -> () #

type Rep GeoMultiLine # 
Instance details

Defined in Data.Geospatial.Internal.Geometry.GeoMultiLine

type Rep GeoMultiLine = D1 (MetaData "GeoMultiLine" "Data.Geospatial.Internal.Geometry.GeoMultiLine" "geojson-3.0.4-BhqiBF2k2VrIOFbYjYUDem" 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 # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

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

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

Show GeospatialGeometry # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

showsPrec :: Int -> GeospatialGeometry -> ShowS #

show :: GeospatialGeometry -> String #

showList :: [GeospatialGeometry] -> ShowS #

Generic GeospatialGeometry # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Associated Types

type Rep GeospatialGeometry :: Type -> Type #

Methods

from :: GeospatialGeometry -> Rep GeospatialGeometry x #

to :: Rep GeospatialGeometry x -> GeospatialGeometry #

ToJSON GeospatialGeometry #

encodes Geometry Objects to GeoJSON

Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

toJSON :: GeospatialGeometry -> Value #

toEncoding :: GeospatialGeometry -> Encoding #

toJSONList :: [GeospatialGeometry] -> Value #

toEncodingList :: [GeospatialGeometry] -> Encoding #

FromJSON GeospatialGeometry #

decodes Geometry Objects from GeoJSON

Aeson doesnt decode "null" into Null unfortunately

Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

parseJSON :: Value -> Parser GeospatialGeometry #

parseJSONList :: Value -> Parser [GeospatialGeometry] #

NFData GeospatialGeometry # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

Methods

rnf :: GeospatialGeometry -> () #

type Rep GeospatialGeometry # 
Instance details

Defined in Data.Geospatial.Internal.Geometry

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

Lenses

unGeoPoint :: Iso' GeoPoint GeoPositionWithoutCRS #

unGeoMultiPoint :: Iso' GeoMultiPoint (Seq GeoPositionWithoutCRS) #

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

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

unGeoLine :: Iso' GeoLine (LineString GeoPositionWithoutCRS) #

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

Prisms

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