package geojsone

  1. Overview
  2. Docs

Module G.GeometrySource

Geometries

Sourcetype json = json

A type to represt JSON values.

Sourcemodule Position : sig ... end
Sourcemodule Point : sig ... end
Sourcemodule MultiPoint : sig ... end
Sourcemodule LineString : sig ... end
Sourcemodule MultiLineString : sig ... end
Sourcemodule Polygon : sig ... end
Sourcemodule MultiPolygon : sig ... end
Sourcetype geometry =
  1. | Point of Point.t
  2. | MultiPoint of MultiPoint.t
  3. | LineString of LineString.t
  4. | MultiLineString of MultiLineString.t
  5. | Polygon of Polygon.t
  6. | MultiPolygon of MultiPolygon.t
  7. | Collection of t list
Sourceand t
Sourceval foreign_members : t -> (string * json) list

foreign_members t will extract name/value pair of a foreign member from t (a GeoJSON object)

Sourceval geometry : t -> geometry

geometry t will extract the underlying geometry.

Sourceval v : ?foreign_members:(string * json) list -> geometry -> t