@rescript/webapi 0.1.0-experimental-6c5decb → 0.1.0-experimental-5cf77f4
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 +1 -3
- package/src/CSSFontLoadingAPI.res +0 -1
- package/src/CanvasAPI/OffscreenCanvas.res +1 -3
- package/src/ChannelMessagingAPI/MessagePort.res +1 -3
- package/src/ClipboardAPI/Clipboard.res +1 -3
- package/src/DOMAPI/Animation.res +1 -3
- package/src/DOMAPI/CharacterData.res +2 -6
- package/src/DOMAPI/Comment.res +1 -3
- package/src/DOMAPI/Document.res +1 -3
- package/src/DOMAPI/DocumentFragment.res +2 -6
- package/src/DOMAPI/Element.res +2 -6
- package/src/DOMAPI/HTMLAnchorElement.res +1 -3
- package/src/DOMAPI/HTMLAreaElement.res +1 -3
- package/src/DOMAPI/HTMLAudioElement.res +1 -3
- package/src/DOMAPI/HTMLBRElement.res +1 -3
- package/src/DOMAPI/HTMLBaseElement.res +1 -3
- package/src/DOMAPI/HTMLBodyElement.res +1 -3
- package/src/DOMAPI/HTMLButtonElement.res +1 -3
- package/src/DOMAPI/HTMLCanvasElement.res +1 -3
- package/src/DOMAPI/HTMLDListElement.res +1 -3
- package/src/DOMAPI/HTMLDataElement.res +1 -3
- package/src/DOMAPI/HTMLDataListElement.res +1 -3
- package/src/DOMAPI/HTMLDialogElement.res +1 -3
- package/src/DOMAPI/HTMLDivElement.res +1 -3
- package/src/DOMAPI/HTMLElement.res +2 -6
- package/src/DOMAPI/HTMLEmbedElement.res +1 -3
- package/src/DOMAPI/HTMLFieldSetElement.res +1 -3
- package/src/DOMAPI/HTMLFormElement.res +1 -3
- package/src/DOMAPI/HTMLFrameSetElement.res +1 -3
- package/src/DOMAPI/HTMLHRElement.res +1 -3
- package/src/DOMAPI/HTMLHeadElement.res +1 -3
- package/src/DOMAPI/HTMLHeadingElement.res +1 -3
- package/src/DOMAPI/HTMLHtmlElement.res +1 -3
- package/src/DOMAPI/HTMLIFrameElement.res +1 -3
- package/src/DOMAPI/HTMLImageElement.res +1 -3
- package/src/DOMAPI/HTMLInputElement.res +1 -3
- package/src/DOMAPI/HTMLLIElement.res +1 -3
- package/src/DOMAPI/HTMLLabelElement.res +1 -3
- package/src/DOMAPI/HTMLLegendElement.res +1 -3
- package/src/DOMAPI/HTMLLinkElement.res +1 -3
- package/src/DOMAPI/HTMLMapElement.res +1 -3
- package/src/DOMAPI/HTMLMediaElement.res +2 -6
- package/src/DOMAPI/HTMLMenuElement.res +1 -3
- package/src/DOMAPI/HTMLMetaElement.res +1 -3
- package/src/DOMAPI/HTMLMeterElement.res +1 -3
- package/src/DOMAPI/HTMLModElement.res +1 -3
- package/src/DOMAPI/HTMLOListElement.res +1 -3
- package/src/DOMAPI/HTMLObjectElement.res +1 -3
- package/src/DOMAPI/HTMLOptGroupElement.res +1 -3
- package/src/DOMAPI/HTMLOptionElement.res +1 -3
- package/src/DOMAPI/HTMLOutputElement.res +1 -3
- package/src/DOMAPI/HTMLParagraphElement.res +1 -3
- package/src/DOMAPI/HTMLPictureElement.res +1 -3
- package/src/DOMAPI/HTMLPreElement.res +1 -3
- package/src/DOMAPI/HTMLProgressElement.res +1 -3
- package/src/DOMAPI/HTMLQuoteElement.res +1 -3
- package/src/DOMAPI/HTMLScriptElement.res +1 -3
- package/src/DOMAPI/HTMLSelectElement.res +1 -3
- package/src/DOMAPI/HTMLSlotElement.res +1 -3
- package/src/DOMAPI/HTMLSourceElement.res +1 -3
- package/src/DOMAPI/HTMLSpanElement.res +1 -3
- package/src/DOMAPI/HTMLStyleElement.res +1 -3
- package/src/DOMAPI/HTMLTableCaptionElement.res +1 -3
- package/src/DOMAPI/HTMLTableCellElement.res +1 -3
- package/src/DOMAPI/HTMLTableElement.res +1 -3
- package/src/DOMAPI/HTMLTableRowElement.res +1 -3
- package/src/DOMAPI/HTMLTableSectionElement.res +1 -3
- package/src/DOMAPI/HTMLTemplateElement.res +1 -3
- package/src/DOMAPI/HTMLTextAreaElement.res +1 -3
- package/src/DOMAPI/HTMLTimeElement.res +1 -3
- package/src/DOMAPI/HTMLTitleElement.res +1 -3
- package/src/DOMAPI/HTMLTrackElement.res +1 -3
- package/src/DOMAPI/HTMLUListElement.res +1 -3
- package/src/DOMAPI/HTMLVideoElement.res +1 -3
- package/src/DOMAPI/MediaQueryList.res +1 -3
- package/src/DOMAPI/Navigator.res +1 -0
- package/src/DOMAPI/Node.res +2 -6
- package/src/DOMAPI/SVGGraphicsElement.res +1 -3
- package/src/DOMAPI/ScreenOrientation.res +1 -3
- package/src/DOMAPI/ShadowRoot.res +1 -3
- package/src/DOMAPI/Text.res +1 -3
- package/src/DOMAPI/TextTrackList.res +1 -3
- package/src/DOMAPI/Window.res +1 -3
- package/src/DOMAPI.res +35 -70
- package/src/EncryptedMediaExtensionsAPI/MediaKeySession.res +1 -3
- package/src/EventAPI/AbortSignal.res +1 -3
- package/src/EventAPI/Event.res +1 -3
- package/src/EventAPI/EventTarget.res +1 -3
- package/src/EventAPI/ExtendableEvent.res +2 -6
- package/src/EventAPI.res +1 -2
- package/src/FetchAPI/BodyInit.res +1 -0
- package/src/FetchAPI/Response.res +1 -0
- package/src/FetchAPI.res +0 -11
- package/src/FileAPI/Blob.res +1 -3
- package/src/FileAPI/File.res +1 -3
- package/src/FileAndDirectoryEntriesAPI.res +1 -2
- package/src/IndexedDBAPI/IDBDatabase.res +1 -3
- package/src/IndexedDBAPI/IDBTransaction.res +1 -3
- package/src/MediaCaptureAndStreamsAPI/MediaDevices.res +1 -3
- package/src/MediaCaptureAndStreamsAPI/MediaStream.res +1 -3
- package/src/MediaCaptureAndStreamsAPI/MediaStreamTrack.res +1 -3
- package/src/NotificationAPI/Notification.res +2 -5
- package/src/PerformanceAPI/Performance.res +1 -3
- package/src/PushAPI/PushEvent.res +1 -3
- package/src/RemotePlaybackAPI/RemotePlayback.res +1 -3
- package/src/ScreenWakeLockAPI/WakeLockSentinel.res +1 -3
- package/src/ServiceWorkerAPI/ServiceWorker.res +1 -3
- package/src/ServiceWorkerAPI/ServiceWorkerContainer.res +1 -3
- package/src/ServiceWorkerAPI/ServiceWorkerGlobalScope.res +1 -3
- package/src/ServiceWorkerAPI/ServiceWorkerRegistration.res +1 -3
- package/src/UIEventsAPI/CompositionEvent.res +1 -3
- package/src/UIEventsAPI/FocusEvent.res +1 -3
- package/src/UIEventsAPI/InputEvent.res +1 -3
- package/src/UIEventsAPI/KeyboardEvent.res +1 -3
- package/src/UIEventsAPI/MouseEvent.res +2 -6
- package/src/UIEventsAPI/PointerEvent.res +1 -3
- package/src/UIEventsAPI/TouchEvent.res +1 -3
- package/src/UIEventsAPI/UIEvent.res +2 -6
- package/src/UIEventsAPI/WheelEvent.res +1 -3
- package/src/URLAPI/URL.res +37 -0
- package/src/{FetchAPI → URLAPI}/URLSearchParams.res +1 -1
- package/src/URLAPI.res +68 -0
- package/src/WebAudioAPI/AnalyserNode.res +1 -3
- package/src/WebAudioAPI/AudioBufferSourceNode.res +1 -3
- package/src/WebAudioAPI/AudioContext.res +1 -3
- package/src/WebAudioAPI/AudioDestinationNode.res +1 -3
- package/src/WebAudioAPI/AudioNode.res +1 -3
- package/src/WebAudioAPI/AudioProcessingEvent.res +1 -3
- package/src/WebAudioAPI/AudioScheduledSourceNode.res +2 -6
- package/src/WebAudioAPI/AudioWorkletNode.res +1 -3
- package/src/WebAudioAPI/BaseAudioContext.res +1 -3
- package/src/WebAudioAPI/BiquadFilterNode.res +1 -3
- package/src/WebAudioAPI/ChannelMergerNode.res +1 -3
- package/src/WebAudioAPI/ChannelSplitterNode.res +1 -3
- package/src/WebAudioAPI/ConstantSourceNode.res +1 -3
- package/src/WebAudioAPI/ConvolverNode.res +1 -3
- package/src/WebAudioAPI/DelayNode.res +1 -3
- package/src/WebAudioAPI/DynamicsCompressorNode.res +1 -3
- package/src/WebAudioAPI/GainNode.res +1 -3
- package/src/WebAudioAPI/IIRFilterNode.res +1 -3
- package/src/WebAudioAPI/MediaElementAudioSourceNode.res +1 -3
- package/src/WebAudioAPI/MediaStreamAudioDestinationNode.res +1 -3
- package/src/WebAudioAPI/MediaStreamAudioSourceNode.res +1 -3
- package/src/WebAudioAPI/OfflineAudioCompletionEvent.res +1 -3
- package/src/WebAudioAPI/OfflineAudioContext.res +1 -3
- package/src/WebAudioAPI/OscillatorNode.res +1 -3
- package/src/WebAudioAPI/PannerNode.res +1 -3
- package/src/WebAudioAPI/StereoPannerNode.res +1 -3
- package/src/WebAudioAPI/WaveShaperNode.res +1 -3
- package/src/WebAudioAPI.res +15 -30
- package/src/WebSocketsAPI/CloseEvent.res +1 -3
- package/src/WebSocketsAPI/WebSocket.res +1 -3
- package/src/WebSpeechAPI/SpeechSynthesis.res +1 -3
- package/src/WebSpeechAPI/SpeechSynthesisUtterance.res +1 -3
- package/src/WebStorageAPI/StorageEvent.res +1 -3
- package/src/WebVTTAPI/TextTrack.res +1 -3
- package/src/WebVTTAPI.res +1 -2
- package/src/WebWorkersAPI/WorkerGlobalScope.res +2 -6
package/src/WebAudioAPI.res
CHANGED
|
@@ -182,8 +182,7 @@ and audioDestinationNode = {
|
|
|
182
182
|
/**
|
|
183
183
|
[See BaseAudioContext on MDN](https://developer.mozilla.org/docs/Web/API/BaseAudioContext)
|
|
184
184
|
*/
|
|
185
|
-
@editor.completeFrom(BaseAudioContext)
|
|
186
|
-
and baseAudioContext = {
|
|
185
|
+
@editor.completeFrom(BaseAudioContext) and baseAudioContext = {
|
|
187
186
|
...eventTarget,
|
|
188
187
|
/**
|
|
189
188
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/BaseAudioContext/destination)
|
|
@@ -215,8 +214,7 @@ and baseAudioContext = {
|
|
|
215
214
|
A simple low-order filter, and is created using the AudioContext.createBiquadFilter() method. It is an AudioNode that can represent different kinds of filters, tone control devices, and graphic equalizers.
|
|
216
215
|
[See BiquadFilterNode on MDN](https://developer.mozilla.org/docs/Web/API/BiquadFilterNode)
|
|
217
216
|
*/
|
|
218
|
-
@editor.completeFrom(BiquadFilterNode)
|
|
219
|
-
and biquadFilterNode = {
|
|
217
|
+
@editor.completeFrom(BiquadFilterNode) and biquadFilterNode = {
|
|
220
218
|
// Base properties from AudioNode
|
|
221
219
|
/**
|
|
222
220
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -322,8 +320,7 @@ and audioWorklet = {
|
|
|
322
320
|
The Web Audio API's AudioParam interface represents an audio-related parameter, usually a parameter of an AudioNode (such as GainNode.gain).
|
|
323
321
|
[See AudioParam on MDN](https://developer.mozilla.org/docs/Web/API/AudioParam)
|
|
324
322
|
*/
|
|
325
|
-
@editor.completeFrom(AudioParam)
|
|
326
|
-
and audioParam = {
|
|
323
|
+
@editor.completeFrom(AudioParam) and audioParam = {
|
|
327
324
|
/**
|
|
328
325
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioParam/value)
|
|
329
326
|
*/
|
|
@@ -345,8 +342,7 @@ and audioParam = {
|
|
|
345
342
|
/**
|
|
346
343
|
[See AudioScheduledSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/AudioScheduledSourceNode)
|
|
347
344
|
*/
|
|
348
|
-
@editor.completeFrom(AudioScheduledSourceNode)
|
|
349
|
-
and audioScheduledSourceNode = {
|
|
345
|
+
@editor.completeFrom(AudioScheduledSourceNode) and audioScheduledSourceNode = {
|
|
350
346
|
// Base properties from AudioNode
|
|
351
347
|
/**
|
|
352
348
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -379,8 +375,7 @@ and audioScheduledSourceNode = {
|
|
|
379
375
|
An AudioScheduledSourceNode which represents an audio source consisting of in-memory audio data, stored in an AudioBuffer. It's especially useful for playing back audio which has particularly stringent timing accuracy requirements, such as for sounds that must match a specific rhythm and can be kept in memory rather than being played from disk or the network.
|
|
380
376
|
[See AudioBufferSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/AudioBufferSourceNode)
|
|
381
377
|
*/
|
|
382
|
-
@editor.completeFrom(AudioBufferSourceNode)
|
|
383
|
-
and audioBufferSourceNode = {
|
|
378
|
+
@editor.completeFrom(AudioBufferSourceNode) and audioBufferSourceNode = {
|
|
384
379
|
// Base properties from AudioScheduledSourceNode
|
|
385
380
|
// End base properties from AudioScheduledSourceNode
|
|
386
381
|
|
|
@@ -441,8 +436,7 @@ and audioBufferSourceNode = {
|
|
|
441
436
|
The ChannelMergerNode interface, often used in conjunction with its opposite, ChannelSplitterNode, reunites different mono inputs into a single output. Each input is used to fill a channel of the output. This is useful for accessing each channels separately, e.g. for performing channel mixing where gain must be separately controlled on each channel.
|
|
442
437
|
[See ChannelMergerNode on MDN](https://developer.mozilla.org/docs/Web/API/ChannelMergerNode)
|
|
443
438
|
*/
|
|
444
|
-
@editor.completeFrom(ChannelMergerNode)
|
|
445
|
-
and channelMergerNode = {
|
|
439
|
+
@editor.completeFrom(ChannelMergerNode) and channelMergerNode = {
|
|
446
440
|
// Base properties from AudioNode
|
|
447
441
|
/**
|
|
448
442
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -475,8 +469,7 @@ and channelMergerNode = {
|
|
|
475
469
|
The ChannelSplitterNode interface, often used in conjunction with its opposite, ChannelMergerNode, separates the different channels of an audio source into a set of mono outputs. This is useful for accessing each channel separately, e.g. for performing channel mixing where gain must be separately controlled on each channel.
|
|
476
470
|
[See ChannelSplitterNode on MDN](https://developer.mozilla.org/docs/Web/API/ChannelSplitterNode)
|
|
477
471
|
*/
|
|
478
|
-
@editor.completeFrom(ChannelSplitterNode)
|
|
479
|
-
and channelSplitterNode = {
|
|
472
|
+
@editor.completeFrom(ChannelSplitterNode) and channelSplitterNode = {
|
|
480
473
|
// Base properties from AudioNode
|
|
481
474
|
/**
|
|
482
475
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -508,8 +501,7 @@ and channelSplitterNode = {
|
|
|
508
501
|
/**
|
|
509
502
|
[See ConstantSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/ConstantSourceNode)
|
|
510
503
|
*/
|
|
511
|
-
@editor.completeFrom(ConstantSourceNode)
|
|
512
|
-
and constantSourceNode = {
|
|
504
|
+
@editor.completeFrom(ConstantSourceNode) and constantSourceNode = {
|
|
513
505
|
// Base properties from AudioScheduledSourceNode
|
|
514
506
|
// End base properties from AudioScheduledSourceNode
|
|
515
507
|
|
|
@@ -550,8 +542,7 @@ and constantSourceNode = {
|
|
|
550
542
|
An AudioNode that performs a Linear Convolution on a given AudioBuffer, often used to achieve a reverb effect. A ConvolverNode always has exactly one input and one output.
|
|
551
543
|
[See ConvolverNode on MDN](https://developer.mozilla.org/docs/Web/API/ConvolverNode)
|
|
552
544
|
*/
|
|
553
|
-
@editor.completeFrom(ConvolverNode)
|
|
554
|
-
and convolverNode = {
|
|
545
|
+
@editor.completeFrom(ConvolverNode) and convolverNode = {
|
|
555
546
|
// Base properties from AudioNode
|
|
556
547
|
/**
|
|
557
548
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -593,8 +584,7 @@ and convolverNode = {
|
|
|
593
584
|
A delay-line; an AudioNode audio-processing module that causes a delay between the arrival of an input data and its propagation to the output.
|
|
594
585
|
[See DelayNode on MDN](https://developer.mozilla.org/docs/Web/API/DelayNode)
|
|
595
586
|
*/
|
|
596
|
-
@editor.completeFrom(DelayNode)
|
|
597
|
-
and delayNode = {
|
|
587
|
+
@editor.completeFrom(DelayNode) and delayNode = {
|
|
598
588
|
// Base properties from AudioNode
|
|
599
589
|
/**
|
|
600
590
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -632,8 +622,7 @@ and delayNode = {
|
|
|
632
622
|
Inherits properties from its parent, AudioNode.
|
|
633
623
|
[See DynamicsCompressorNode on MDN](https://developer.mozilla.org/docs/Web/API/DynamicsCompressorNode)
|
|
634
624
|
*/
|
|
635
|
-
@editor.completeFrom(DynamicsCompressorNode)
|
|
636
|
-
and dynamicsCompressorNode = {
|
|
625
|
+
@editor.completeFrom(DynamicsCompressorNode) and dynamicsCompressorNode = {
|
|
637
626
|
// Base properties from AudioNode
|
|
638
627
|
/**
|
|
639
628
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -691,8 +680,7 @@ and dynamicsCompressorNode = {
|
|
|
691
680
|
A change in volume. It is an AudioNode audio-processing module that causes a given gain to be applied to the input data before its propagation to the output. A GainNode always has exactly one input and one output, both with the same number of channels.
|
|
692
681
|
[See GainNode on MDN](https://developer.mozilla.org/docs/Web/API/GainNode)
|
|
693
682
|
*/
|
|
694
|
-
@editor.completeFrom(GainNode)
|
|
695
|
-
and gainNode = {
|
|
683
|
+
@editor.completeFrom(GainNode) and gainNode = {
|
|
696
684
|
// Base properties from AudioNode
|
|
697
685
|
/**
|
|
698
686
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -730,8 +718,7 @@ and gainNode = {
|
|
|
730
718
|
The IIRFilterNode interface of the Web Audio API is a AudioNode processor which implements a general infinite impulse response (IIR) filter; this type of filter can be used to implement tone control devices and graphic equalizers as well. It lets the parameters of the filter response be specified, so that it can be tuned as needed.
|
|
731
719
|
[See IIRFilterNode on MDN](https://developer.mozilla.org/docs/Web/API/IIRFilterNode)
|
|
732
720
|
*/
|
|
733
|
-
@editor.completeFrom(IIRFilterNode)
|
|
734
|
-
and iirFilterNode = {
|
|
721
|
+
@editor.completeFrom(IIRFilterNode) and iirFilterNode = {
|
|
735
722
|
// Base properties from AudioNode
|
|
736
723
|
/**
|
|
737
724
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -764,8 +751,7 @@ and iirFilterNode = {
|
|
|
764
751
|
The OscillatorNode interface represents a periodic waveform, such as a sine wave. It is an AudioScheduledSourceNode audio-processing module that causes a specified frequency of a given wave to be created—in effect, a constant tone.
|
|
765
752
|
[See OscillatorNode on MDN](https://developer.mozilla.org/docs/Web/API/OscillatorNode)
|
|
766
753
|
*/
|
|
767
|
-
@editor.completeFrom(OscillatorNode)
|
|
768
|
-
and oscillatorNode = {
|
|
754
|
+
@editor.completeFrom(OscillatorNode) and oscillatorNode = {
|
|
769
755
|
// Base properties from AudioScheduledSourceNode
|
|
770
756
|
// End base properties from AudioScheduledSourceNode
|
|
771
757
|
|
|
@@ -815,8 +801,7 @@ and oscillatorNode = {
|
|
|
815
801
|
A PannerNode always has exactly one input and one output: the input can be mono or stereo but the output is always stereo (2 channels); you can't have panning effects without at least two audio channels!
|
|
816
802
|
[See PannerNode on MDN](https://developer.mozilla.org/docs/Web/API/PannerNode)
|
|
817
803
|
*/
|
|
818
|
-
@editor.completeFrom(PannerNode)
|
|
819
|
-
and pannerNode = {
|
|
804
|
+
@editor.completeFrom(PannerNode) and pannerNode = {
|
|
820
805
|
// Base properties from AudioNode
|
|
821
806
|
/**
|
|
822
807
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode/context)
|
|
@@ -13,9 +13,7 @@ external make: (~url: string, ~protocols: string=?) => webSocket = "WebSocket"
|
|
|
13
13
|
@new
|
|
14
14
|
external make2: (~url: string, ~protocols: array<string>=?) => webSocket = "WebSocket"
|
|
15
15
|
|
|
16
|
-
include EventTarget.Impl({
|
|
17
|
-
type t = webSocket
|
|
18
|
-
})
|
|
16
|
+
include EventTarget.Impl({type t = webSocket})
|
|
19
17
|
|
|
20
18
|
/**
|
|
21
19
|
Closes the WebSocket connection, optionally using code as the the WebSocket connection close code and reason as the the WebSocket connection close reason.
|
package/src/WebVTTAPI.res
CHANGED
|
@@ -72,8 +72,7 @@ Can be set.
|
|
|
72
72
|
This interface also inherits properties from EventTarget.
|
|
73
73
|
[See TextTrack on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack)
|
|
74
74
|
*/
|
|
75
|
-
@editor.completeFrom(TextTrack)
|
|
76
|
-
and textTrack = {
|
|
75
|
+
@editor.completeFrom(TextTrack) and textTrack = {
|
|
77
76
|
...eventTarget,
|
|
78
77
|
/**
|
|
79
78
|
Returns the text track kind string.
|
|
@@ -6,9 +6,7 @@ module Impl = (
|
|
|
6
6
|
type t
|
|
7
7
|
},
|
|
8
8
|
) => {
|
|
9
|
-
include EventTarget.Impl({
|
|
10
|
-
type t = T.t
|
|
11
|
-
})
|
|
9
|
+
include EventTarget.Impl({type t = T.t})
|
|
12
10
|
|
|
13
11
|
/**
|
|
14
12
|
`fetch(workerGlobalScope, string, init)`
|
|
@@ -40,6 +38,4 @@ let response = await self->WorkerGlobalScope.fetch(myRequest)
|
|
|
40
38
|
external fetch_withRequest: (T.t, request, ~init: requestInit=?) => promise<response> = "fetch"
|
|
41
39
|
}
|
|
42
40
|
|
|
43
|
-
include Impl({
|
|
44
|
-
type t = workerGlobalScope
|
|
45
|
-
})
|
|
41
|
+
include Impl({type t = workerGlobalScope})
|