package leaflet
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Leaflet.Layer
Source
Basic layers
on event handler layer
add an event listener on layer
for event event
with handler handler
Geojson layers
type for geojson option, used to create geojson
create_geojson geojson
is a new geojson layer
Tile layers
Source
type tile_layer_opt =
| Min_zoom of int
| Max_zoom of int
| Subdomains of string array
| Error_tile_url of string
| Zoom_offset of int
| Tms of bool
| Zoom_reverse of bool
| Detect_retina of bool
| Cross_origin of bool
| Referrer_policy of bool
| Tile_size of Point.t
| Opacity of float
| Update_when_idle of bool
| Update_when_zooming of bool
| Update_interval of int
| Z_index of int
| Bounds of Latlng.t * Latlng.t
| Max_native_zoom of int
| Min_native_zoom of int
| No_wrap of bool
| Pane of string
| Class_name of string
| Keep_buffer of int
create_tile url attribution opts
create a new tile layer
create_tile_osm opts
create a new tile layer with tile server and attribution set to openstreetmap.org
. See https://wiki.openstreetmap.org/wiki/Tile_servers
create_polyline l
create a polyline layer from l