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

use gadts for event, clean repo

Browse source
This commit is contained in:
zapashcanon 2022-04-08 22:43:31 +02:00
parent d9f25e4d8d
commit f4ab3e17ad
No known key found for this signature in database
GPG key ID: 8981C3C62D1D28F1
8 changed files with 118 additions and 126 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/map.mli
View file

@ -1,14 +1,5 @@
type t
module Event : sig
(* TODO do this need to be wrapped in Brr.Ev.type' ?*)
val click : Ev.Mouse.t Brr.Ev.type'
val moveend : Ev.Event.t Brr.Ev.type'
val zoomend : Ev.Event.t Brr.Ev.type'
end
val create : ?options:Jv.t -> string -> t
val invalidate_size : t -> unit
@ -19,7 +10,7 @@ val fit_world : t -> unit
val get_container : t -> Brr.El.t
val on : event:'a Brr.Ev.type' -> handler:('a -> 'b) -> t -> unit
val on : 'a Event.sub -> ('a Event.t -> 'b) -> t -> unit
val get_center : t -> Latlng.t