2020
2121(* https://developer.mozilla.org/en-US/docs/Web/API/EventSource *)
2222open Js
23-
23+ open Dom
2424type state =
2525 | CONNECTING
2626 | OPEN
2727 | CLOSED
2828
29-
3029class type ['a ] messageEvent = object
3130 inherit ['a] Dom. event
3231 method data : js_string t readonly_prop
@@ -35,19 +34,15 @@ class type ['a] messageEvent = object
3534 (* method source : unit *)
3635end
3736
38-
39- type ('a,'b) handler = ('a ,'b -> unit ) meth_callback
40- let handler f = Js. wrap_callback f
4137class type eventSource = object ('self)
4238 method url : string t readonly_prop
4339 method withCredentials : bool t readonly_prop
4440 method readyState : state readonly_prop
4541 method close : unit meth
4642
47- method onopen : ('self t, 'self messageEvent t) handler writeonly_prop
48- method onmessage : ('self t, 'self messageEvent t) handler writeonly_prop
49- method onerror : ('self t, 'self messageEvent t) handler writeonly_prop
50- method addEventListener : js_string t -> ('self t, 'self messageEvent t) handler -> bool t -> unit meth
43+ method onopen : ('self t, 'self messageEvent t) event_listener writeonly_prop
44+ method onmessage : ('self t, 'self messageEvent t) event_listener writeonly_prop
45+ method onerror : ('self t, 'self messageEvent t) event_listener writeonly_prop
5146end
5247
5348class type options = object
@@ -61,3 +56,5 @@ let withCredentials b : options t =
6156
6257let eventSource = Js.Unsafe. global##_EventSource
6358let eventSource_options = Js.Unsafe. global##_EventSource
59+
60+ let addEventListener = Dom. addEventListener
0 commit comments