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.GeoFeature

Contents

Types
Lenses
Utils

Description

See Section 2.2 Feature Objects of the GeoJSON spec. Parameterised on the property type

Synopsis

data GeoFeature a = GeoFeature {
- _bbox :: Maybe BoundingBoxWithoutCRS
- _geometry :: GeospatialGeometry
- _properties :: a
- _featureId :: Maybe FeatureID
}
bbox :: forall a f. Functor f => (Maybe BoundingBoxWithoutCRS -> f (Maybe BoundingBoxWithoutCRS)) -> GeoFeature a -> f (GeoFeature a)
geometry :: forall a f. Functor f => (GeospatialGeometry -> f GeospatialGeometry) -> GeoFeature a -> f (GeoFeature a)
properties :: forall a1 a2 f. Functor f => (a1 -> f a2) -> GeoFeature a1 -> f (GeoFeature a2)
featureId :: forall a f. Functor f => (Maybe FeatureID -> f (Maybe FeatureID)) -> GeoFeature a -> f (GeoFeature a)
reWrapGeometry :: GeoFeature a -> GeospatialGeometry -> GeoFeature a

Types

data GeoFeature a Source #

See Section 2.2 Feature Objects of the GeoJSON spec. Parameterised on the property type

Constructors

GeoFeature
Fields _bbox :: Maybe BoundingBoxWithoutCRS _geometry :: GeospatialGeometry _properties :: a _featureId :: Maybe FeatureID

Instances

Instances details

FromJSON a => FromJSON (GeoFeature a) Source #

Decodes Feature objects from GeoJSON

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Methods

parseJSON :: Value -> Parser (GeoFeature a) #

parseJSONList :: Value -> Parser [GeoFeature a] #

omittedField :: Maybe (GeoFeature a) #

ToJSON a => ToJSON (GeoFeature a) Source #

Encodes Feature objects to GeoJSON

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Methods

toJSON :: GeoFeature a -> Value #

toEncoding :: GeoFeature a -> Encoding #

toJSONList :: [GeoFeature a] -> Value #

toEncodingList :: [GeoFeature a] -> Encoding #

omitField :: GeoFeature a -> Bool #

NFData a => NFData (GeoFeature a) Source #

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Methods

rnf :: GeoFeature a -> () #

Generic (GeoFeature a) Source #

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Associated Types

type Rep (GeoFeature a)

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

type Rep (GeoFeature a) = D1 ('MetaData "GeoFeature" "Data.Geospatial.Internal.GeoFeature" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'False) (C1 ('MetaCons "GeoFeature" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_bbox") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BoundingBoxWithoutCRS)) :*: S1 ('MetaSel ('Just "_geometry") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GeospatialGeometry)) :*: (S1 ('MetaSel ('Just "_properties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "_featureId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FeatureID)))))

Methods

from :: GeoFeature a -> Rep (GeoFeature a) x #

to :: Rep (GeoFeature a) x -> GeoFeature a #

Show a => Show (GeoFeature a) Source #

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Methods

showsPrec :: Int -> GeoFeature a -> ShowS #

show :: GeoFeature a -> String #

showList :: [GeoFeature a] -> ShowS #

Eq a => Eq (GeoFeature a) Source #

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

Methods

(==) :: GeoFeature a -> GeoFeature a -> Bool #

(/=) :: GeoFeature a -> GeoFeature a -> Bool #

type Rep (GeoFeature a) Source #

Instance details

Defined in Data.Geospatial.Internal.GeoFeature

type Rep (GeoFeature a) = D1 ('MetaData "GeoFeature" "Data.Geospatial.Internal.GeoFeature" "geojson-4.1.3-39qWD6AMpW6DepGCjU1BIw" 'False) (C1 ('MetaCons "GeoFeature" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_bbox") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe BoundingBoxWithoutCRS)) :*: S1 ('MetaSel ('Just "_geometry") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GeospatialGeometry)) :*: (S1 ('MetaSel ('Just "_properties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "_featureId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FeatureID)))))

Lenses

bbox :: forall a f. Functor f => (Maybe BoundingBoxWithoutCRS -> f (Maybe BoundingBoxWithoutCRS)) -> GeoFeature a -> f (GeoFeature a) Source #

geometry :: forall a f. Functor f => (GeospatialGeometry -> f GeospatialGeometry) -> GeoFeature a -> f (GeoFeature a) Source #

properties :: forall a1 a2 f. Functor f => (a1 -> f a2) -> GeoFeature a1 -> f (GeoFeature a2) Source #

featureId :: forall a f. Functor f => (Maybe FeatureID -> f (Maybe FeatureID)) -> GeoFeature a -> f (GeoFeature a) Source #

Utils

reWrapGeometry :: GeoFeature a -> GeospatialGeometry -> GeoFeature a Source #