Data.Geospatial.Internal.Geometry

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

Types

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 :: Type -> Type

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-4.1.0-76npFIWEyK8FnxTr2GQnjg" 'True) (C1 ('MetaCons "GeoPoint" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unGeoPoint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GeoPositionWithoutCRS)))

retrieveXY :: GeoPositionWithoutCRS -> PointXY

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 :: Type -> Type

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-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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 :: Type -> Type

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-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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 :: Type -> Type

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-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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 :: Type -> Type

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-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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 :: Type -> Type

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-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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 :: Type -> Type

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-4.1.0-76npFIWEyK8FnxTr2GQnjg" '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)