geojson-4.1.3: src/Data/Geospatial.hs
-------------------------------------------------------------------
-- |
-- Module : Data.Geospatial
-- Copyright : (C) 2014-2021 HS-GeoJSON Project
-- License : BSD-style (see the file LICENSE.md)
-- Maintainer : Andrew Newman
--
-- Refer to the GeoJSON Spec http://www.geojson.org/geojson-spec.html
module Data.Geospatial
( -- * Types
Latitude,
Longitude,
Easting,
Northing,
Altitude,
FeatureID (..),
GeoPositionWithoutCRS (..),
GeoPosition (..),
GeoPoint (..),
retrieveXY,
PointXY (..),
PointXYZ (..),
PointXYZM (..),
GeoMultiPoint (..),
splitGeoMultiPoint,
mergeGeoPoints,
GeoPolygon (..),
GeoMultiPolygon (..),
splitGeoMultiPolygon,
mergeGeoPolygons,
GeoLine (..),
GeoMultiLine (..),
splitGeoMultiLine,
mergeGeoLines,
GeospatialGeometry (..),
Name,
Code,
Href,
FormatString,
ProjectionType,
CRSObject (..),
BoundingBoxWithoutCRS (..),
GeoFeature (..),
reWrapGeometry,
GeoFeatureCollection (..),
-- * Functions
stripCRSFromPosition,
defaultCRS,
-- * Lenses
-- ** Geometry Lenses
unGeoPoint,
unGeoMultiPoint,
unGeoPolygon,
unGeoLine,
unGeoMultiLine,
unGeoMultiPolygon,
-- ** Feature Lenses
bbox,
geometry,
properties,
featureId,
boundingbox,
geofeatures,
-- * Prisms
-- ** BasicTypes
HasGeoPositionWithoutCRS (..),
-- ** Geometry
_NoGeometry,
_Point,
_MultiPoint,
_Polygon,
_MultiPolygon,
_Line,
_MultiLine,
_Collection,
-- ** CRS
_NoCRS,
_NamedCRS,
_EPSG,
_LinkedCRS,
)
where
import Data.Geospatial.Internal.BasicTypes
import Data.Geospatial.Internal.CRS
import Data.Geospatial.Internal.GeoFeature
import Data.Geospatial.Internal.GeoFeatureCollection
import Data.Geospatial.Internal.GeoPosition
import Data.Geospatial.Internal.Geometry