@rescript/webapi 0.1.0-experimental-a0d5168 → 0.1.0-experimental-fb395c3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/src/CSSFontLoadingAPI/FontFaceSet.res +3 -79
- package/src/CanvasAPI/OffscreenCanvas.res +3 -79
- package/src/ChannelMessagingAPI/MessagePort.res +3 -81
- package/src/ClipboardAPI/Clipboard.res +3 -80
- package/src/DOMAPI/Animation.res +3 -80
- package/src/DOMAPI/CharacterData.res +68 -231
- package/src/DOMAPI/Comment.res +4 -271
- package/src/DOMAPI/Document.res +4 -178
- package/src/DOMAPI/DocumentFragment.res +58 -220
- package/src/DOMAPI/Element.res +313 -477
- package/src/DOMAPI/HTMLAnchorElement.res +3 -691
- package/src/DOMAPI/HTMLAreaElement.res +3 -685
- package/src/DOMAPI/HTMLAudioElement.res +3 -748
- package/src/DOMAPI/HTMLBRElement.res +3 -684
- package/src/DOMAPI/HTMLBaseElement.res +3 -685
- package/src/DOMAPI/HTMLBodyElement.res +3 -685
- package/src/DOMAPI/HTMLButtonElement.res +3 -691
- package/src/DOMAPI/HTMLCanvasElement.res +3 -691
- package/src/DOMAPI/HTMLDListElement.res +3 -688
- package/src/DOMAPI/HTMLDataElement.res +3 -685
- package/src/DOMAPI/HTMLDataListElement.res +3 -695
- package/src/DOMAPI/HTMLDialogElement.res +3 -691
- package/src/DOMAPI/HTMLDivElement.res +3 -684
- package/src/DOMAPI/HTMLElement.res +40 -666
- package/src/DOMAPI/HTMLEmbedElement.res +3 -688
- package/src/DOMAPI/HTMLFieldSetElement.res +3 -695
- package/src/DOMAPI/HTMLFormElement.res +3 -685
- package/src/DOMAPI/HTMLFrameSetElement.res +3 -695
- package/src/DOMAPI/HTMLHRElement.res +3 -684
- package/src/DOMAPI/HTMLHeadElement.res +3 -685
- package/src/DOMAPI/HTMLHeadingElement.res +3 -691
- package/src/DOMAPI/HTMLHtmlElement.res +3 -685
- package/src/DOMAPI/HTMLIFrameElement.res +3 -691
- package/src/DOMAPI/HTMLImageElement.res +3 -688
- package/src/DOMAPI/HTMLInputElement.res +3 -688
- package/src/DOMAPI/HTMLLIElement.res +3 -684
- package/src/DOMAPI/HTMLLabelElement.res +3 -688
- package/src/DOMAPI/HTMLLegendElement.res +3 -691
- package/src/DOMAPI/HTMLLinkElement.res +3 -685
- package/src/DOMAPI/HTMLMapElement.res +3 -684
- package/src/DOMAPI/HTMLMediaElement.res +49 -722
- package/src/DOMAPI/HTMLMenuElement.res +3 -685
- package/src/DOMAPI/HTMLMetaElement.res +3 -685
- package/src/DOMAPI/HTMLMeterElement.res +3 -688
- package/src/DOMAPI/HTMLModElement.res +3 -684
- package/src/DOMAPI/HTMLOListElement.res +3 -688
- package/src/DOMAPI/HTMLObjectElement.res +3 -691
- package/src/DOMAPI/HTMLOptGroupElement.res +3 -695
- package/src/DOMAPI/HTMLOptionElement.res +3 -691
- package/src/DOMAPI/HTMLOutputElement.res +3 -691
- package/src/DOMAPI/HTMLParagraphElement.res +3 -699
- package/src/DOMAPI/HTMLPictureElement.res +3 -691
- package/src/DOMAPI/HTMLPreElement.res +3 -684
- package/src/DOMAPI/HTMLProgressElement.res +3 -695
- package/src/DOMAPI/HTMLQuoteElement.res +3 -688
- package/src/DOMAPI/HTMLScriptElement.res +3 -691
- package/src/DOMAPI/HTMLSelectElement.res +4 -692
- package/src/DOMAPI/HTMLSlotElement.res +3 -685
- package/src/DOMAPI/HTMLSourceElement.res +3 -691
- package/src/DOMAPI/HTMLSpanElement.res +3 -685
- package/src/DOMAPI/HTMLStyleElement.res +3 -688
- package/src/DOMAPI/HTMLTableCaptionElement.res +3 -712
- package/src/DOMAPI/HTMLTableCellElement.res +3 -699
- package/src/DOMAPI/HTMLTableElement.res +3 -688
- package/src/DOMAPI/HTMLTableRowElement.res +3 -695
- package/src/DOMAPI/HTMLTableSectionElement.res +3 -712
- package/src/DOMAPI/HTMLTemplateElement.res +3 -695
- package/src/DOMAPI/HTMLTextAreaElement.res +3 -695
- package/src/DOMAPI/HTMLTimeElement.res +3 -685
- package/src/DOMAPI/HTMLTitleElement.res +3 -688
- package/src/DOMAPI/HTMLTrackElement.res +3 -688
- package/src/DOMAPI/HTMLUListElement.res +3 -688
- package/src/DOMAPI/HTMLVideoElement.res +3 -748
- package/src/DOMAPI/MediaQueryList.res +3 -80
- package/src/DOMAPI/Node.res +59 -124
- package/src/DOMAPI/SVGGraphicsElement.res +4 -660
- package/src/DOMAPI/ScreenOrientation.res +3 -79
- package/src/DOMAPI/ShadowRoot.res +4 -255
- package/src/DOMAPI/Text.res +4 -271
- package/src/DOMAPI/TextTrackList.res +3 -79
- package/src/DOMAPI/Window.res +4 -80
- package/src/EncryptedMediaExtensionsAPI/MediaKeySession.res +3 -80
- package/src/EventAPI/AbortSignal.res +3 -80
- package/src/EventAPI/Event.res +28 -16
- package/src/EventAPI/EventTarget.res +51 -39
- package/src/FileAPI/Blob.res +26 -15
- package/src/FileAPI/File.res +4 -31
- package/src/IndexedDBAPI/IDBDatabase.res +3 -79
- package/src/IndexedDBAPI/IDBTransaction.res +3 -80
- package/src/MediaCaptureAndStreamsAPI/MediaDevices.res +3 -79
- package/src/MediaCaptureAndStreamsAPI/MediaStream.res +3 -80
- package/src/MediaCaptureAndStreamsAPI/MediaStreamTrack.res +3 -81
- package/src/NotificationAPI/Notification.res +3 -80
- package/src/PerformanceAPI/Performance.res +3 -79
- package/src/RemotePlaybackAPI/RemotePlayback.res +3 -80
- package/src/ScreenWakeLockAPI/WakeLockSentinel.res +3 -79
- package/src/ServiceWorkerAPI/ServiceWorker.res +3 -79
- package/src/ServiceWorkerAPI/ServiceWorkerContainer.res +3 -79
- package/src/ServiceWorkerAPI/ServiceWorkerRegistration.res +3 -79
- package/src/WebAudioAPI/AnalyserNode.res +4 -148
- package/src/WebAudioAPI/AudioBufferSourceNode.res +4 -162
- package/src/WebAudioAPI/AudioContext.res +4 -212
- package/src/WebAudioAPI/AudioNode.res +39 -113
- package/src/WebAudioAPI/AudioProcessingEvent.res +4 -30
- package/src/WebAudioAPI/AudioScheduledSourceNode.res +20 -162
- package/src/WebAudioAPI/AudioWorkletNode.res +4 -149
- package/src/WebAudioAPI/BaseAudioContext.res +85 -155
- package/src/WebAudioAPI/BiquadFilterNode.res +4 -149
- package/src/WebAudioAPI/ChannelMergerNode.res +4 -149
- package/src/WebAudioAPI/ChannelSplitterNode.res +4 -149
- package/src/WebAudioAPI/ConstantSourceNode.res +4 -162
- package/src/WebAudioAPI/ConvolverNode.res +4 -149
- package/src/WebAudioAPI/DelayNode.res +4 -143
- package/src/WebAudioAPI/DynamicsCompressorNode.res +4 -152
- package/src/WebAudioAPI/GainNode.res +4 -142
- package/src/WebAudioAPI/IIRFilterNode.res +4 -149
- package/src/WebAudioAPI/MediaElementAudioSourceNode.res +4 -158
- package/src/WebAudioAPI/MediaStreamAudioDestinationNode.res +4 -158
- package/src/WebAudioAPI/MediaStreamAudioSourceNode.res +4 -158
- package/src/WebAudioAPI/OfflineAudioCompletionEvent.res +4 -30
- package/src/WebAudioAPI/OfflineAudioContext.res +4 -214
- package/src/WebAudioAPI/OscillatorNode.res +4 -162
- package/src/WebAudioAPI/PannerNode.res +4 -143
- package/src/WebAudioAPI/StereoPannerNode.res +4 -149
- package/src/WebAudioAPI/WaveShaperNode.res +4 -149
- package/src/WebSocketsAPI/CloseEvent.res +4 -30
- package/src/WebSocketsAPI/WebSocket.res +3 -79
- package/src/WebSpeechAPI/SpeechSynthesis.res +3 -79
- package/src/WebSpeechAPI/SpeechSynthesisUtterance.res +4 -81
- package/src/WebStorageAPI/StorageEvent.res +4 -30
- package/src/WebVTTAPI/TextTrack.res +3 -79
|
@@ -1,85 +1,9 @@
|
|
|
1
1
|
open EventAPI
|
|
2
2
|
open IndexedDBAPI
|
|
3
3
|
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
9
|
-
|
|
10
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
11
|
-
|
|
12
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
13
|
-
|
|
14
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
15
|
-
|
|
16
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
17
|
-
|
|
18
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
19
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
20
|
-
*/
|
|
21
|
-
@send
|
|
22
|
-
external addEventListener: (
|
|
23
|
-
idbDatabase,
|
|
24
|
-
~type_: eventType,
|
|
25
|
-
~callback: eventListener<'event>,
|
|
26
|
-
~options: addEventListenerOptions=?,
|
|
27
|
-
) => unit = "addEventListener"
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
|
|
31
|
-
|
|
32
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
33
|
-
|
|
34
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
35
|
-
|
|
36
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
37
|
-
|
|
38
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
39
|
-
|
|
40
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
41
|
-
|
|
42
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
43
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
44
|
-
*/
|
|
45
|
-
@send
|
|
46
|
-
external addEventListener2: (
|
|
47
|
-
idbDatabase,
|
|
48
|
-
~type_: eventType,
|
|
49
|
-
~callback: eventListener<'event>,
|
|
50
|
-
~options: bool=?,
|
|
51
|
-
) => unit = "addEventListener"
|
|
52
|
-
|
|
53
|
-
/**
|
|
54
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
55
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
56
|
-
*/
|
|
57
|
-
@send
|
|
58
|
-
external removeEventListener: (
|
|
59
|
-
idbDatabase,
|
|
60
|
-
~type_: eventType,
|
|
61
|
-
~callback: eventListener<'event>,
|
|
62
|
-
~options: eventListenerOptions=?,
|
|
63
|
-
) => unit = "removeEventListener"
|
|
64
|
-
|
|
65
|
-
/**
|
|
66
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
67
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
68
|
-
*/
|
|
69
|
-
@send
|
|
70
|
-
external removeEventListener2: (
|
|
71
|
-
idbDatabase,
|
|
72
|
-
~type_: eventType,
|
|
73
|
-
~callback: eventListener<'event>,
|
|
74
|
-
~options: bool=?,
|
|
75
|
-
) => unit = "removeEventListener"
|
|
76
|
-
|
|
77
|
-
/**
|
|
78
|
-
Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
|
|
79
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
|
|
80
|
-
*/
|
|
81
|
-
@send
|
|
82
|
-
external dispatchEvent: (idbDatabase, event) => bool = "dispatchEvent"
|
|
4
|
+
include EventTarget.Impl({
|
|
5
|
+
type t = idbDatabase
|
|
6
|
+
})
|
|
83
7
|
|
|
84
8
|
/**
|
|
85
9
|
Returns a new transaction with the given mode ("readonly" or "readwrite") and scope which can be a single object store name or an array of names.
|
|
@@ -1,85 +1,8 @@
|
|
|
1
|
-
open EventAPI
|
|
2
1
|
open IndexedDBAPI
|
|
3
2
|
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
9
|
-
|
|
10
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
11
|
-
|
|
12
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
13
|
-
|
|
14
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
15
|
-
|
|
16
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
17
|
-
|
|
18
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
19
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
20
|
-
*/
|
|
21
|
-
@send
|
|
22
|
-
external addEventListener: (
|
|
23
|
-
idbTransaction,
|
|
24
|
-
~type_: eventType,
|
|
25
|
-
~callback: eventListener<'event>,
|
|
26
|
-
~options: addEventListenerOptions=?,
|
|
27
|
-
) => unit = "addEventListener"
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
|
|
31
|
-
|
|
32
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
33
|
-
|
|
34
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
35
|
-
|
|
36
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
37
|
-
|
|
38
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
39
|
-
|
|
40
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
41
|
-
|
|
42
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
43
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
44
|
-
*/
|
|
45
|
-
@send
|
|
46
|
-
external addEventListener2: (
|
|
47
|
-
idbTransaction,
|
|
48
|
-
~type_: eventType,
|
|
49
|
-
~callback: eventListener<'event>,
|
|
50
|
-
~options: bool=?,
|
|
51
|
-
) => unit = "addEventListener"
|
|
52
|
-
|
|
53
|
-
/**
|
|
54
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
55
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
56
|
-
*/
|
|
57
|
-
@send
|
|
58
|
-
external removeEventListener: (
|
|
59
|
-
idbTransaction,
|
|
60
|
-
~type_: eventType,
|
|
61
|
-
~callback: eventListener<'event>,
|
|
62
|
-
~options: eventListenerOptions=?,
|
|
63
|
-
) => unit = "removeEventListener"
|
|
64
|
-
|
|
65
|
-
/**
|
|
66
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
67
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
68
|
-
*/
|
|
69
|
-
@send
|
|
70
|
-
external removeEventListener2: (
|
|
71
|
-
idbTransaction,
|
|
72
|
-
~type_: eventType,
|
|
73
|
-
~callback: eventListener<'event>,
|
|
74
|
-
~options: bool=?,
|
|
75
|
-
) => unit = "removeEventListener"
|
|
76
|
-
|
|
77
|
-
/**
|
|
78
|
-
Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
|
|
79
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
|
|
80
|
-
*/
|
|
81
|
-
@send
|
|
82
|
-
external dispatchEvent: (idbTransaction, event) => bool = "dispatchEvent"
|
|
3
|
+
include EventTarget.Impl({
|
|
4
|
+
type t = idbTransaction
|
|
5
|
+
})
|
|
83
6
|
|
|
84
7
|
/**
|
|
85
8
|
Returns an IDBObjectStore in the transaction's scope.
|
|
@@ -1,85 +1,9 @@
|
|
|
1
1
|
open EventAPI
|
|
2
2
|
open MediaCaptureAndStreamsAPI
|
|
3
3
|
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
9
|
-
|
|
10
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
11
|
-
|
|
12
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
13
|
-
|
|
14
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
15
|
-
|
|
16
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
17
|
-
|
|
18
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
19
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
20
|
-
*/
|
|
21
|
-
@send
|
|
22
|
-
external addEventListener: (
|
|
23
|
-
mediaDevices,
|
|
24
|
-
~type_: eventType,
|
|
25
|
-
~callback: eventListener<'event>,
|
|
26
|
-
~options: addEventListenerOptions=?,
|
|
27
|
-
) => unit = "addEventListener"
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
|
|
31
|
-
|
|
32
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
33
|
-
|
|
34
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
35
|
-
|
|
36
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
37
|
-
|
|
38
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
39
|
-
|
|
40
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
41
|
-
|
|
42
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
43
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
44
|
-
*/
|
|
45
|
-
@send
|
|
46
|
-
external addEventListener2: (
|
|
47
|
-
mediaDevices,
|
|
48
|
-
~type_: eventType,
|
|
49
|
-
~callback: eventListener<'event>,
|
|
50
|
-
~options: bool=?,
|
|
51
|
-
) => unit = "addEventListener"
|
|
52
|
-
|
|
53
|
-
/**
|
|
54
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
55
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
56
|
-
*/
|
|
57
|
-
@send
|
|
58
|
-
external removeEventListener: (
|
|
59
|
-
mediaDevices,
|
|
60
|
-
~type_: eventType,
|
|
61
|
-
~callback: eventListener<'event>,
|
|
62
|
-
~options: eventListenerOptions=?,
|
|
63
|
-
) => unit = "removeEventListener"
|
|
64
|
-
|
|
65
|
-
/**
|
|
66
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
67
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
68
|
-
*/
|
|
69
|
-
@send
|
|
70
|
-
external removeEventListener2: (
|
|
71
|
-
mediaDevices,
|
|
72
|
-
~type_: eventType,
|
|
73
|
-
~callback: eventListener<'event>,
|
|
74
|
-
~options: bool=?,
|
|
75
|
-
) => unit = "removeEventListener"
|
|
76
|
-
|
|
77
|
-
/**
|
|
78
|
-
Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
|
|
79
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
|
|
80
|
-
*/
|
|
81
|
-
@send
|
|
82
|
-
external dispatchEvent: (mediaDevices, event) => bool = "dispatchEvent"
|
|
4
|
+
include EventTarget.Impl({
|
|
5
|
+
type t = mediaDevices
|
|
6
|
+
})
|
|
83
7
|
|
|
84
8
|
/**
|
|
85
9
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaDevices/enumerateDevices)
|
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
open EventAPI
|
|
2
1
|
open MediaCaptureAndStreamsAPI
|
|
3
2
|
|
|
4
3
|
/**
|
|
@@ -19,85 +18,9 @@ external make2: mediaStream => mediaStream = "MediaStream"
|
|
|
19
18
|
@new
|
|
20
19
|
external make3: array<mediaStreamTrack> => mediaStream = "MediaStream"
|
|
21
20
|
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
27
|
-
|
|
28
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
29
|
-
|
|
30
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
31
|
-
|
|
32
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
33
|
-
|
|
34
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
35
|
-
|
|
36
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
37
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
38
|
-
*/
|
|
39
|
-
@send
|
|
40
|
-
external addEventListener: (
|
|
41
|
-
mediaStream,
|
|
42
|
-
~type_: eventType,
|
|
43
|
-
~callback: eventListener<'event>,
|
|
44
|
-
~options: addEventListenerOptions=?,
|
|
45
|
-
) => unit = "addEventListener"
|
|
46
|
-
|
|
47
|
-
/**
|
|
48
|
-
Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
|
|
49
|
-
|
|
50
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
51
|
-
|
|
52
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
53
|
-
|
|
54
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
55
|
-
|
|
56
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
57
|
-
|
|
58
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
59
|
-
|
|
60
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
61
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
62
|
-
*/
|
|
63
|
-
@send
|
|
64
|
-
external addEventListener2: (
|
|
65
|
-
mediaStream,
|
|
66
|
-
~type_: eventType,
|
|
67
|
-
~callback: eventListener<'event>,
|
|
68
|
-
~options: bool=?,
|
|
69
|
-
) => unit = "addEventListener"
|
|
70
|
-
|
|
71
|
-
/**
|
|
72
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
73
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
74
|
-
*/
|
|
75
|
-
@send
|
|
76
|
-
external removeEventListener: (
|
|
77
|
-
mediaStream,
|
|
78
|
-
~type_: eventType,
|
|
79
|
-
~callback: eventListener<'event>,
|
|
80
|
-
~options: eventListenerOptions=?,
|
|
81
|
-
) => unit = "removeEventListener"
|
|
82
|
-
|
|
83
|
-
/**
|
|
84
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
85
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
86
|
-
*/
|
|
87
|
-
@send
|
|
88
|
-
external removeEventListener2: (
|
|
89
|
-
mediaStream,
|
|
90
|
-
~type_: eventType,
|
|
91
|
-
~callback: eventListener<'event>,
|
|
92
|
-
~options: bool=?,
|
|
93
|
-
) => unit = "removeEventListener"
|
|
94
|
-
|
|
95
|
-
/**
|
|
96
|
-
Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
|
|
97
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
|
|
98
|
-
*/
|
|
99
|
-
@send
|
|
100
|
-
external dispatchEvent: (mediaStream, event) => bool = "dispatchEvent"
|
|
21
|
+
include EventTarget.Impl({
|
|
22
|
+
type t = mediaStream
|
|
23
|
+
})
|
|
101
24
|
|
|
102
25
|
/**
|
|
103
26
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/getAudioTracks)
|
|
@@ -1,86 +1,8 @@
|
|
|
1
|
-
open EventAPI
|
|
2
1
|
open MediaCaptureAndStreamsAPI
|
|
3
|
-
open WebAudioAPI
|
|
4
2
|
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
10
|
-
|
|
11
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
12
|
-
|
|
13
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
14
|
-
|
|
15
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
16
|
-
|
|
17
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
18
|
-
|
|
19
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
20
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
21
|
-
*/
|
|
22
|
-
@send
|
|
23
|
-
external addEventListener: (
|
|
24
|
-
mediaStreamTrack,
|
|
25
|
-
~type_: eventType,
|
|
26
|
-
~callback: eventListener<'event>,
|
|
27
|
-
~options: addEventListenerOptions=?,
|
|
28
|
-
) => unit = "addEventListener"
|
|
29
|
-
|
|
30
|
-
/**
|
|
31
|
-
Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
|
|
32
|
-
|
|
33
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
34
|
-
|
|
35
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
36
|
-
|
|
37
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
38
|
-
|
|
39
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
40
|
-
|
|
41
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
42
|
-
|
|
43
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
44
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
45
|
-
*/
|
|
46
|
-
@send
|
|
47
|
-
external addEventListener2: (
|
|
48
|
-
mediaStreamTrack,
|
|
49
|
-
~type_: eventType,
|
|
50
|
-
~callback: eventListener<'event>,
|
|
51
|
-
~options: bool=?,
|
|
52
|
-
) => unit = "addEventListener"
|
|
53
|
-
|
|
54
|
-
/**
|
|
55
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
56
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
57
|
-
*/
|
|
58
|
-
@send
|
|
59
|
-
external removeEventListener: (
|
|
60
|
-
mediaStreamTrack,
|
|
61
|
-
~type_: eventType,
|
|
62
|
-
~callback: eventListener<'event>,
|
|
63
|
-
~options: eventListenerOptions=?,
|
|
64
|
-
) => unit = "removeEventListener"
|
|
65
|
-
|
|
66
|
-
/**
|
|
67
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
68
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
69
|
-
*/
|
|
70
|
-
@send
|
|
71
|
-
external removeEventListener2: (
|
|
72
|
-
mediaStreamTrack,
|
|
73
|
-
~type_: eventType,
|
|
74
|
-
~callback: eventListener<'event>,
|
|
75
|
-
~options: bool=?,
|
|
76
|
-
) => unit = "removeEventListener"
|
|
77
|
-
|
|
78
|
-
/**
|
|
79
|
-
Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
|
|
80
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
|
|
81
|
-
*/
|
|
82
|
-
@send
|
|
83
|
-
external dispatchEvent: (mediaStreamTrack, event) => bool = "dispatchEvent"
|
|
3
|
+
include EventTarget.Impl({
|
|
4
|
+
type t = mediaStreamTrack
|
|
5
|
+
})
|
|
84
6
|
|
|
85
7
|
/**
|
|
86
8
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/clone)
|
|
@@ -1,4 +1,3 @@
|
|
|
1
|
-
open EventAPI
|
|
2
1
|
open NotificationAPI
|
|
3
2
|
|
|
4
3
|
/**
|
|
@@ -7,85 +6,9 @@ open NotificationAPI
|
|
|
7
6
|
@new
|
|
8
7
|
external make: (~title: string, ~options: notificationOptions=?) => notification = "Notification"
|
|
9
8
|
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
15
|
-
|
|
16
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
17
|
-
|
|
18
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
19
|
-
|
|
20
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
21
|
-
|
|
22
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
23
|
-
|
|
24
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
25
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
26
|
-
*/
|
|
27
|
-
@send
|
|
28
|
-
external addEventListener: (
|
|
29
|
-
notification,
|
|
30
|
-
~type_: eventType,
|
|
31
|
-
~callback: eventListener<'event>,
|
|
32
|
-
~options: addEventListenerOptions=?,
|
|
33
|
-
) => unit = "addEventListener"
|
|
34
|
-
|
|
35
|
-
/**
|
|
36
|
-
Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
|
|
37
|
-
|
|
38
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
39
|
-
|
|
40
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
41
|
-
|
|
42
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
43
|
-
|
|
44
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
45
|
-
|
|
46
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
47
|
-
|
|
48
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
49
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
50
|
-
*/
|
|
51
|
-
@send
|
|
52
|
-
external addEventListener2: (
|
|
53
|
-
notification,
|
|
54
|
-
~type_: eventType,
|
|
55
|
-
~callback: eventListener<'event>,
|
|
56
|
-
~options: bool=?,
|
|
57
|
-
) => unit = "addEventListener"
|
|
58
|
-
|
|
59
|
-
/**
|
|
60
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
61
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
62
|
-
*/
|
|
63
|
-
@send
|
|
64
|
-
external removeEventListener: (
|
|
65
|
-
notification,
|
|
66
|
-
~type_: eventType,
|
|
67
|
-
~callback: eventListener<'event>,
|
|
68
|
-
~options: eventListenerOptions=?,
|
|
69
|
-
) => unit = "removeEventListener"
|
|
70
|
-
|
|
71
|
-
/**
|
|
72
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
73
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
74
|
-
*/
|
|
75
|
-
@send
|
|
76
|
-
external removeEventListener2: (
|
|
77
|
-
notification,
|
|
78
|
-
~type_: eventType,
|
|
79
|
-
~callback: eventListener<'event>,
|
|
80
|
-
~options: bool=?,
|
|
81
|
-
) => unit = "removeEventListener"
|
|
82
|
-
|
|
83
|
-
/**
|
|
84
|
-
Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
|
|
85
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
|
|
86
|
-
*/
|
|
87
|
-
@send
|
|
88
|
-
external dispatchEvent: (notification, event) => bool = "dispatchEvent"
|
|
9
|
+
include EventTarget.Impl({
|
|
10
|
+
type t = notification
|
|
11
|
+
})
|
|
89
12
|
|
|
90
13
|
/**
|
|
91
14
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/requestPermission_static)
|
|
@@ -1,85 +1,9 @@
|
|
|
1
1
|
open EventAPI
|
|
2
2
|
open PerformanceAPI
|
|
3
3
|
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
9
|
-
|
|
10
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
11
|
-
|
|
12
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
13
|
-
|
|
14
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
15
|
-
|
|
16
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
17
|
-
|
|
18
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
19
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
20
|
-
*/
|
|
21
|
-
@send
|
|
22
|
-
external addEventListener: (
|
|
23
|
-
performance,
|
|
24
|
-
~type_: eventType,
|
|
25
|
-
~callback: eventListener<'event>,
|
|
26
|
-
~options: addEventListenerOptions=?,
|
|
27
|
-
) => unit = "addEventListener"
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
|
|
31
|
-
|
|
32
|
-
The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
|
|
33
|
-
|
|
34
|
-
When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
|
|
35
|
-
|
|
36
|
-
When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
|
|
37
|
-
|
|
38
|
-
When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
|
|
39
|
-
|
|
40
|
-
If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
|
|
41
|
-
|
|
42
|
-
The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
|
|
43
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
|
|
44
|
-
*/
|
|
45
|
-
@send
|
|
46
|
-
external addEventListener2: (
|
|
47
|
-
performance,
|
|
48
|
-
~type_: eventType,
|
|
49
|
-
~callback: eventListener<'event>,
|
|
50
|
-
~options: bool=?,
|
|
51
|
-
) => unit = "addEventListener"
|
|
52
|
-
|
|
53
|
-
/**
|
|
54
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
55
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
56
|
-
*/
|
|
57
|
-
@send
|
|
58
|
-
external removeEventListener: (
|
|
59
|
-
performance,
|
|
60
|
-
~type_: eventType,
|
|
61
|
-
~callback: eventListener<'event>,
|
|
62
|
-
~options: eventListenerOptions=?,
|
|
63
|
-
) => unit = "removeEventListener"
|
|
64
|
-
|
|
65
|
-
/**
|
|
66
|
-
Removes the event listener in target's event listener list with the same type, callback, and options.
|
|
67
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
|
|
68
|
-
*/
|
|
69
|
-
@send
|
|
70
|
-
external removeEventListener2: (
|
|
71
|
-
performance,
|
|
72
|
-
~type_: eventType,
|
|
73
|
-
~callback: eventListener<'event>,
|
|
74
|
-
~options: bool=?,
|
|
75
|
-
) => unit = "removeEventListener"
|
|
76
|
-
|
|
77
|
-
/**
|
|
78
|
-
Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
|
|
79
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
|
|
80
|
-
*/
|
|
81
|
-
@send
|
|
82
|
-
external dispatchEvent: (performance, event) => bool = "dispatchEvent"
|
|
4
|
+
include EventTarget.Impl({
|
|
5
|
+
type t = performance
|
|
6
|
+
})
|
|
83
7
|
|
|
84
8
|
/**
|
|
85
9
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/now)
|