@rescript/webapi 0.1.0-experimental-7363f00 → 0.1.0-experimental-0d6538f

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.
@@ -33,6 +33,7 @@ type mediaKeyStatus =
33
33
  This EncryptedMediaExtensions API interface provides access to a Key System for decryption and/or a content protection provider. You can request an instance of this object using the Navigator.requestMediaKeySystemAccess method.
34
34
  [See MediaKeySystemAccess on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeySystemAccess)
35
35
  */
36
+ @editor.completeFrom(MediaKeySystemAccess)
36
37
  type mediaKeySystemAccess = {
37
38
  /**
38
39
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeySystemAccess/keySystem)
@@ -44,12 +45,14 @@ type mediaKeySystemAccess = {
44
45
  This EncryptedMediaExtensions API interface the represents a set of keys that an associated HTMLMediaElement can use for decryption of media data during playback.
45
46
  [See MediaKeys on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeys)
46
47
  */
48
+ @editor.completeFrom(MediaKeys)
47
49
  type mediaKeys = {}
48
50
 
49
51
  /**
50
52
  This EncryptedMediaExtensions API interface is a read-only map of media key statuses by key IDs.
51
53
  [See MediaKeyStatusMap on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeyStatusMap)
52
54
  */
55
+ @editor.completeFrom(MediaKeyStatusMap)
53
56
  type mediaKeyStatusMap = {
54
57
  /**
55
58
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeyStatusMap/size)
@@ -61,6 +64,7 @@ type mediaKeyStatusMap = {
61
64
  This EncryptedMediaExtensions API interface represents a context for message exchange with a content decryption module (CDM).
62
65
  [See MediaKeySession on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeySession)
63
66
  */
67
+ @editor.completeFrom(MediaKeySession)
64
68
  type mediaKeySession = {
65
69
  ...eventTarget,
66
70
  /**
package/src/EventAPI.res CHANGED
@@ -110,12 +110,14 @@ type eventListener<'event> = 'event => unit
110
110
  EventTarget is a DOM interface implemented by objects that can receive events and may have listeners for them.
111
111
  [See EventTarget on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget)
112
112
  */
113
+ @editor.completeFrom(EventTarget)
113
114
  type eventTarget = {}
114
115
 
115
116
  /**
116
117
  An event which takes place in the DOM.
117
118
  [See Event on MDN](https://developer.mozilla.org/docs/Web/API/Event)
118
119
  */
120
+ @editor.completeFrom(Event)
119
121
  type event = {
120
122
  /**
121
123
  Returns the type of event, e.g. "click", "hashchange", or "submit".
@@ -174,6 +176,7 @@ type event = {
174
176
  A controller object that allows you to abort one or more DOM requests as and when desired.
175
177
  [See AbortController on MDN](https://developer.mozilla.org/docs/Web/API/AbortController)
176
178
  */
179
+ @editor.completeFrom(AbortController)
177
180
  type rec abortController = {
178
181
  /**
179
182
  Returns the AbortSignal object associated with this object.
@@ -186,6 +189,7 @@ type rec abortController = {
186
189
  A signal object that allows you to communicate with a DOM request (such as a Fetch) and abort it if required via an AbortController object.
187
190
  [See AbortSignal on MDN](https://developer.mozilla.org/docs/Web/API/AbortSignal)
188
191
  */
192
+ @editor.completeFrom(AbortSignal)
189
193
  and abortSignal = {
190
194
  ...eventTarget,
191
195
  /**
package/src/FetchAPI.res CHANGED
@@ -73,15 +73,17 @@ type requestPriority =
73
73
  | @as("low") Low
74
74
 
75
75
  /**
76
- This Fetch API interface allows you to perform various actions on HTTP request and response headers. These actions include retrieving, setting, adding to, and removing. A Headers object has an associated header list, which is initially empty and consists of zero or more name and value pairs.  You can add to this using methods like append() (see Examples.) In all methods of this interface, header names are matched by case-insensitive byte sequence.
76
+ @editor.completeFrom(Response) This Fetch API interface allows you to perform various actions on HTTP request and response headers. These actions include retrieving, setting, adding to, and removing. A Headers object has an associated header list, which is initially empty and consists of zero or more name and value pairs.  You can add to this using methods like append() (see Examples.) In all methods of this interface, header names are matched by case-insensitive byte sequence.
77
77
  [See Headers on MDN](https://developer.mozilla.org/docs/Web/API/Headers)
78
78
  */
79
+ @editor.completeFrom(Headers)
79
80
  type headers = {}
80
81
 
81
82
  /**
82
83
  This Fetch API interface represents a resource request.
83
84
  [See Request on MDN](https://developer.mozilla.org/docs/Web/API/Request)
84
85
  */
86
+ @editor.completeFrom(Request)
85
87
  type request = {
86
88
  /**
87
89
  Returns request's HTTP method, which is "GET" by default.
@@ -162,6 +164,7 @@ type request = {
162
164
  This Fetch API interface represents the response to a request.
163
165
  [See Response on MDN](https://developer.mozilla.org/docs/Web/API/Response)
164
166
  */
167
+ @editor.completeFrom(Response)
165
168
  type response = {
166
169
  /**
167
170
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Response/type)
@@ -206,11 +209,13 @@ type response = {
206
209
  Provides a way to easily construct a set of key/value pairs representing form fields and their values, which can then be easily sent using the XMLHttpRequest.send() method. It uses the same format a form would use if the encoding type were set to "multipart/form-data".
207
210
  [See FormData on MDN](https://developer.mozilla.org/docs/Web/API/FormData)
208
211
  */
212
+ @editor.completeFrom(FormData)
209
213
  type formData = {}
210
214
 
211
215
  /**
212
216
  [See URLSearchParams on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams)
213
217
  */
218
+ @editor.completeFrom(URLSearchParams)
214
219
  type urlSearchParams = {
215
220
  /**
216
221
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/URLSearchParams/size)
@@ -218,9 +223,9 @@ type urlSearchParams = {
218
223
  size: int,
219
224
  }
220
225
 
221
- type headersInit
226
+ @editor.completeFrom(HeadersInit) type headersInit
222
227
 
223
- type bodyInit
228
+ @editor.completeFrom(BodyInit) type bodyInit
224
229
 
225
230
  type requestInfo = any
226
231
 
package/src/FileAPI.res CHANGED
@@ -22,6 +22,7 @@ type writeCommandType =
22
22
  A file-like object of immutable, raw data. Blobs represent data that isn't necessarily in a JavaScript-native format. The File interface is based on Blob, inheriting blob functionality and expanding it to support files on the user's system.
23
23
  [See Blob on MDN](https://developer.mozilla.org/docs/Web/API/Blob)
24
24
  */
25
+ @editor.completeFrom(Blob)
25
26
  type blob = {
26
27
  /**
27
28
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Blob/size)
@@ -60,6 +61,7 @@ type writableStream<'w> = {
60
61
  This Streams API interface represents a controller allowing control of a WritableStream's state. When constructing a WritableStream, the underlying sink is given a corresponding WritableStreamDefaultController instance to manipulate.
61
62
  [See WritableStreamDefaultController on MDN](https://developer.mozilla.org/docs/Web/API/WritableStreamDefaultController)
62
63
  */
64
+ @editor.completeFrom(WritableStreamDefaultController)
63
65
  type writableStreamDefaultController = {
64
66
  /**
65
67
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStreamDefaultController/signal)
@@ -71,6 +73,7 @@ type writableStreamDefaultController = {
71
73
  Provides information about files and allows JavaScript in a web page to access their content.
72
74
  [See File on MDN](https://developer.mozilla.org/docs/Web/API/File)
73
75
  */
76
+ @editor.completeFrom(File)
74
77
  type file = {
75
78
  ...blob,
76
79
  /**
@@ -90,6 +93,7 @@ type file = {
90
93
  /**
91
94
  [See FileSystemHandle on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemHandle)
92
95
  */
96
+ @editor.completeFrom(FileSystemHandle)
93
97
  type fileSystemHandle = {
94
98
  /**
95
99
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemHandle/kind)
@@ -104,6 +108,7 @@ type fileSystemHandle = {
104
108
  /**
105
109
  [See FileSystemDirectoryHandle on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryHandle)
106
110
  */
111
+ @editor.completeFrom(FileSystemDirectoryHandle)
107
112
  type fileSystemDirectoryHandle = {
108
113
  ...fileSystemHandle,
109
114
  }
@@ -111,6 +116,7 @@ type fileSystemDirectoryHandle = {
111
116
  /**
112
117
  [See FileSystemFileHandle on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemFileHandle)
113
118
  */
119
+ @editor.completeFrom(FileSystemFileHandle)
114
120
  type fileSystemFileHandle = {
115
121
  ...fileSystemHandle,
116
122
  }
@@ -118,6 +124,7 @@ type fileSystemFileHandle = {
118
124
  /**
119
125
  [See FileSystemWritableFileStream on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream)
120
126
  */
127
+ @editor.completeFrom(FileSystemWritableFileStream)
121
128
  type fileSystemWritableFileStream = {
122
129
  ...writableStream<any>,
123
130
  }
@@ -5,6 +5,7 @@ open Prelude
5
5
  /**
6
6
  [See FileSystemEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry)
7
7
  */
8
+ @editor.completeFrom(FileSystemEntry)
8
9
  type rec fileSystemEntry = {
9
10
  /**
10
11
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/isFile)
@@ -31,6 +32,7 @@ type rec fileSystemEntry = {
31
32
  /**
32
33
  [See FileSystemDirectoryEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry)
33
34
  */
35
+ @editor.completeFrom(FileSystemDirectoryEntry)
34
36
  and fileSystemDirectoryEntry = {
35
37
  // Base properties from FileSystemEntry
36
38
  /**
@@ -73,6 +75,7 @@ and fileSystem = {
73
75
  /**
74
76
  [See FileSystemDirectoryReader on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryReader)
75
77
  */
78
+ @editor.completeFrom(FileSystemDirectoryReader)
76
79
  type fileSystemDirectoryReader = {}
77
80
 
78
81
  type fileSystemFlags = {
@@ -34,6 +34,7 @@ type gamepadButton = {
34
34
  This Gamepad API interface represents hardware in the controller designed to provide haptic feedback to the user (if available), most commonly vibration hardware.
35
35
  [See GamepadHapticActuator on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator)
36
36
  */
37
+ @editor.completeFrom(GamepadHapticActuator)
37
38
  type gamepadHapticActuator = {}
38
39
 
39
40
  /**
@@ -3,11 +3,13 @@
3
3
  An object able to programmatically obtain the position of the device. It gives Web content access to the location of the device. This allows a Web site or app to offer customized results based on the user's location.
4
4
  [See Geolocation on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation)
5
5
  */
6
+ @editor.completeFrom(Geolocation)
6
7
  type geolocation = {}
7
8
 
8
9
  /**
9
10
  [See GeolocationCoordinates on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates)
10
11
  */
12
+ @editor.completeFrom(GeolocationCoordinates)
11
13
  type geolocationCoordinates = {
12
14
  /**
13
15
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/accuracy)
@@ -42,6 +44,7 @@ type geolocationCoordinates = {
42
44
  /**
43
45
  [See GeolocationPosition on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition)
44
46
  */
47
+ @editor.completeFrom(GeolocationPosition)
45
48
  type geolocationPosition = {
46
49
  /**
47
50
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition/coords)
@@ -10,6 +10,7 @@ type scrollRestoration =
10
10
  Allows manipulation of the browser session history, that is the pages visited in the tab or frame that the current page is loaded in.
11
11
  [See History on MDN](https://developer.mozilla.org/docs/Web/API/History)
12
12
  */
13
+ @editor.completeFrom(History)
13
14
  type history = {
14
15
  /**
15
16
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/History/length)
@@ -27,12 +27,14 @@ type idbCursorDirection =
27
27
  In the following code snippet, we make a request to open a database, and include handlers for the success and error cases. For a full working example, see our To-do Notifications app (view example live.)
28
28
  [See IDBFactory on MDN](https://developer.mozilla.org/docs/Web/API/IDBFactory)
29
29
  */
30
+ @editor.completeFrom(IDBFactory)
30
31
  type idbFactory = {}
31
32
 
32
33
  /**
33
34
  This IndexedDB API interface provides a connection to a database; you can use an IDBDatabase object to open a transaction on your database then create, manipulate, and delete objects (data) in that database. The interface provides the only way to get and manage versions of the database.
34
35
  [See IDBDatabase on MDN](https://developer.mozilla.org/docs/Web/API/IDBDatabase)
35
36
  */
37
+ @editor.completeFrom(IDBDatabase)
36
38
  type idbDatabase = {
37
39
  ...eventTarget,
38
40
  /**
@@ -55,6 +57,7 @@ type idbDatabase = {
55
57
  /**
56
58
  [See IDBTransaction on MDN](https://developer.mozilla.org/docs/Web/API/IDBTransaction)
57
59
  */
60
+ @editor.completeFrom(IDBTransaction)
58
61
  type idbTransaction = {
59
62
  ...eventTarget,
60
63
  /**
@@ -128,6 +131,7 @@ type idbOpenDBRequest = {
128
131
  This example shows a variety of different uses of object stores, from updating the data structure with IDBObjectStore.createIndex inside an onupgradeneeded function, to adding a new item to our object store with IDBObjectStore.add. For a full working example, see our To-do Notifications app (view example live.)
129
132
  [See IDBObjectStore on MDN](https://developer.mozilla.org/docs/Web/API/IDBObjectStore)
130
133
  */
134
+ @editor.completeFrom(IDBObjectStore)
131
135
  type idbObjectStore = {
132
136
  /**
133
137
  Returns the name of the store.
@@ -160,6 +164,7 @@ type idbObjectStore = {
160
164
  IDBIndex interface of the IndexedDB API provides asynchronous access to an index in a database. An index is a kind of object store for looking up records in another object store, called the referenced object store. You use this interface to retrieve data.
161
165
  [See IDBIndex on MDN](https://developer.mozilla.org/docs/Web/API/IDBIndex)
162
166
  */
167
+ @editor.completeFrom(IDBIndex)
163
168
  type idbIndex = {
164
169
  /**
165
170
  Returns the name of the index.
@@ -26,6 +26,7 @@ type mediaEncodingType =
26
26
  /**
27
27
  [See MediaCapabilities on MDN](https://developer.mozilla.org/docs/Web/API/MediaCapabilities)
28
28
  */
29
+ @editor.completeFrom(MediaCapabilities)
29
30
  type mediaCapabilities = {}
30
31
 
31
32
  type audioConfiguration = {
@@ -15,6 +15,7 @@ type mediaStreamTrackState =
15
15
  Provides access to connected media input devices like cameras and microphones, as well as screen sharing. In essence, it lets you obtain access to any hardware source of media data.
16
16
  [See MediaDevices on MDN](https://developer.mozilla.org/docs/Web/API/MediaDevices)
17
17
  */
18
+ @editor.completeFrom(MediaDevices)
18
19
  type mediaDevices = {
19
20
  ...eventTarget,
20
21
  }
@@ -23,6 +24,7 @@ type mediaDevices = {
23
24
  The MediaDevicesInfo interface contains information that describes a single media input or output device.
24
25
  [See MediaDeviceInfo on MDN](https://developer.mozilla.org/docs/Web/API/MediaDeviceInfo)
25
26
  */
27
+ @editor.completeFrom(MediaDeviceInfo)
26
28
  type mediaDeviceInfo = {
27
29
  /**
28
30
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaDeviceInfo/deviceId)
@@ -46,6 +48,7 @@ type mediaDeviceInfo = {
46
48
  A stream of media content. A stream consists of several tracks such as video or audio tracks. Each track is specified as an instance of MediaStreamTrack.
47
49
  [See MediaStream on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream)
48
50
  */
51
+ @editor.completeFrom(MediaStream)
49
52
  type mediaStream = {
50
53
  ...eventTarget,
51
54
  /**
@@ -62,6 +65,7 @@ type mediaStream = {
62
65
  A single media track within a stream; typically, these are audio or video tracks, but other track types may exist as well.
63
66
  [See MediaStreamTrack on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack)
64
67
  */
68
+ @editor.completeFrom(MediaStreamTrack)
65
69
  type mediaStreamTrack = {
66
70
  ...eventTarget,
67
71
  /**
@@ -27,6 +27,7 @@ type mediaImage = {
27
27
  /**
28
28
  [See MediaMetadata on MDN](https://developer.mozilla.org/docs/Web/API/MediaMetadata)
29
29
  */
30
+ @editor.completeFrom(MediaMetadata)
30
31
  type mediaMetadata = {
31
32
  /**
32
33
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaMetadata/title)
@@ -49,6 +50,7 @@ type mediaMetadata = {
49
50
  /**
50
51
  [See MediaSession on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession)
51
52
  */
53
+ @editor.completeFrom(MediaSession)
52
54
  type mediaSession = {
53
55
  /**
54
56
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession/metadata)
@@ -17,6 +17,7 @@ type notificationPermission =
17
17
  This Notifications API interface is used to configure and display desktop notifications to the user.
18
18
  [See Notification on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
19
19
  */
20
+ @editor.completeFrom(Notification)
20
21
  type notification = {
21
22
  ...eventTarget,
22
23
  /**
@@ -12,6 +12,7 @@ type eventCounts = {}
12
12
  Provides access to performance-related information for the current page. It's part of the High Resolution Time API, but is enhanced by the Performance Timeline API, the Navigation Timing API, the User Timing API, and the Resource Timing API.
13
13
  [See Performance on MDN](https://developer.mozilla.org/docs/Web/API/Performance)
14
14
  */
15
+ @editor.completeFrom(Performance)
15
16
  type performance = {
16
17
  ...eventTarget,
17
18
  /**
@@ -28,6 +29,7 @@ type performance = {
28
29
  Encapsulates a single performance metric that is part of the performance timeline. A performance entry can be directly created by making a performance mark or measure (for example by calling the mark() method) at an explicit point in an application. Performance entries are also created in indirect ways such as loading a resource (such as an image).
29
30
  [See PerformanceEntry on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry)
30
31
  */
32
+ @editor.completeFrom(PerformanceEntry)
31
33
  type performanceEntry = {
32
34
  /**
33
35
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/name)
@@ -51,6 +53,7 @@ type performanceEntry = {
51
53
  PerformanceMark is an abstract interface for PerformanceEntry objects with an entryType of "mark". Entries of this type are created by calling performance.mark() to add a named DOMHighResTimeStamp (the mark) to the browser's performance timeline.
52
54
  [See PerformanceMark on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMark)
53
55
  */
56
+ @editor.completeFrom(PerformanceMark)
54
57
  type performanceMark = {
55
58
  ...performanceEntry,
56
59
  /**
@@ -19,6 +19,7 @@ type permissionState =
19
19
  /**
20
20
  [See Permissions on MDN](https://developer.mozilla.org/docs/Web/API/Permissions)
21
21
  */
22
+ @editor.completeFrom(Permissions)
22
23
  type permissions = {}
23
24
 
24
25
  /**
@@ -15,6 +15,7 @@ type pushEncryptionKeyName =
15
15
  This Push API interface provides a way to receive notifications from third-party servers as well as request URLs for push notifications.
16
16
  [See PushManager on MDN](https://developer.mozilla.org/docs/Web/API/PushManager)
17
17
  */
18
+ @editor.completeFrom(PushManager)
18
19
  type pushManager = {
19
20
  /**
20
21
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/supportedContentEncodings_static)
@@ -40,6 +41,7 @@ type pushSubscriptionOptions = {
40
41
  This Push API interface provides a subcription's URL endpoint and allows unsubscription from a push service.
41
42
  [See PushSubscription on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription)
42
43
  */
44
+ @editor.completeFrom(PushSubscription)
43
45
  type pushSubscription = {
44
46
  /**
45
47
  [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/endpoint)
@@ -10,6 +10,7 @@ type remotePlaybackState =
10
10
  /**
11
11
  [See RemotePlayback on MDN](https://developer.mozilla.org/docs/Web/API/RemotePlayback)
12
12
  */
13
+ @editor.completeFrom(RemotePlayback)
13
14
  type remotePlayback = {
14
15
  ...eventTarget,
15
16
  /**
@@ -51,6 +51,7 @@ type resizeObserverEntry = {
51
51
  /**
52
52
  [See ResizeObserver on MDN](https://developer.mozilla.org/docs/Web/API/ResizeObserver)
53
53
  */
54
+ @editor.completeFrom(ResizeObserver)
54
55
  type resizeObserver = {}
55
56
 
56
57
  type resizeObserverOptions = {mutable box?: resizeObserverBoxOptions}
@@ -7,11 +7,13 @@ type wakeLockType = | @as("screen") Screen
7
7
  /**
8
8
  [See WakeLock on MDN](https://developer.mozilla.org/docs/Web/API/WakeLock)
9
9
  */
10
+ @editor.completeFrom(WakeLock)
10
11
  type wakeLock = {}
11
12
 
12
13
  /**
13
14
  [See WakeLockSentinel on MDN](https://developer.mozilla.org/docs/Web/API/WakeLockSentinel)
14
15
  */
16
+ @editor.completeFrom(WakeLockSentinel)
15
17
  type wakeLockSentinel = {
16
18
  ...eventTarget,
17
19
  /**
@@ -28,6 +28,7 @@ type workerType =
28
28
  This ServiceWorker API interface provides a reference to a service worker. Multiple browsing contexts (e.g. pages, workers, etc.) can be associated with the same service worker, each through a unique ServiceWorker object.
29
29
  [See ServiceWorker on MDN](https://developer.mozilla.org/docs/Web/API/ServiceWorker)
30
30
  */
31
+ @editor.completeFrom(ServiceWorker)
31
32
  type serviceWorker = {
32
33
  ...eventTarget,
33
34
  /**
@@ -43,12 +44,14 @@ type serviceWorker = {
43
44
  /**
44
45
  [See NavigationPreloadManager on MDN](https://developer.mozilla.org/docs/Web/API/NavigationPreloadManager)
45
46
  */
47
+ @editor.completeFrom(NavigationPreloadManager)
46
48
  type navigationPreloadManager = {}
47
49
 
48
50
  /**
49
51
  This ServiceWorker API interface represents the service worker registration. You register a service worker to control one or more pages that share the same origin.
50
52
  [See ServiceWorkerRegistration on MDN](https://developer.mozilla.org/docs/Web/API/ServiceWorkerRegistration)
51
53
  */
54
+ @editor.completeFrom(ServiceWorkerRegistration)
52
55
  type serviceWorkerRegistration = {
53
56
  ...eventTarget,
54
57
  /**
@@ -85,6 +88,7 @@ type serviceWorkerRegistration = {
85
88
  The ServiceWorkerContainer interface of the ServiceWorker API provides an object representing the service worker as an overall unit in the network ecosystem, including facilities to register, unregister and update service workers, and access the state of service workers and their registrations.
86
89
  [See ServiceWorkerContainer on MDN](https://developer.mozilla.org/docs/Web/API/ServiceWorkerContainer)
87
90
  */
91
+ @editor.completeFrom(ServiceWorkerContainer)
88
92
  type serviceWorkerContainer = {
89
93
  ...eventTarget,
90
94
  /**
@@ -101,12 +105,14 @@ type serviceWorkerContainer = {
101
105
  The storage for Cache objects.
102
106
  [See CacheStorage on MDN](https://developer.mozilla.org/docs/Web/API/CacheStorage)
103
107
  */
108
+ @editor.completeFrom(CacheStorage)
104
109
  type cacheStorage = {}
105
110
 
106
111
  /**
107
112
  Provides a storage mechanism for Request / Response object pairs that are cached, for example as part of the ServiceWorker life cycle. Note that the Cache interface is exposed to windowed scopes as well as workers. You don't have to use it in conjunction with service workers, even though it is defined in the service worker spec.
108
113
  [See Cache on MDN](https://developer.mozilla.org/docs/Web/API/Cache)
109
114
  */
115
+ @editor.completeFrom(Cache)
110
116
  type cache = {}
111
117
 
112
118
  type navigationPreloadState = {
@@ -2,6 +2,7 @@
2
2
  /**
3
3
  [See StorageManager on MDN](https://developer.mozilla.org/docs/Web/API/StorageManager)
4
4
  */
5
+ @editor.completeFrom(StorageManager)
5
6
  type storageManager = {}
6
7
 
7
8
  type storageEstimate = {
@@ -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)