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.LayerSource
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