Data.Geospatial.Internal.GeoFeatureCollection

See Section 2.3 Feature Collection Objects of the GeoJSON spec

Types

data GeoFeatureCollection a

See Section 2.3 Feature Collection Objects of the GeoJSON spec

Constructors

GeoFeatureCollection

Fields

• _boundingbox :: Maybe BoundingBoxWithoutCRS
• _geofeatures :: [GeoFeature a]

Instances

Eq a => Eq (GeoFeatureCollection a)

Methods

(==) :: GeoFeatureCollection a -> GeoFeatureCollection a -> Bool

(/=) :: GeoFeatureCollection a -> GeoFeatureCollection a -> Bool

Show a => Show (GeoFeatureCollection a)

Methods

showsPrec :: Int -> GeoFeatureCollection a -> ShowS

show :: GeoFeatureCollection a -> String

showList :: [GeoFeatureCollection a] -> ShowS

ToJSON a => ToJSON (GeoFeatureCollection a)

Encode FeatureCollection objects to GeoJSON

Methods

toJSON :: GeoFeatureCollection a -> Value

toEncoding :: GeoFeatureCollection a -> Encoding

toJSONList :: [GeoFeatureCollection a] -> Value

toEncodingList :: [GeoFeatureCollection a] -> Encoding

FromJSON a => FromJSON (GeoFeatureCollection a)

Decode FeatureCollection objects from GeoJSON

Methods

parseJSON :: Value -> Parser (GeoFeatureCollection a)

parseJSONList :: Value -> Parser [GeoFeatureCollection a]

Lenses

boundingbox :: forall a. Lens' (GeoFeatureCollection a) (Maybe BoundingBoxWithoutCRS)

geofeatures :: forall a a. Lens (GeoFeatureCollection a) (GeoFeatureCollection a) [GeoFeature a] [GeoFeature a]