| 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.GeoJSON.Features
Contents
Description
- 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.
Instances
| (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
Instances
| 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