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. Lens' (GeoFeature a) (Maybe BoundingBoxWithoutCRS)
geometry :: forall a. Lens' (GeoFeature a) GeospatialGeometry
properties :: forall a a. Lens (GeoFeature a) (GeoFeature a) a a
featureId :: forall a. Lens' (GeoFeature a) (Maybe FeatureID)
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

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 #
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 #
Generic (GeoFeature a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeature Associated Types type Rep (GeoFeature a) :: Type -> Type # Methods from :: GeoFeature a -> Rep (GeoFeature a) x # to :: Rep (GeoFeature a) x -> 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 #
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] #
NFData a => NFData (GeoFeature a) Source #
Instance details Defined in Data.Geospatial.Internal.GeoFeature Methods rnf :: GeoFeature a -> () #
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.1-1IR3FdCtt716raEOTlDVZe" '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. Lens' (GeoFeature a) (Maybe BoundingBoxWithoutCRS) Source #

geometry :: forall a. Lens' (GeoFeature a) GeospatialGeometry Source #

properties :: forall a a. Lens (GeoFeature a) (GeoFeature a) a a Source #

featureId :: forall a. Lens' (GeoFeature a) (Maybe FeatureID) Source #

Utils

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