| Copyright | (C) 2014-2021 HS-GeoJSON Project |
|---|---|
| License | BSD-style (see the file LICENSE.md) |
| Maintainer | Andrew Newman |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Geospatial.Internal.GeoFeatureCollection
Description
See Section 2.3 Feature Collection Objects of the GeoJSON spec
Synopsis
- data GeoFeatureCollection a = GeoFeatureCollection {}
- boundingbox :: forall a f. Functor f => (Maybe BoundingBoxWithoutCRS -> f (Maybe BoundingBoxWithoutCRS)) -> GeoFeatureCollection a -> f (GeoFeatureCollection a)
- geofeatures :: forall a1 a2 f. Functor f => (Seq (GeoFeature a1) -> f (Seq (GeoFeature a2))) -> GeoFeatureCollection a1 -> f (GeoFeatureCollection a2)
Types
data GeoFeatureCollection a Source #
See Section 2.3 Feature Collection Objects of the GeoJSON spec
Constructors
| GeoFeatureCollection | |
Fields | |
Instances
Lenses
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 #