@rescript/webapi 0.1.0-experimental-10398b3 → 0.1.0-experimental-9d30881
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.res +3 -0
- package/src/CanvasAPI.res +6 -0
- package/src/ChannelMessagingAPI.res +1 -0
- package/src/ClipboardAPI.res +2 -0
- package/src/CredentialManagementAPI.res +1 -0
- package/src/DOMAPI/Document.res +2 -0
- package/src/DOMAPI/Element.res +2 -0
- package/src/DOMAPI.res +125 -5
- package/src/EncryptedMediaExtensionsAPI.res +4 -0
- package/src/EventAPI.res +4 -0
- package/src/FetchAPI.res +8 -3
- package/src/FileAPI.res +7 -0
- package/src/FileAndDirectoryEntriesAPI.res +3 -0
- package/src/GamepadAPI.res +1 -0
- package/src/GeolocationAPI.res +3 -0
- package/src/HistoryAPI.res +1 -0
- package/src/IndexedDBAPI.res +5 -0
- package/src/IntersectionObserverAPI/IntersectionObserver.res +35 -0
- package/src/IntersectionObserverAPI/IntersectionObserverRoot.res +22 -0
- package/src/IntersectionObserverAPI.res +69 -0
- package/src/MediaCapabilitiesAPI.res +1 -0
- package/src/MediaCaptureAndStreamsAPI.res +4 -0
- package/src/MediaSessionAPI.res +2 -0
- package/src/NotificationAPI.res +1 -0
- package/src/PerformanceAPI.res +3 -0
- package/src/PermissionsAPI.res +1 -0
- package/src/PushManagerAPI.res +2 -0
- package/src/RemotePlaybackAPI.res +1 -0
- package/src/ResizeObserverAPI.res +1 -0
- package/src/ScreenWakeLockAPI.res +2 -0
- package/src/ServiceWorkerAPI.res +6 -0
- package/src/StorageAPI.res +1 -0
- package/src/UIEventsAPI.res +14 -0
- package/src/ViewTransitionsAPI.res +1 -0
- package/src/WebAudioAPI.res +30 -0
- package/src/WebCryptoAPI.res +2 -0
- package/src/WebLocksAPI.res +1 -0
- package/src/WebSocketsAPI.res +2 -0
- package/src/WebSpeechAPI.res +2 -0
- package/src/WebStorageAPI.res +2 -0
- package/src/WebVTTAPI.res +3 -0
package/src/UIEventsAPI.res
CHANGED
|
@@ -11,6 +11,7 @@ type touchType =
|
|
|
11
11
|
Simple user interface events.
|
|
12
12
|
[See UIEvent on MDN](https://developer.mozilla.org/docs/Web/API/UIEvent)
|
|
13
13
|
*/
|
|
14
|
+
@editor.completeFrom(UIEvent)
|
|
14
15
|
type uiEvent = {
|
|
15
16
|
...event,
|
|
16
17
|
/**
|
|
@@ -27,6 +28,7 @@ type uiEvent = {
|
|
|
27
28
|
The DOM CompositionEvent represents events that occur due to the user indirectly entering text.
|
|
28
29
|
[See CompositionEvent on MDN](https://developer.mozilla.org/docs/Web/API/CompositionEvent)
|
|
29
30
|
*/
|
|
31
|
+
@editor.completeFrom(CompositionEvent)
|
|
30
32
|
type compositionEvent = {
|
|
31
33
|
...uiEvent,
|
|
32
34
|
/**
|
|
@@ -39,6 +41,7 @@ type compositionEvent = {
|
|
|
39
41
|
Focus-related events like focus, blur, focusin, or focusout.
|
|
40
42
|
[See FocusEvent on MDN](https://developer.mozilla.org/docs/Web/API/FocusEvent)
|
|
41
43
|
*/
|
|
44
|
+
@editor.completeFrom(FocusEvent)
|
|
42
45
|
type focusEvent = {
|
|
43
46
|
...uiEvent,
|
|
44
47
|
/**
|
|
@@ -51,6 +54,7 @@ type focusEvent = {
|
|
|
51
54
|
One drag data item. During a drag operation, each drag event has a dataTransfer property which contains a list of drag data items. Each item in the list is a DataTransferItem object.
|
|
52
55
|
[See DataTransferItem on MDN](https://developer.mozilla.org/docs/Web/API/DataTransferItem)
|
|
53
56
|
*/
|
|
57
|
+
@editor.completeFrom(DataTransferItem)
|
|
54
58
|
type dataTransferItem = {
|
|
55
59
|
/**
|
|
56
60
|
Returns the drag data item kind, one of: "string", "file".
|
|
@@ -69,6 +73,7 @@ type dataTransferItem = {
|
|
|
69
73
|
A list of DataTransferItem objects representing items being dragged. During a drag operation, each DragEvent has a dataTransfer property and that property is a DataTransferItemList.
|
|
70
74
|
[See DataTransferItemList on MDN](https://developer.mozilla.org/docs/Web/API/DataTransferItemList)
|
|
71
75
|
*/
|
|
76
|
+
@editor.completeFrom(DataTransferItemList)
|
|
72
77
|
type dataTransferItemList = {
|
|
73
78
|
/**
|
|
74
79
|
Returns the number of items in the drag data store.
|
|
@@ -81,6 +86,7 @@ type dataTransferItemList = {
|
|
|
81
86
|
Used to hold the data that is being dragged during a drag and drop operation. It may hold one or more data items, each of one or more data types. For more information about drag and drop, see HTML Drag and Drop API.
|
|
82
87
|
[See DataTransfer on MDN](https://developer.mozilla.org/docs/Web/API/DataTransfer)
|
|
83
88
|
*/
|
|
89
|
+
@editor.completeFrom(DataTransfer)
|
|
84
90
|
type dataTransfer = {
|
|
85
91
|
/**
|
|
86
92
|
Returns the kind of operation that is currently selected. If the kind of operation isn't one of those that is allowed by the effectAllowed attribute, then the operation will fail.
|
|
@@ -120,6 +126,7 @@ The possible values are "none", "copy", "copyLink", "copyMove", "link", "linkMov
|
|
|
120
126
|
/**
|
|
121
127
|
[See InputEvent on MDN](https://developer.mozilla.org/docs/Web/API/InputEvent)
|
|
122
128
|
*/
|
|
129
|
+
@editor.completeFrom(InputEvent)
|
|
123
130
|
type inputEvent = {
|
|
124
131
|
...uiEvent,
|
|
125
132
|
/**
|
|
@@ -144,6 +151,7 @@ type inputEvent = {
|
|
|
144
151
|
KeyboardEvent objects describe a user interaction with the keyboard; each event describes a single interaction between the user and a key (or combination of a key with modifier keys) on the keyboard.
|
|
145
152
|
[See KeyboardEvent on MDN](https://developer.mozilla.org/docs/Web/API/KeyboardEvent)
|
|
146
153
|
*/
|
|
154
|
+
@editor.completeFrom(KeyboardEvent)
|
|
147
155
|
type keyboardEvent = {
|
|
148
156
|
...uiEvent,
|
|
149
157
|
/**
|
|
@@ -188,6 +196,7 @@ type keyboardEvent = {
|
|
|
188
196
|
Events that occur due to the user interacting with a pointing device (such as a mouse). Common events using this interface include click, dblclick, mouseup, mousedown.
|
|
189
197
|
[See MouseEvent on MDN](https://developer.mozilla.org/docs/Web/API/MouseEvent)
|
|
190
198
|
*/
|
|
199
|
+
@editor.completeFrom(MouseEvent)
|
|
191
200
|
type mouseEvent = {
|
|
192
201
|
...uiEvent,
|
|
193
202
|
/**
|
|
@@ -280,6 +289,7 @@ type mouseEvent = {
|
|
|
280
289
|
Events that occur due to the user moving a mouse wheel or similar input device.
|
|
281
290
|
[See WheelEvent on MDN](https://developer.mozilla.org/docs/Web/API/WheelEvent)
|
|
282
291
|
*/
|
|
292
|
+
@editor.completeFrom(WheelEvent)
|
|
283
293
|
type wheelEvent = {
|
|
284
294
|
...mouseEvent,
|
|
285
295
|
/**
|
|
@@ -304,6 +314,7 @@ type wheelEvent = {
|
|
|
304
314
|
A single contact point on a touch-sensitive device. The contact point is commonly a finger or stylus and the device may be a touchscreen or trackpad.
|
|
305
315
|
[See Touch on MDN](https://developer.mozilla.org/docs/Web/API/Touch)
|
|
306
316
|
*/
|
|
317
|
+
@editor.completeFrom(Touch)
|
|
307
318
|
type touch = {
|
|
308
319
|
/**
|
|
309
320
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Touch/identifier)
|
|
@@ -359,6 +370,7 @@ type touch = {
|
|
|
359
370
|
A list of contact points on a touch surface. For example, if the user has three fingers on the touch surface (such as a screen or trackpad), the corresponding TouchList object would have one Touch object for each finger, for a total of three entries.
|
|
360
371
|
[See TouchList on MDN](https://developer.mozilla.org/docs/Web/API/TouchList)
|
|
361
372
|
*/
|
|
373
|
+
@editor.completeFrom(TouchList)
|
|
362
374
|
type touchList = {
|
|
363
375
|
/**
|
|
364
376
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/TouchList/length)
|
|
@@ -370,6 +382,7 @@ type touchList = {
|
|
|
370
382
|
An event sent when the state of contacts with a touch-sensitive surface changes. This surface can be a touch screen or trackpad, for example. The event can describe one or more points of contact with the screen and includes support for detecting movement, addition and removal of contact points, and so forth.
|
|
371
383
|
[See TouchEvent on MDN](https://developer.mozilla.org/docs/Web/API/TouchEvent)
|
|
372
384
|
*/
|
|
385
|
+
@editor.completeFrom(TouchEvent)
|
|
373
386
|
type touchEvent = {
|
|
374
387
|
...uiEvent,
|
|
375
388
|
/**
|
|
@@ -406,6 +419,7 @@ type touchEvent = {
|
|
|
406
419
|
The state of a DOM event produced by a pointer such as the geometry of the contact point, the device type that generated the event, the amount of pressure that was applied on the contact surface, etc.
|
|
407
420
|
[See PointerEvent on MDN](https://developer.mozilla.org/docs/Web/API/PointerEvent)
|
|
408
421
|
*/
|
|
422
|
+
@editor.completeFrom(PointerEvent)
|
|
409
423
|
type pointerEvent = {
|
|
410
424
|
...mouseEvent,
|
|
411
425
|
/**
|
|
@@ -5,6 +5,7 @@ open Prelude
|
|
|
5
5
|
/**
|
|
6
6
|
[See ViewTransition on MDN](https://developer.mozilla.org/docs/Web/API/ViewTransition)
|
|
7
7
|
*/
|
|
8
|
+
@editor.completeFrom(ViewTransition)
|
|
8
9
|
type viewTransition = {
|
|
9
10
|
/**
|
|
10
11
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ViewTransition/updateCallbackDone)
|
package/src/WebAudioAPI.res
CHANGED
|
@@ -60,6 +60,7 @@ type requestCredentials =
|
|
|
60
60
|
A short audio asset residing in memory, created from an audio file using the AudioContext.decodeAudioData() method, or from raw data using AudioContext.createBuffer(). Once put into an AudioBuffer, the audio can then be played by being passed into an AudioBufferSourceNode.
|
|
61
61
|
[See AudioBuffer on MDN](https://developer.mozilla.org/docs/Web/API/AudioBuffer)
|
|
62
62
|
*/
|
|
63
|
+
@editor.completeFrom(AudioBuffer)
|
|
63
64
|
type audioBuffer = {
|
|
64
65
|
/**
|
|
65
66
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioBuffer/sampleRate)
|
|
@@ -83,6 +84,7 @@ type audioBuffer = {
|
|
|
83
84
|
The Web Audio API events that occur when a ScriptProcessorNode input buffer is ready to be processed.
|
|
84
85
|
[See AudioProcessingEvent on MDN](https://developer.mozilla.org/docs/Web/API/AudioProcessingEvent)
|
|
85
86
|
*/
|
|
87
|
+
@editor.completeFrom(AudioProcessingEvent)
|
|
86
88
|
type audioProcessingEvent = {
|
|
87
89
|
...event,
|
|
88
90
|
}
|
|
@@ -91,6 +93,7 @@ type audioProcessingEvent = {
|
|
|
91
93
|
The Web Audio API OfflineAudioCompletionEvent interface represents events that occur when the processing of an OfflineAudioContext is terminated. The complete event implements this interface.
|
|
92
94
|
[See OfflineAudioCompletionEvent on MDN](https://developer.mozilla.org/docs/Web/API/OfflineAudioCompletionEvent)
|
|
93
95
|
*/
|
|
96
|
+
@editor.completeFrom(OfflineAudioCompletionEvent)
|
|
94
97
|
type offlineAudioCompletionEvent = {
|
|
95
98
|
...event,
|
|
96
99
|
/**
|
|
@@ -102,12 +105,14 @@ type offlineAudioCompletionEvent = {
|
|
|
102
105
|
/**
|
|
103
106
|
[See Worklet on MDN](https://developer.mozilla.org/docs/Web/API/Worklet)
|
|
104
107
|
*/
|
|
108
|
+
@editor.completeFrom(Worklet)
|
|
105
109
|
type worklet = {}
|
|
106
110
|
|
|
107
111
|
/**
|
|
108
112
|
A generic interface for representing an audio processing module. Examples include:
|
|
109
113
|
[See AudioNode on MDN](https://developer.mozilla.org/docs/Web/API/AudioNode)
|
|
110
114
|
*/
|
|
115
|
+
@editor.completeFrom(AudioNode)
|
|
111
116
|
type rec audioNode = {
|
|
112
117
|
...eventTarget,
|
|
113
118
|
/**
|
|
@@ -177,6 +182,7 @@ and audioDestinationNode = {
|
|
|
177
182
|
/**
|
|
178
183
|
[See BaseAudioContext on MDN](https://developer.mozilla.org/docs/Web/API/BaseAudioContext)
|
|
179
184
|
*/
|
|
185
|
+
@editor.completeFrom(BaseAudioContext)
|
|
180
186
|
and baseAudioContext = {
|
|
181
187
|
...eventTarget,
|
|
182
188
|
/**
|
|
@@ -209,6 +215,7 @@ and baseAudioContext = {
|
|
|
209
215
|
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.
|
|
210
216
|
[See BiquadFilterNode on MDN](https://developer.mozilla.org/docs/Web/API/BiquadFilterNode)
|
|
211
217
|
*/
|
|
218
|
+
@editor.completeFrom(BiquadFilterNode)
|
|
212
219
|
and biquadFilterNode = {
|
|
213
220
|
// Base properties from AudioNode
|
|
214
221
|
/**
|
|
@@ -315,6 +322,7 @@ and audioWorklet = {
|
|
|
315
322
|
The Web Audio API's AudioParam interface represents an audio-related parameter, usually a parameter of an AudioNode (such as GainNode.gain).
|
|
316
323
|
[See AudioParam on MDN](https://developer.mozilla.org/docs/Web/API/AudioParam)
|
|
317
324
|
*/
|
|
325
|
+
@editor.completeFrom(AudioParam)
|
|
318
326
|
and audioParam = {
|
|
319
327
|
/**
|
|
320
328
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AudioParam/value)
|
|
@@ -337,6 +345,7 @@ and audioParam = {
|
|
|
337
345
|
/**
|
|
338
346
|
[See AudioScheduledSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/AudioScheduledSourceNode)
|
|
339
347
|
*/
|
|
348
|
+
@editor.completeFrom(AudioScheduledSourceNode)
|
|
340
349
|
and audioScheduledSourceNode = {
|
|
341
350
|
// Base properties from AudioNode
|
|
342
351
|
/**
|
|
@@ -370,6 +379,7 @@ and audioScheduledSourceNode = {
|
|
|
370
379
|
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.
|
|
371
380
|
[See AudioBufferSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/AudioBufferSourceNode)
|
|
372
381
|
*/
|
|
382
|
+
@editor.completeFrom(AudioBufferSourceNode)
|
|
373
383
|
and audioBufferSourceNode = {
|
|
374
384
|
// Base properties from AudioScheduledSourceNode
|
|
375
385
|
// End base properties from AudioScheduledSourceNode
|
|
@@ -431,6 +441,7 @@ and audioBufferSourceNode = {
|
|
|
431
441
|
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.
|
|
432
442
|
[See ChannelMergerNode on MDN](https://developer.mozilla.org/docs/Web/API/ChannelMergerNode)
|
|
433
443
|
*/
|
|
444
|
+
@editor.completeFrom(ChannelMergerNode)
|
|
434
445
|
and channelMergerNode = {
|
|
435
446
|
// Base properties from AudioNode
|
|
436
447
|
/**
|
|
@@ -464,6 +475,7 @@ and channelMergerNode = {
|
|
|
464
475
|
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.
|
|
465
476
|
[See ChannelSplitterNode on MDN](https://developer.mozilla.org/docs/Web/API/ChannelSplitterNode)
|
|
466
477
|
*/
|
|
478
|
+
@editor.completeFrom(ChannelSplitterNode)
|
|
467
479
|
and channelSplitterNode = {
|
|
468
480
|
// Base properties from AudioNode
|
|
469
481
|
/**
|
|
@@ -496,6 +508,7 @@ and channelSplitterNode = {
|
|
|
496
508
|
/**
|
|
497
509
|
[See ConstantSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/ConstantSourceNode)
|
|
498
510
|
*/
|
|
511
|
+
@editor.completeFrom(ConstantSourceNode)
|
|
499
512
|
and constantSourceNode = {
|
|
500
513
|
// Base properties from AudioScheduledSourceNode
|
|
501
514
|
// End base properties from AudioScheduledSourceNode
|
|
@@ -537,6 +550,7 @@ and constantSourceNode = {
|
|
|
537
550
|
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.
|
|
538
551
|
[See ConvolverNode on MDN](https://developer.mozilla.org/docs/Web/API/ConvolverNode)
|
|
539
552
|
*/
|
|
553
|
+
@editor.completeFrom(ConvolverNode)
|
|
540
554
|
and convolverNode = {
|
|
541
555
|
// Base properties from AudioNode
|
|
542
556
|
/**
|
|
@@ -579,6 +593,7 @@ and convolverNode = {
|
|
|
579
593
|
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.
|
|
580
594
|
[See DelayNode on MDN](https://developer.mozilla.org/docs/Web/API/DelayNode)
|
|
581
595
|
*/
|
|
596
|
+
@editor.completeFrom(DelayNode)
|
|
582
597
|
and delayNode = {
|
|
583
598
|
// Base properties from AudioNode
|
|
584
599
|
/**
|
|
@@ -617,6 +632,7 @@ and delayNode = {
|
|
|
617
632
|
Inherits properties from its parent, AudioNode.
|
|
618
633
|
[See DynamicsCompressorNode on MDN](https://developer.mozilla.org/docs/Web/API/DynamicsCompressorNode)
|
|
619
634
|
*/
|
|
635
|
+
@editor.completeFrom(DynamicsCompressorNode)
|
|
620
636
|
and dynamicsCompressorNode = {
|
|
621
637
|
// Base properties from AudioNode
|
|
622
638
|
/**
|
|
@@ -675,6 +691,7 @@ and dynamicsCompressorNode = {
|
|
|
675
691
|
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.
|
|
676
692
|
[See GainNode on MDN](https://developer.mozilla.org/docs/Web/API/GainNode)
|
|
677
693
|
*/
|
|
694
|
+
@editor.completeFrom(GainNode)
|
|
678
695
|
and gainNode = {
|
|
679
696
|
// Base properties from AudioNode
|
|
680
697
|
/**
|
|
@@ -713,6 +730,7 @@ and gainNode = {
|
|
|
713
730
|
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.
|
|
714
731
|
[See IIRFilterNode on MDN](https://developer.mozilla.org/docs/Web/API/IIRFilterNode)
|
|
715
732
|
*/
|
|
733
|
+
@editor.completeFrom(IIRFilterNode)
|
|
716
734
|
and iirFilterNode = {
|
|
717
735
|
// Base properties from AudioNode
|
|
718
736
|
/**
|
|
@@ -746,6 +764,7 @@ and iirFilterNode = {
|
|
|
746
764
|
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.
|
|
747
765
|
[See OscillatorNode on MDN](https://developer.mozilla.org/docs/Web/API/OscillatorNode)
|
|
748
766
|
*/
|
|
767
|
+
@editor.completeFrom(OscillatorNode)
|
|
749
768
|
and oscillatorNode = {
|
|
750
769
|
// Base properties from AudioScheduledSourceNode
|
|
751
770
|
// End base properties from AudioScheduledSourceNode
|
|
@@ -796,6 +815,7 @@ and oscillatorNode = {
|
|
|
796
815
|
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!
|
|
797
816
|
[See PannerNode on MDN](https://developer.mozilla.org/docs/Web/API/PannerNode)
|
|
798
817
|
*/
|
|
818
|
+
@editor.completeFrom(PannerNode)
|
|
799
819
|
and pannerNode = {
|
|
800
820
|
// Base properties from AudioNode
|
|
801
821
|
/**
|
|
@@ -886,6 +906,7 @@ and pannerNode = {
|
|
|
886
906
|
A node able to provide real-time frequency and time-domain analysis information. It is an AudioNode that passes the audio stream unchanged from the input to the output, but allows you to take the generated data, process it, and create audio visualizations.
|
|
887
907
|
[See AnalyserNode on MDN](https://developer.mozilla.org/docs/Web/API/AnalyserNode)
|
|
888
908
|
*/
|
|
909
|
+
@editor.completeFrom(AnalyserNode)
|
|
889
910
|
type analyserNode = {
|
|
890
911
|
...audioNode,
|
|
891
912
|
/**
|
|
@@ -914,12 +935,14 @@ type analyserNode = {
|
|
|
914
935
|
PeriodicWave has no inputs or outputs; it is used to define custom oscillators when calling OscillatorNode.setPeriodicWave(). The PeriodicWave itself is created/returned by AudioContext.createPeriodicWave().
|
|
915
936
|
[See PeriodicWave on MDN](https://developer.mozilla.org/docs/Web/API/PeriodicWave)
|
|
916
937
|
*/
|
|
938
|
+
@editor.completeFrom(PeriodicWave)
|
|
917
939
|
type periodicWave = {}
|
|
918
940
|
|
|
919
941
|
/**
|
|
920
942
|
The pan property takes a unitless value between -1 (full left pan) and 1 (full right pan). This interface was introduced as a much simpler way to apply a simple panning effect than having to use a full PannerNode.
|
|
921
943
|
[See StereoPannerNode on MDN](https://developer.mozilla.org/docs/Web/API/StereoPannerNode)
|
|
922
944
|
*/
|
|
945
|
+
@editor.completeFrom(StereoPannerNode)
|
|
923
946
|
type stereoPannerNode = {
|
|
924
947
|
...audioNode,
|
|
925
948
|
/**
|
|
@@ -932,6 +955,7 @@ type stereoPannerNode = {
|
|
|
932
955
|
A WaveShaperNode always has exactly one input and one output.
|
|
933
956
|
[See WaveShaperNode on MDN](https://developer.mozilla.org/docs/Web/API/WaveShaperNode)
|
|
934
957
|
*/
|
|
958
|
+
@editor.completeFrom(WaveShaperNode)
|
|
935
959
|
type waveShaperNode = {
|
|
936
960
|
...audioNode,
|
|
937
961
|
/**
|
|
@@ -948,6 +972,7 @@ type waveShaperNode = {
|
|
|
948
972
|
An audio-processing graph built from audio modules linked together, each represented by an AudioNode.
|
|
949
973
|
[See AudioContext on MDN](https://developer.mozilla.org/docs/Web/API/AudioContext)
|
|
950
974
|
*/
|
|
975
|
+
@editor.completeFrom(AudioContext)
|
|
951
976
|
type audioContext = {
|
|
952
977
|
...baseAudioContext,
|
|
953
978
|
/**
|
|
@@ -964,6 +989,7 @@ type audioContext = {
|
|
|
964
989
|
A MediaElementSourceNode has no inputs and exactly one output, and is created using the AudioContext.createMediaElementSource method. The amount of channels in the output equals the number of channels of the audio referenced by the HTMLMediaElement used in the creation of the node, or is 1 if the HTMLMediaElement has no audio.
|
|
965
990
|
[See MediaElementAudioSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/MediaElementAudioSourceNode)
|
|
966
991
|
*/
|
|
992
|
+
@editor.completeFrom(MediaElementAudioSourceNode)
|
|
967
993
|
type mediaElementAudioSourceNode = {
|
|
968
994
|
...audioNode,
|
|
969
995
|
/**
|
|
@@ -976,6 +1002,7 @@ type mediaElementAudioSourceNode = {
|
|
|
976
1002
|
A type of AudioNode which operates as an audio source whose media is received from a MediaStream obtained using the WebRTC or Media Capture and Streams APIs.
|
|
977
1003
|
[See MediaStreamAudioSourceNode on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamAudioSourceNode)
|
|
978
1004
|
*/
|
|
1005
|
+
@editor.completeFrom(MediaStreamAudioSourceNode)
|
|
979
1006
|
type mediaStreamAudioSourceNode = {
|
|
980
1007
|
...audioNode,
|
|
981
1008
|
/**
|
|
@@ -987,6 +1014,7 @@ type mediaStreamAudioSourceNode = {
|
|
|
987
1014
|
/**
|
|
988
1015
|
[See MediaStreamAudioDestinationNode on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamAudioDestinationNode)
|
|
989
1016
|
*/
|
|
1017
|
+
@editor.completeFrom(MediaStreamAudioDestinationNode)
|
|
990
1018
|
type mediaStreamAudioDestinationNode = {
|
|
991
1019
|
...audioNode,
|
|
992
1020
|
/**
|
|
@@ -1003,6 +1031,7 @@ type audioParamMap = {}
|
|
|
1003
1031
|
/**
|
|
1004
1032
|
[See AudioWorkletNode on MDN](https://developer.mozilla.org/docs/Web/API/AudioWorkletNode)
|
|
1005
1033
|
*/
|
|
1034
|
+
@editor.completeFrom(AudioWorkletNode)
|
|
1006
1035
|
type audioWorkletNode = {
|
|
1007
1036
|
...audioNode,
|
|
1008
1037
|
/**
|
|
@@ -1019,6 +1048,7 @@ type audioWorkletNode = {
|
|
|
1019
1048
|
An AudioContext interface representing an audio-processing graph built from linked together AudioNodes. In contrast with a standard AudioContext, an OfflineAudioContext doesn't render the audio to the device hardware; instead, it generates it, as fast as it can, and outputs the result to an AudioBuffer.
|
|
1020
1049
|
[See OfflineAudioContext on MDN](https://developer.mozilla.org/docs/Web/API/OfflineAudioContext)
|
|
1021
1050
|
*/
|
|
1051
|
+
@editor.completeFrom(OfflineAudioContext)
|
|
1022
1052
|
type offlineAudioContext = {
|
|
1023
1053
|
...baseAudioContext,
|
|
1024
1054
|
/**
|
package/src/WebCryptoAPI.res
CHANGED
|
@@ -29,12 +29,14 @@ type keyAlgorithm = {mutable name: string}
|
|
|
29
29
|
This Web Crypto API interface provides a number of low-level cryptographic functions. It is accessed via the Crypto.subtle properties available in a window context (via Window.crypto).
|
|
30
30
|
[See SubtleCrypto on MDN](https://developer.mozilla.org/docs/Web/API/SubtleCrypto)
|
|
31
31
|
*/
|
|
32
|
+
@editor.completeFrom(SubtleCrypto)
|
|
32
33
|
type subtleCrypto = {}
|
|
33
34
|
|
|
34
35
|
/**
|
|
35
36
|
Basic cryptography features available in the current context. It allows access to a cryptographically strong random number generator and to cryptographic primitives.
|
|
36
37
|
[See Crypto on MDN](https://developer.mozilla.org/docs/Web/API/Crypto)
|
|
37
38
|
*/
|
|
39
|
+
@editor.completeFrom(Crypto)
|
|
38
40
|
type crypto = {
|
|
39
41
|
/**
|
|
40
42
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Crypto/subtle)
|
package/src/WebLocksAPI.res
CHANGED
package/src/WebSocketsAPI.res
CHANGED
|
@@ -14,6 +14,7 @@ type messageEventSource = any
|
|
|
14
14
|
Provides the API for creating and managing a WebSocket connection to a server, as well as for sending and receiving data on the connection.
|
|
15
15
|
[See WebSocket on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket)
|
|
16
16
|
*/
|
|
17
|
+
@editor.completeFrom(WebSocket)
|
|
17
18
|
type webSocket = {
|
|
18
19
|
...eventTarget,
|
|
19
20
|
/**
|
|
@@ -56,6 +57,7 @@ Can be set, to change how binary data is returned. The default is "blob".
|
|
|
56
57
|
A CloseEvent is sent to clients using WebSockets when the connection is closed. This is delivered to the listener indicated by the WebSocket object's onclose attribute.
|
|
57
58
|
[See CloseEvent on MDN](https://developer.mozilla.org/docs/Web/API/CloseEvent)
|
|
58
59
|
*/
|
|
60
|
+
@editor.completeFrom(CloseEvent)
|
|
59
61
|
type closeEvent = {
|
|
60
62
|
...event,
|
|
61
63
|
/**
|
package/src/WebSpeechAPI.res
CHANGED
|
@@ -6,6 +6,7 @@ open EventAPI
|
|
|
6
6
|
This Web Speech API interface is the controller interface for the speech service; this can be used to retrieve information about the synthesis voices available on the device, start and pause speech, and other commands besides.
|
|
7
7
|
[See SpeechSynthesis on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesis)
|
|
8
8
|
*/
|
|
9
|
+
@editor.completeFrom(SpeechSynthesis)
|
|
9
10
|
type speechSynthesis = {
|
|
10
11
|
...eventTarget,
|
|
11
12
|
/**
|
|
@@ -53,6 +54,7 @@ type speechSynthesisVoice = {
|
|
|
53
54
|
This Web Speech API interface represents a speech request. It contains the content the speech service should read and information about how to read it (e.g. language, pitch and volume.)
|
|
54
55
|
[See SpeechSynthesisUtterance on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance)
|
|
55
56
|
*/
|
|
57
|
+
@editor.completeFrom(SpeechSynthesisUtterance)
|
|
56
58
|
type speechSynthesisUtterance = {
|
|
57
59
|
...eventTarget,
|
|
58
60
|
/**
|
package/src/WebStorageAPI.res
CHANGED
|
@@ -6,6 +6,7 @@ open EventAPI
|
|
|
6
6
|
This Web Storage API interface provides access to a particular domain's session or local storage. It allows, for example, the addition, modification, or deletion of stored data items.
|
|
7
7
|
[See Storage on MDN](https://developer.mozilla.org/docs/Web/API/Storage)
|
|
8
8
|
*/
|
|
9
|
+
@editor.completeFrom(Storage)
|
|
9
10
|
type storage = {
|
|
10
11
|
/**
|
|
11
12
|
Returns the number of key/value pairs.
|
|
@@ -18,6 +19,7 @@ type storage = {
|
|
|
18
19
|
A StorageEvent is sent to a window when a storage area it has access to is changed within the context of another document.
|
|
19
20
|
[See StorageEvent on MDN](https://developer.mozilla.org/docs/Web/API/StorageEvent)
|
|
20
21
|
*/
|
|
22
|
+
@editor.completeFrom(StorageEvent)
|
|
21
23
|
type storageEvent = {
|
|
22
24
|
...event,
|
|
23
25
|
/**
|
package/src/WebVTTAPI.res
CHANGED
|
@@ -18,6 +18,7 @@ type textTrackMode =
|
|
|
18
18
|
/**
|
|
19
19
|
[See TextTrackCueList on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCueList)
|
|
20
20
|
*/
|
|
21
|
+
@editor.completeFrom(TextTrackCueList)
|
|
21
22
|
type textTrackCueList = {
|
|
22
23
|
/**
|
|
23
24
|
Returns the number of cues in the list.
|
|
@@ -30,6 +31,7 @@ type textTrackCueList = {
|
|
|
30
31
|
TextTrackCues represent a string of text that will be displayed for some duration of time on a TextTrack. This includes the start and end times that the cue will be displayed. A TextTrackCue cannot be used directly, instead one of the derived types (e.g. VTTCue) must be used.
|
|
31
32
|
[See TextTrackCue on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCue)
|
|
32
33
|
*/
|
|
34
|
+
@editor.completeFrom(TextTrack)
|
|
33
35
|
type rec textTrackCue = {
|
|
34
36
|
...eventTarget,
|
|
35
37
|
/**
|
|
@@ -71,6 +73,7 @@ Can be set.
|
|
|
71
73
|
This interface also inherits properties from EventTarget.
|
|
72
74
|
[See TextTrack on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack)
|
|
73
75
|
*/
|
|
76
|
+
@editor.completeFrom(TextTrack)
|
|
74
77
|
and textTrack = {
|
|
75
78
|
...eventTarget,
|
|
76
79
|
/**
|