geojsone

Streaming GeoJSON library
Description

A library for manipulating GeoJSON using a streaming parser. This is useful because GeoJSON can be gigabytes in size.

Install
Published
31 Oct 2022
Authors
Maintainers
Sources
geojson-0.1.0.tbz
sha256=5f3f909bcc028004694842f7397d5bc1f19fce4684619a9ccd2ebd2252d18feb sha512=e3a6ef42983f336cf929bcd651216513e5e5ac1936fae6b320ecc39cd8398310e9e8170a26a765feb13fa4730792fc5eee14c672f373eeec7509fed0a67db11a
Dependencies
odoc with-doc
eio with-test & < "0.7"
eio >= "0.6"
eio_main >= "0.6" & with-test
ezjsonm with-test
mdx with-test
geojson = version
dune >= "2.9"
Reverse Dependencies