Data.Geospatial.Internal.GeoFeature

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

Types

data GeoFeature a

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

Eq a => Eq (GeoFeature a)

Defined in Data.Geospatial.Internal.GeoFeature

Methods

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

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

Show a => Show (GeoFeature a)

Defined in Data.Geospatial.Internal.GeoFeature

Methods

showsPrec :: Int -> GeoFeature a -> ShowS

show :: GeoFeature a -> String

showList :: [GeoFeature a] -> ShowS

ToJSON a => ToJSON (GeoFeature a)

Encodes Feature objects to GeoJSON

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)

Decodes Feature objects from GeoJSON

Defined in Data.Geospatial.Internal.GeoFeature

Methods

parseJSON :: Value -> Parser (GeoFeature a)

parseJSONList :: Value -> Parser [GeoFeature a]

Lenses

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)