@rescript/webapi 0.1.0-experimental-95f8e96 → 0.1.0-experimental-03eae8b
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 +2 -2
- 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
|
@@ -1,9 +1,7 @@
|
|
|
1
1
|
open DOMAPI
|
|
2
2
|
open PictureInPictureAPI
|
|
3
3
|
|
|
4
|
-
include HTMLMediaElement.Impl({
|
|
5
|
-
type t = htmlVideoElement
|
|
6
|
-
})
|
|
4
|
+
include HTMLMediaElement.Impl({type t = htmlVideoElement})
|
|
7
5
|
|
|
8
6
|
/**
|
|
9
7
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLVideoElement/getVideoPlaybackQuality)
|
package/src/DOMAPI/Navigator.res
CHANGED
package/src/DOMAPI/Node.res
CHANGED
|
@@ -5,9 +5,7 @@ module Impl = (
|
|
|
5
5
|
type t
|
|
6
6
|
},
|
|
7
7
|
) => {
|
|
8
|
-
include EventTarget.Impl({
|
|
9
|
-
type t = T.t
|
|
10
|
-
})
|
|
8
|
+
include EventTarget.Impl({type t = T.t})
|
|
11
9
|
|
|
12
10
|
external asNode: T.t => node = "%identity"
|
|
13
11
|
|
|
@@ -109,6 +107,4 @@ Returns true if other is an inclusive descendant of node, and false otherwise.
|
|
|
109
107
|
external removeChild: (T.t, 't) => 't = "removeChild"
|
|
110
108
|
}
|
|
111
109
|
|
|
112
|
-
include Impl({
|
|
113
|
-
type t = node
|
|
114
|
-
})
|
|
110
|
+
include Impl({type t = node})
|
package/src/DOMAPI/Text.res
CHANGED
package/src/DOMAPI/Window.res
CHANGED
package/src/DOMAPI.res
CHANGED
|
@@ -506,8 +506,7 @@ type rec animationTimeline = {
|
|
|
506
506
|
/**
|
|
507
507
|
[See DocumentTimeline on MDN](https://developer.mozilla.org/docs/Web/API/DocumentTimeline)
|
|
508
508
|
*/
|
|
509
|
-
@editor.completeFrom(DocumentTimeline)
|
|
510
|
-
and documentTimeline = {
|
|
509
|
+
@editor.completeFrom(DocumentTimeline) and documentTimeline = {
|
|
511
510
|
// Base properties from AnimationTimeline
|
|
512
511
|
/**
|
|
513
512
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/AnimationTimeline/currentTime)
|
|
@@ -608,8 +607,7 @@ and styleSheet = {
|
|
|
608
607
|
A single CSS style sheet. It inherits properties and methods from its parent, StyleSheet.
|
|
609
608
|
[See CSSStyleSheet on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleSheet)
|
|
610
609
|
*/
|
|
611
|
-
@editor.completeFrom(CSSStyleSheet)
|
|
612
|
-
and cssStyleSheet = {
|
|
610
|
+
@editor.completeFrom(CSSStyleSheet) and cssStyleSheet = {
|
|
613
611
|
// Base properties from StyleSheet
|
|
614
612
|
/**
|
|
615
613
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/StyleSheet/type)
|
|
@@ -675,8 +673,7 @@ and cssRule = {
|
|
|
675
673
|
A CSSRuleList is an (indirect-modify only) array-like object containing an ordered collection of CSSRule objects.
|
|
676
674
|
[See CSSRuleList on MDN](https://developer.mozilla.org/docs/Web/API/CSSRuleList)
|
|
677
675
|
*/
|
|
678
|
-
@editor.completeFrom(CSSRuleList)
|
|
679
|
-
and cssRuleList = {
|
|
676
|
+
@editor.completeFrom(CSSRuleList) and cssRuleList = {
|
|
680
677
|
/**
|
|
681
678
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSRuleList/length)
|
|
682
679
|
*/
|
|
@@ -687,8 +684,7 @@ and cssRuleList = {
|
|
|
687
684
|
An object that is a CSS declaration block, and exposes style information and various style-related methods and properties.
|
|
688
685
|
[See CSSStyleDeclaration on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleDeclaration)
|
|
689
686
|
*/
|
|
690
|
-
@editor.completeFrom(CSSStyleDeclaration)
|
|
691
|
-
and cssStyleDeclaration = {
|
|
687
|
+
@editor.completeFrom(CSSStyleDeclaration) and cssStyleDeclaration = {
|
|
692
688
|
/**
|
|
693
689
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CSSStyleDeclaration/cssText)
|
|
694
690
|
*/
|
|
@@ -2472,8 +2468,7 @@ type rec node = {
|
|
|
2472
2468
|
NodeList objects are collections of nodes, usually returned by properties such as Node.childNodes and methods such as document.querySelectorAll().
|
|
2473
2469
|
[See NodeList on MDN](https://developer.mozilla.org/docs/Web/API/NodeList)
|
|
2474
2470
|
*/
|
|
2475
|
-
@editor.completeFrom(NodeList)
|
|
2476
|
-
and nodeList = {
|
|
2471
|
+
@editor.completeFrom(NodeList) and nodeList = {
|
|
2477
2472
|
/**
|
|
2478
2473
|
Returns the number of nodes in the collection.
|
|
2479
2474
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeList/length)
|
|
@@ -2495,8 +2490,7 @@ and nodeListOf<'tNode> = {
|
|
|
2495
2490
|
Element is the most general base class from which all objects in a Document inherit. It only has methods and properties common to all kinds of elements. More specific classes inherit from Element.
|
|
2496
2491
|
[See Element on MDN](https://developer.mozilla.org/docs/Web/API/Element)
|
|
2497
2492
|
*/
|
|
2498
|
-
@editor.completeFrom(Element)
|
|
2499
|
-
and element = {
|
|
2493
|
+
@editor.completeFrom(Element) and element = {
|
|
2500
2494
|
// Base properties from Node
|
|
2501
2495
|
/**
|
|
2502
2496
|
Returns the type of node.
|
|
@@ -2867,8 +2861,7 @@ and element = {
|
|
|
2867
2861
|
/**
|
|
2868
2862
|
[See ShadowRoot on MDN](https://developer.mozilla.org/docs/Web/API/ShadowRoot)
|
|
2869
2863
|
*/
|
|
2870
|
-
@editor.completeFrom(ShadowRoot)
|
|
2871
|
-
and shadowRoot = {
|
|
2864
|
+
@editor.completeFrom(ShadowRoot) and shadowRoot = {
|
|
2872
2865
|
// Base properties from DocumentFragment
|
|
2873
2866
|
// End base properties from DocumentFragment
|
|
2874
2867
|
|
|
@@ -3008,8 +3001,7 @@ Similarly, when the focused element is in a different node tree than documentOrS
|
|
|
3008
3001
|
A generic collection (array-like object similar to arguments) of elements (in document order) and offers methods and properties for selecting from the list.
|
|
3009
3002
|
[See HTMLCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCollection)
|
|
3010
3003
|
*/
|
|
3011
|
-
@editor.completeFrom(HTMLCollection)
|
|
3012
|
-
and htmlCollection = {
|
|
3004
|
+
@editor.completeFrom(HTMLCollection) and htmlCollection = {
|
|
3013
3005
|
/**
|
|
3014
3006
|
Sets or retrieves the number of objects in a collection.
|
|
3015
3007
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLCollection/length)
|
|
@@ -3031,8 +3023,7 @@ and htmlCollectionOf<'t> = {
|
|
|
3031
3023
|
A collection of HTML form control elements.
|
|
3032
3024
|
[See HTMLFormControlsCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFormControlsCollection)
|
|
3033
3025
|
*/
|
|
3034
|
-
@editor.completeFrom(HTMLFormControlsCollection)
|
|
3035
|
-
and htmlFormControlsCollection = {
|
|
3026
|
+
@editor.completeFrom(HTMLFormControlsCollection) and htmlFormControlsCollection = {
|
|
3036
3027
|
// Base properties from HTMLCollection
|
|
3037
3028
|
/**
|
|
3038
3029
|
Sets or retrieves the number of objects in a collection.
|
|
@@ -3046,8 +3037,7 @@ and htmlFormControlsCollection = {
|
|
|
3046
3037
|
Any HTML element. Some elements directly implement this interface, while others implement it via an interface that inherits it.
|
|
3047
3038
|
[See HTMLElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement)
|
|
3048
3039
|
*/
|
|
3049
|
-
@editor.completeFrom(HTMLElement)
|
|
3050
|
-
and htmlElement = {
|
|
3040
|
+
@editor.completeFrom(HTMLElement) and htmlElement = {
|
|
3051
3041
|
// Base properties from Element
|
|
3052
3042
|
/**
|
|
3053
3043
|
Returns the namespace.
|
|
@@ -3341,8 +3331,7 @@ and htmlElement = {
|
|
|
3341
3331
|
Contains the descriptive information, or metadata, for a document. This object inherits all of the properties and methods described in the HTMLElement interface.
|
|
3342
3332
|
[See HTMLHeadElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHeadElement)
|
|
3343
3333
|
*/
|
|
3344
|
-
@editor.completeFrom(HTMLHeadElement)
|
|
3345
|
-
and htmlHeadElement = {
|
|
3334
|
+
@editor.completeFrom(HTMLHeadElement) and htmlHeadElement = {
|
|
3346
3335
|
// Base properties from HTMLElement
|
|
3347
3336
|
/**
|
|
3348
3337
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -3598,8 +3587,7 @@ and htmlHeadElement = {
|
|
|
3598
3587
|
A <form> element in the DOM; it allows access to and in some cases modification of aspects of the form, as well as access to its component elements.
|
|
3599
3588
|
[See HTMLFormElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLFormElement)
|
|
3600
3589
|
*/
|
|
3601
|
-
@editor.completeFrom(HTMLFormElement)
|
|
3602
|
-
and htmlFormElement = {
|
|
3590
|
+
@editor.completeFrom(HTMLFormElement) and htmlFormElement = {
|
|
3603
3591
|
// Base properties from HTMLElement
|
|
3604
3592
|
/**
|
|
3605
3593
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -3906,8 +3894,7 @@ and htmlFormElement = {
|
|
|
3906
3894
|
Provides special properties and methods for manipulating <img> elements.
|
|
3907
3895
|
[See HTMLImageElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLImageElement)
|
|
3908
3896
|
*/
|
|
3909
|
-
@editor.completeFrom(HTMLImageElement)
|
|
3910
|
-
and htmlImageElement = {
|
|
3897
|
+
@editor.completeFrom(HTMLImageElement) and htmlImageElement = {
|
|
3911
3898
|
// Base properties from HTMLElement
|
|
3912
3899
|
/**
|
|
3913
3900
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -4250,8 +4237,7 @@ and htmlImageElement = {
|
|
|
4250
4237
|
Provides special properties (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating <embed> elements.
|
|
4251
4238
|
[See HTMLEmbedElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLEmbedElement)
|
|
4252
4239
|
*/
|
|
4253
|
-
@editor.completeFrom(HTMLEmbedElement)
|
|
4254
|
-
and htmlEmbedElement = {
|
|
4240
|
+
@editor.completeFrom(HTMLEmbedElement) and htmlEmbedElement = {
|
|
4255
4241
|
// Base properties from HTMLElement
|
|
4256
4242
|
/**
|
|
4257
4243
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -4523,8 +4509,7 @@ and htmlEmbedElement = {
|
|
|
4523
4509
|
Hyperlink elements and provides special properties and methods (beyond those of the regular HTMLElement object interface that they inherit from) for manipulating the layout and presentation of such elements.
|
|
4524
4510
|
[See HTMLAnchorElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAnchorElement)
|
|
4525
4511
|
*/
|
|
4526
|
-
@editor.completeFrom(HTMLAnchorElement)
|
|
4527
|
-
and htmlAnchorElement = {
|
|
4512
|
+
@editor.completeFrom(HTMLAnchorElement) and htmlAnchorElement = {
|
|
4528
4513
|
// Base properties from HTMLElement
|
|
4529
4514
|
/**
|
|
4530
4515
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -4897,8 +4882,7 @@ Can be set, to change the URL's fragment (ignores leading "#").
|
|
|
4897
4882
|
Provides special properties and methods (beyond those of the regular object HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of <area> elements.
|
|
4898
4883
|
[See HTMLAreaElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLAreaElement)
|
|
4899
4884
|
*/
|
|
4900
|
-
@editor.completeFrom(HTMLAreaElement)
|
|
4901
|
-
and htmlAreaElement = {
|
|
4885
|
+
@editor.completeFrom(HTMLAreaElement) and htmlAreaElement = {
|
|
4902
4886
|
// Base properties from HTMLElement
|
|
4903
4887
|
/**
|
|
4904
4888
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -5251,8 +5235,7 @@ Can be set, to change the URL's fragment (ignores leading "#").
|
|
|
5251
5235
|
HTML <script> elements expose the HTMLScriptElement interface, which provides special properties and methods for manipulating the behavior and execution of <script> elements (beyond the inherited HTMLElement interface).
|
|
5252
5236
|
[See HTMLScriptElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLScriptElement)
|
|
5253
5237
|
*/
|
|
5254
|
-
@editor.completeFrom(HTMLScriptElement)
|
|
5255
|
-
and htmlScriptElement = {
|
|
5238
|
+
@editor.completeFrom(HTMLScriptElement) and htmlScriptElement = {
|
|
5256
5239
|
// Base properties from HTMLElement
|
|
5257
5240
|
/**
|
|
5258
5241
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -5554,8 +5537,7 @@ and htmlScriptElement = {
|
|
|
5554
5537
|
An object providing methods which are not dependent on any particular document. Such an object is returned by the Document.implementation property.
|
|
5555
5538
|
[See DOMImplementation on MDN](https://developer.mozilla.org/docs/Web/API/DOMImplementation)
|
|
5556
5539
|
*/
|
|
5557
|
-
@editor.completeFrom(DOMImplementation)
|
|
5558
|
-
and domImplementation = {}
|
|
5540
|
+
@editor.completeFrom(DOMImplementation) and domImplementation = {}
|
|
5559
5541
|
|
|
5560
5542
|
/**
|
|
5561
5543
|
A Node containing a doctype.
|
|
@@ -5651,8 +5633,7 @@ and documentType = {
|
|
|
5651
5633
|
Any web page loaded in the browser and serves as an entry point into the web page's content, which is the DOM tree.
|
|
5652
5634
|
[See Document on MDN](https://developer.mozilla.org/docs/Web/API/Document)
|
|
5653
5635
|
*/
|
|
5654
|
-
@editor.completeFrom(Document)
|
|
5655
|
-
and document = {
|
|
5636
|
+
@editor.completeFrom(Document) and document = {
|
|
5656
5637
|
// Base properties from Node
|
|
5657
5638
|
/**
|
|
5658
5639
|
Returns the type of node.
|
|
@@ -5950,8 +5931,7 @@ Similarly, when the focused element is in a different node tree than documentOrS
|
|
|
5950
5931
|
A window containing a DOM document; the document property points to the DOM document loaded in that window.
|
|
5951
5932
|
[See Window on MDN](https://developer.mozilla.org/docs/Web/API/Window)
|
|
5952
5933
|
*/
|
|
5953
|
-
@editor.completeFrom(Window)
|
|
5954
|
-
and window = {
|
|
5934
|
+
@editor.completeFrom(Window) and window = {
|
|
5955
5935
|
...eventTarget,
|
|
5956
5936
|
/**
|
|
5957
5937
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Window/window)
|
|
@@ -6301,8 +6281,7 @@ and attr = {
|
|
|
6301
6281
|
The CharacterData abstract interface represents a Node object that contains characters. This is an abstract interface, meaning there aren't any object of type CharacterData: it is implemented by other interfaces, like Text, Comment, or ProcessingInstruction which aren't abstract.
|
|
6302
6282
|
[See CharacterData on MDN](https://developer.mozilla.org/docs/Web/API/CharacterData)
|
|
6303
6283
|
*/
|
|
6304
|
-
@editor.completeFrom(CharacterData)
|
|
6305
|
-
and characterData = {
|
|
6284
|
+
@editor.completeFrom(CharacterData) and characterData = {
|
|
6306
6285
|
// Base properties from Node
|
|
6307
6286
|
/**
|
|
6308
6287
|
Returns the type of node.
|
|
@@ -6398,8 +6377,7 @@ and characterData = {
|
|
|
6398
6377
|
A minimal document object that has no parent. It is used as a lightweight version of Document that stores a segment of a document structure comprised of nodes just like a standard document. The key difference is that because the document fragment isn't part of the active document tree structure, changes made to the fragment don't affect the document, cause reflow, or incur any performance impact that can occur when changes are made.
|
|
6399
6378
|
[See DocumentFragment on MDN](https://developer.mozilla.org/docs/Web/API/DocumentFragment)
|
|
6400
6379
|
*/
|
|
6401
|
-
@editor.completeFrom(DocumentFragment)
|
|
6402
|
-
and documentFragment = {
|
|
6380
|
+
@editor.completeFrom(DocumentFragment) and documentFragment = {
|
|
6403
6381
|
// Base properties from Node
|
|
6404
6382
|
/**
|
|
6405
6383
|
Returns the type of node.
|
|
@@ -6495,8 +6473,7 @@ and documentFragment = {
|
|
|
6495
6473
|
/**
|
|
6496
6474
|
[See HTMLSlotElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSlotElement)
|
|
6497
6475
|
*/
|
|
6498
|
-
@editor.completeFrom(HTMLSlotElement)
|
|
6499
|
-
and htmlSlotElement = {
|
|
6476
|
+
@editor.completeFrom(HTMLSlotElement) and htmlSlotElement = {
|
|
6500
6477
|
// Base properties from HTMLElement
|
|
6501
6478
|
/**
|
|
6502
6479
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
@@ -7418,8 +7395,7 @@ type rec htmlTableElement = {
|
|
|
7418
7395
|
Special properties (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating table caption elements.
|
|
7419
7396
|
[See HTMLTableCaptionElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableCaptionElement)
|
|
7420
7397
|
*/
|
|
7421
|
-
@editor.completeFrom(HTMLTableCaptionElement)
|
|
7422
|
-
and htmlTableCaptionElement = {
|
|
7398
|
+
@editor.completeFrom(HTMLTableCaptionElement) and htmlTableCaptionElement = {
|
|
7423
7399
|
...htmlElement,
|
|
7424
7400
|
}
|
|
7425
7401
|
|
|
@@ -7427,8 +7403,7 @@ and htmlTableCaptionElement = {
|
|
|
7427
7403
|
Provides special properties and methods (beyond the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of sections, that is headers, footers and bodies, in an HTML table.
|
|
7428
7404
|
[See HTMLTableSectionElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableSectionElement)
|
|
7429
7405
|
*/
|
|
7430
|
-
@editor.completeFrom(HTMLTableSectionElement)
|
|
7431
|
-
and htmlTableSectionElement = {
|
|
7406
|
+
@editor.completeFrom(HTMLTableSectionElement) and htmlTableSectionElement = {
|
|
7432
7407
|
...htmlElement,
|
|
7433
7408
|
/**
|
|
7434
7409
|
Sets or retrieves the number of horizontal rows contained in the object.
|
|
@@ -7441,8 +7416,7 @@ and htmlTableSectionElement = {
|
|
|
7441
7416
|
Provides special properties and methods (beyond the regular HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of table cells, either header or data cells, in an HTML document.
|
|
7442
7417
|
[See HTMLTableCellElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableCellElement)
|
|
7443
7418
|
*/
|
|
7444
|
-
@editor.completeFrom(HTMLTableCellElement)
|
|
7445
|
-
and htmlTableCellElement = {
|
|
7419
|
+
@editor.completeFrom(HTMLTableCellElement) and htmlTableCellElement = {
|
|
7446
7420
|
...htmlElement,
|
|
7447
7421
|
/**
|
|
7448
7422
|
Sets or retrieves the number columns in the table that the object should span.
|
|
@@ -7480,8 +7454,7 @@ and htmlTableCellElement = {
|
|
|
7480
7454
|
Provides special properties and methods (beyond the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of rows in an HTML table.
|
|
7481
7455
|
[See HTMLTableRowElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTableRowElement)
|
|
7482
7456
|
*/
|
|
7483
|
-
@editor.completeFrom(HTMLTableRowElement)
|
|
7484
|
-
and htmlTableRowElement = {
|
|
7457
|
+
@editor.completeFrom(HTMLTableRowElement) and htmlTableRowElement = {
|
|
7485
7458
|
...htmlElement,
|
|
7486
7459
|
/**
|
|
7487
7460
|
Retrieves the position of the object in the rows collection for the table.
|
|
@@ -7580,8 +7553,7 @@ type rec htmlButtonElement = {
|
|
|
7580
7553
|
Gives access to properties specific to <label> elements. It inherits methods and properties from the base HTMLElement interface.
|
|
7581
7554
|
[See HTMLLabelElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLLabelElement)
|
|
7582
7555
|
*/
|
|
7583
|
-
@editor.completeFrom(HTMLLabelElement)
|
|
7584
|
-
and htmlLabelElement = {
|
|
7556
|
+
@editor.completeFrom(HTMLLabelElement) and htmlLabelElement = {
|
|
7585
7557
|
...htmlElement,
|
|
7586
7558
|
/**
|
|
7587
7559
|
Retrieves a reference to the form that the object is embedded in.
|
|
@@ -7604,8 +7576,7 @@ and htmlLabelElement = {
|
|
|
7604
7576
|
Provides special properties and methods for manipulating the layout and presentation of <textarea> elements.
|
|
7605
7577
|
[See HTMLTextAreaElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement)
|
|
7606
7578
|
*/
|
|
7607
|
-
@editor.completeFrom(HTMLTextAreaElement)
|
|
7608
|
-
and htmlTextAreaElement = {
|
|
7579
|
+
@editor.completeFrom(HTMLTextAreaElement) and htmlTextAreaElement = {
|
|
7609
7580
|
...htmlElement,
|
|
7610
7581
|
/**
|
|
7611
7582
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLTextAreaElement/autocomplete)
|
|
@@ -7723,8 +7694,7 @@ and htmlTextAreaElement = {
|
|
|
7723
7694
|
Provides properties and methods (beyond those inherited from HTMLElement) for manipulating the layout and presentation of <output> elements.
|
|
7724
7695
|
[See HTMLOutputElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement)
|
|
7725
7696
|
*/
|
|
7726
|
-
@editor.completeFrom(HTMLOutputElement)
|
|
7727
|
-
and htmlOutputElement = {
|
|
7697
|
+
@editor.completeFrom(HTMLOutputElement) and htmlOutputElement = {
|
|
7728
7698
|
...htmlElement,
|
|
7729
7699
|
/**
|
|
7730
7700
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOutputElement/htmlFor)
|
|
@@ -7777,8 +7747,7 @@ Can be set, to change the value.
|
|
|
7777
7747
|
Provides special properties and methods for manipulating the options, layout, and presentation of <input> elements.
|
|
7778
7748
|
[See HTMLInputElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLInputElement)
|
|
7779
7749
|
*/
|
|
7780
|
-
@editor.completeFrom(HTMLInputElement)
|
|
7781
|
-
and htmlInputElement = {
|
|
7750
|
+
@editor.completeFrom(HTMLInputElement) and htmlInputElement = {
|
|
7782
7751
|
...htmlElement,
|
|
7783
7752
|
/**
|
|
7784
7753
|
Sets or retrieves a comma-separated list of content types.
|
|
@@ -8001,8 +7970,7 @@ and htmlInputElement = {
|
|
|
8001
7970
|
Provides special properties (beyond the HTMLElement object interface it also has available to it by inheritance) to manipulate <datalist> elements and their content.
|
|
8002
7971
|
[See HTMLDataListElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLDataListElement)
|
|
8003
7972
|
*/
|
|
8004
|
-
@editor.completeFrom(HTMLDataListElement)
|
|
8005
|
-
and htmlDataListElement = {
|
|
7973
|
+
@editor.completeFrom(HTMLDataListElement) and htmlDataListElement = {
|
|
8006
7974
|
...htmlElement,
|
|
8007
7975
|
/**
|
|
8008
7976
|
Returns an HTMLCollection of the option elements of the datalist element.
|
|
@@ -8015,8 +7983,7 @@ and htmlDataListElement = {
|
|
|
8015
7983
|
A <select> HTML Element. These elements also share all of the properties and methods of other HTML elements via the HTMLElement interface.
|
|
8016
7984
|
[See HTMLSelectElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSelectElement)
|
|
8017
7985
|
*/
|
|
8018
|
-
@editor.completeFrom(HTMLSelectElement)
|
|
8019
|
-
and htmlSelectElement = {
|
|
7986
|
+
@editor.completeFrom(HTMLSelectElement) and htmlSelectElement = {
|
|
8020
7987
|
...htmlElement,
|
|
8021
7988
|
/**
|
|
8022
7989
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLSelectElement/disabled)
|
|
@@ -8102,8 +8069,7 @@ and htmlSelectElement = {
|
|
|
8102
8069
|
<option> elements and inherits all classes and methods of the HTMLElement interface.
|
|
8103
8070
|
[See HTMLOptionElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement)
|
|
8104
8071
|
*/
|
|
8105
|
-
@editor.completeFrom(HTMLOptionElement)
|
|
8106
|
-
and htmlOptionElement = {
|
|
8072
|
+
@editor.completeFrom(HTMLOptionElement) and htmlOptionElement = {
|
|
8107
8073
|
...htmlElement,
|
|
8108
8074
|
/**
|
|
8109
8075
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionElement/disabled)
|
|
@@ -8150,8 +8116,7 @@ and htmlOptionElement = {
|
|
|
8150
8116
|
HTMLOptionsCollection is an interface representing a collection of HTML option elements (in document order) and offers methods and properties for traversing the list as well as optionally altering its items. This type is returned solely by the "options" property of select.
|
|
8151
8117
|
[See HTMLOptionsCollection on MDN](https://developer.mozilla.org/docs/Web/API/HTMLOptionsCollection)
|
|
8152
8118
|
*/
|
|
8153
|
-
@editor.completeFrom(HTMLOptionsCollection)
|
|
8154
|
-
and htmlOptionsCollection = {
|
|
8119
|
+
@editor.completeFrom(HTMLOptionsCollection) and htmlOptionsCollection = {
|
|
8155
8120
|
...htmlCollectionOf<htmlOptionElement>,
|
|
8156
8121
|
/**
|
|
8157
8122
|
Returns the index of the first selected item, if any, or −1 if there is no selected item.
|
package/src/EventAPI/Event.res
CHANGED
|
@@ -7,14 +7,10 @@ module Impl = (
|
|
|
7
7
|
) => {
|
|
8
8
|
external asExtendableEvent: T.t => extendableEvent = "%identity"
|
|
9
9
|
|
|
10
|
-
include Event.Impl({
|
|
11
|
-
type t = T.t
|
|
12
|
-
})
|
|
10
|
+
include Event.Impl({type t = T.t})
|
|
13
11
|
|
|
14
12
|
@send
|
|
15
13
|
external waitUntil: (T.t, promise<'a>) => unit = "waitUntil"
|
|
16
14
|
}
|
|
17
15
|
|
|
18
|
-
include Impl({
|
|
19
|
-
type t = extendableEvent
|
|
20
|
-
})
|
|
16
|
+
include Impl({type t = extendableEvent})
|
package/src/EventAPI.res
CHANGED
|
@@ -190,8 +190,7 @@ type rec abortController = {
|
|
|
190
190
|
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.
|
|
191
191
|
[See AbortSignal on MDN](https://developer.mozilla.org/docs/Web/API/AbortSignal)
|
|
192
192
|
*/
|
|
193
|
-
@editor.completeFrom(AbortSignal)
|
|
194
|
-
and abortSignal = {
|
|
193
|
+
@editor.completeFrom(AbortSignal) and abortSignal = {
|
|
195
194
|
...eventTarget,
|
|
196
195
|
/**
|
|
197
196
|
Returns true if this AbortSignal's AbortController has signaled to abort, and false otherwise.
|