kumikode/leaflet
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

create_geojson need a json object

Browse source
This commit is contained in:
Swrup 2024-07-18 10:36:27 +02:00
parent de5fe018d5
commit f2a594f75d
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/layer.ml
View file

@ -110,7 +110,7 @@ let geojson_opt_to_jv = function
| Filter f -> Jv.repr f | Filter f -> Jv.repr f
| Coords_to_latlng f -> Jv.repr f | Coords_to_latlng f -> Jv.repr f
let create_geojson : Jv.t -> geojson_opt array -> [ `Geojson ] t = let create_geojson : Brr.Json.t -> geojson_opt array -> [ `Geojson ] t =
fun geojson options -> fun geojson options ->
let l = let l =
Array.map (fun o -> (geojson_opt_to_string o, geojson_opt_to_jv o)) options Array.map (fun o -> (geojson_opt_to_string o, geojson_opt_to_jv o)) options

2
src/layer.mli
View file

@ -62,7 +62,7 @@ type geojson_opt =
| Markers_inherit_options of bool | Markers_inherit_options of bool
(** [create_geojson geojson] is a new geojson layer *) (** [create_geojson geojson] is a new geojson layer *)
val create_geojson : Jv.t -> geojson_opt array -> [ `Geojson ] t val create_geojson : Brr.Json.t -> geojson_opt array -> [ `Geojson ] t
(** Tile layers *) (** Tile layers *)