hgeometry:geojson
Safe HaskellNone
LanguageGHC2024

HGeometry.GeoJSON

Synopsis

Documentation

type GeoPositionWithoutCRS' = PointXY :+ Maybe RestGeoPosition Source #

data RestGeoPosition Source #

Constructors

Z !Double 
ZM !Double !Double 

Instances

Instances details
Show RestGeoPosition Source # 
Instance details

Defined in HGeometry.GeoJSON

Methods

showsPrec :: Int -> RestGeoPosition -> ShowS #

show :: RestGeoPosition -> String #

showList :: [RestGeoPosition] -> ShowS #

Eq RestGeoPosition Source # 
Instance details

Defined in HGeometry.GeoJSON

Methods

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

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

Ord RestGeoPosition Source # 
Instance details

Defined in HGeometry.GeoJSON

Methods

compare :: RestGeoPosition -> RestGeoPosition -> Ordering #

(<) :: RestGeoPosition -> RestGeoPosition -> Bool #

(<=) :: RestGeoPosition -> RestGeoPosition -> Bool #

(>) :: RestGeoPosition -> RestGeoPosition -> Bool #

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

max :: RestGeoPosition -> RestGeoPosition -> RestGeoPosition #

min :: RestGeoPosition -> RestGeoPosition -> RestGeoPosition #

_GeoPositionWithoutCRS :: Prism' GeoPositionWithoutCRS (PointXY :+ Maybe RestGeoPosition) Source #

Convert between a GeoPositionWithoutCRS and a PointXY

_GeoPolygonPolygonalDomain :: Iso' GeoPolygon GeoPolygonalDomain Source #

Interpret the GeoPolygon as a Polygonal domain

Orphan instances

Wrapped GeoPolygon Source # 
Instance details

Associated Types

type Unwrapped GeoPolygon 
Instance details

Defined in HGeometry.GeoJSON

type Unwrapped GeoPolygon = GUnwrapped (Rep GeoPolygon)

Methods

_Wrapped' :: Iso' GeoPolygon (Unwrapped GeoPolygon) Source #

HasCoordinates PointXY PointXY Source # 
Instance details

Methods

coordinates :: IndexedTraversal1 Int PointXY PointXY (NumType PointXY) (NumType PointXY)

HasCoordinates PointXYZ PointXYZ Source # 
Instance details

Methods

coordinates :: IndexedTraversal1 Int PointXYZ PointXYZ (NumType PointXYZ) (NumType PointXYZ)

HasCoordinates PointXYZM PointXYZM Source # 
Instance details

Methods

coordinates :: IndexedTraversal1 Int PointXYZM PointXYZM (NumType PointXYZM) (NumType PointXYZM)

HasVector PointXY PointXY Source # 
Instance details

Methods

vector :: forall (d :: Nat) r s. (Dimension PointXY ~ d, NumType PointXY ~ r, Dimension PointXY ~ d, NumType PointXY ~ s) => Lens PointXY PointXY (Vector d r) (Vector d s)

HasVector PointXYZ PointXYZ Source # 
Instance details

Methods

vector :: forall (d :: Nat) r s. (Dimension PointXYZ ~ d, NumType PointXYZ ~ r, Dimension PointXYZ ~ d, NumType PointXYZ ~ s) => Lens PointXYZ PointXYZ (Vector d r) (Vector d s)

HasVector PointXYZM PointXYZM Source # 
Instance details

Methods

vector :: forall (d :: Nat) r s. (Dimension PointXYZM ~ d, NumType PointXYZM ~ r, Dimension PointXYZM ~ d, NumType PointXYZM ~ s) => Lens PointXYZM PointXYZM (Vector d r) (Vector d s)

Rewrapped GeoPolygon GeoPolygon Source # 
Instance details

Affine_ PointXY 2 Double Source # 
Instance details

Methods

(.-.) :: PointXY -> PointXY -> Vector 2 Double

(.+^) :: PointXY -> Vector 2 Double -> PointXY

(.-^) :: PointXY -> Vector 2 Double -> PointXY

Affine_ PointXYZ 3 Double Source # 
Instance details

Methods

(.-.) :: PointXYZ -> PointXYZ -> Vector 3 Double

(.+^) :: PointXYZ -> Vector 3 Double -> PointXYZ

(.-^) :: PointXYZ -> Vector 3 Double -> PointXYZ

Affine_ PointXYZM 4 Double Source # 
Instance details

Methods

(.-.) :: PointXYZM -> PointXYZM -> Vector 4 Double

(.+^) :: PointXYZM -> Vector 4 Double -> PointXYZM

(.-^) :: PointXYZM -> Vector 4 Double -> PointXYZM

Point_ PointXY 2 Double Source # 
Instance details

Methods

coord' :: Int -> IndexedTraversal' Int PointXY Double

Point_ PointXYZ 3 Double Source # 
Instance details

Methods

coord' :: Int -> IndexedTraversal' Int PointXYZ Double

Point_ PointXYZM 4 Double Source # 
Instance details

Methods

coord' :: Int -> IndexedTraversal' Int PointXYZM Double