Copyright | (C) 2016 Markus Barenhoff |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Markus Barenhoff <mbarenh@alios.org> |
Stability | provisional |
Portability | FunctionalDependencies, TypeFamilies, GADTs RankNTypes |
Safe Haskell | None |
Language | Haskell2010 |
- data Feature v a t
- type FeatureJSON = Feature Value
- _FeatureJSON :: (GeoJSONObject a, BaseType t) => Iso' (GeoJSON a t, Maybe Value, Value) (FeatureJSON a t)
- type FeatureBSON = Feature Value
- _FeatureBSON :: (GeoJSONObject a, BaseType t) => Iso' (GeoJSON a t, Maybe Value, Value) (FeatureBSON a t)
- data FeatureCollection v t
- fcZero :: FeatureCollection v t
- fcNew :: (GeoJSONObject a, BaseType t) => Feature v a t -> FeatureCollection v t
- fcInsert :: (GeoJSONObject a, BaseType t) => FeatureCollection v t -> Feature v a t -> FeatureCollection v t
Feature
A GeoJSON Feature record.
See _FeatureJSON
for feature records that can be converted from/to JSON.
See _FeatureBSON
for feature records that can be converted from/to BSON.
(GeoJSONObject a, BaseType t) => Eq (FeatureBSON a t) Source | |
(GeoJSONObject a, BaseType t) => Eq (FeatureJSON a t) Source | |
(GeoJSONObject a, BaseType t) => Show (FeatureBSON a t) Source | |
(GeoJSONObject a, BaseType t) => Show (FeatureJSON a t) Source | |
(GeoJSONObject a, BaseType t) => ToJSON (FeatureJSON a t) Source | |
(GeoJSONObject a, BaseType t) => FromJSON (FeatureJSON a t) Source | |
(GeoJSONObject a, BaseType t) => Val (FeatureBSON a t) Source | |
BaseType t => HasFlatCoordinates (Feature v a t) t Source |
type FeatureJSON = Feature Value Source
feature records that can be converted from/to JSON.
_FeatureJSON :: (GeoJSONObject a, BaseType t) => Iso' (GeoJSON a t, Maybe Value, Value) (FeatureJSON a t) Source
convert from to a JSON Feature
. The 3-tupel contains:
a GeoJSONObject
,
an optional id,
a properties value
type FeatureBSON = Feature Value Source
feature records that can be converted from/to BSON.
_FeatureBSON :: (GeoJSONObject a, BaseType t) => Iso' (GeoJSON a t, Maybe Value, Value) (FeatureBSON a t) Source
convert from to a BSON Feature
. The 3-tupel contains:
a GeoJSONObject
,
an optional id,
a properties value
FeatureCollection
data FeatureCollection v t Source
a collection of multiple Feature
BaseType t => HasFlatCoordinates (FeatureCollection v t) t Source |
fcZero :: FeatureCollection v t Source
create an empty FeatureCollection
fcNew :: (GeoJSONObject a, BaseType t) => Feature v a t -> FeatureCollection v t Source
create a FeatureCollection
with an initial element.
fcInsert :: (GeoJSONObject a, BaseType t) => FeatureCollection v t -> Feature v a t -> FeatureCollection v t Source
insert an element into a FeatureCollection