@rescript/webapi 0.1.0-alpha-b1d58f9
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/LICENSE +21 -0
- package/README.md +35 -0
- package/package.json +61 -0
- package/rescript.json +557 -0
- package/src/animation/Animation.res +149 -0
- package/src/animation/AnimationEffect.res +71 -0
- package/src/animation/DocumentTimeline.res +8 -0
- package/src/canvas/Canvas.res +179 -0
- package/src/canvas/CanvasGradient.res +11 -0
- package/src/canvas/CanvasPattern.res +11 -0
- package/src/canvas/CanvasRenderingContext2D.res +868 -0
- package/src/canvas/CanvasTypes.res +452 -0
- package/src/canvas/FillStyle.res +25 -0
- package/src/canvas/HTMLCanvasElement.res +101 -0
- package/src/canvas/ImageBitmap.res +6 -0
- package/src/canvas/ImageBitmapRenderingContext.res +9 -0
- package/src/canvas/ImageData.res +17 -0
- package/src/canvas/OffscreenCanvas.res +87 -0
- package/src/canvas/Path2D.res +186 -0
- package/src/canvas/VideoColorSpace.res +11 -0
- package/src/canvas/VideoFrame.res +217 -0
- package/src/core/ArrayBufferTypedArrayOrDataView.res +4 -0
- package/src/core/DOM.res +1026 -0
- package/src/core/EventType.res +108 -0
- package/src/crypto/Crypto.res +11 -0
- package/src/crypto/SubtleCrypto.res +173 -0
- package/src/crypto/WebCryptoTypes.res +71 -0
- package/src/css-font-loading/BaseCSSFontLoading.res +24 -0
- package/src/css-font-loading/CssFontLoadingTypes.res +92 -0
- package/src/css-font-loading/FontFace.res +62 -0
- package/src/css-font-loading/FontFaceSet.res +38 -0
- package/src/cssom/CSSRuleList.res +5 -0
- package/src/cssom/CSSStyleDeclaration.res +1734 -0
- package/src/cssom/CSSStyleValue.res +17 -0
- package/src/cssom/MediaList.res +29 -0
- package/src/cssom/MediaQueryList.res +18 -0
- package/src/cssom/StylePropertyMap.res +56 -0
- package/src/cssom/StylePropertyMapReadOnly.res +22 -0
- package/src/cssom/StyleSheet.res +152 -0
- package/src/cssom/StyleSheetList.res +17 -0
- package/src/device/GamepadHapticActuator.res +16 -0
- package/src/device/GamepadTypes.res +86 -0
- package/src/device/Geolocation.res +31 -0
- package/src/device/GeolocationCoordinates.res +5 -0
- package/src/device/GeolocationPosition.res +5 -0
- package/src/device/GeolocationTypes.res +81 -0
- package/src/device/LockManager.res +26 -0
- package/src/device/ScreenOrientation.res +7 -0
- package/src/device/ScreenWakeLockTypes.res +26 -0
- package/src/device/WakeLock.res +8 -0
- package/src/device/WakeLockSentinel.res +7 -0
- package/src/device/WebLocksTypes.res +45 -0
- package/src/device/WebMIDI.res +7 -0
- package/src/device/WebMidiTypes.res +36 -0
- package/src/dom-nodes/AbstractRange.res +30 -0
- package/src/dom-nodes/Attr.res +101 -0
- package/src/dom-nodes/CDATASection.res +7 -0
- package/src/dom-nodes/CaretPosition.res +2 -0
- package/src/dom-nodes/CharacterData.res +199 -0
- package/src/dom-nodes/Comment.res +15 -0
- package/src/dom-nodes/DOMImplementation.res +131 -0
- package/src/dom-nodes/DOMTree.res +1653 -0
- package/src/dom-nodes/DocumentFragment.res +96 -0
- package/src/dom-nodes/Element.res +509 -0
- package/src/dom-nodes/ElementInternals.res +39 -0
- package/src/dom-nodes/HTML.res +11 -0
- package/src/dom-nodes/HTMLCollection.res +25 -0
- package/src/dom-nodes/NamedNodeMap.res +46 -0
- package/src/dom-nodes/Node.res +114 -0
- package/src/dom-nodes/NodeFilter.res +4 -0
- package/src/dom-nodes/NodeIterator.res +38 -0
- package/src/dom-nodes/NodeList.res +6 -0
- package/src/dom-nodes/ProcessingInstruction.res +15 -0
- package/src/dom-nodes/Range.res +156 -0
- package/src/dom-nodes/Selection.res +137 -0
- package/src/dom-nodes/ShadowRoot.res +23 -0
- package/src/dom-nodes/StaticRange.res +6 -0
- package/src/dom-nodes/Text.res +31 -0
- package/src/dom-nodes/TreeWalker.res +65 -0
- package/src/dom-platform/DOMException.res +7 -0
- package/src/dom-platform/DOMStringList.res +15 -0
- package/src/dom-platform/DOMStringMap.res +5 -0
- package/src/dom-platform/DOMTokenList.res +70 -0
- package/src/event/AbortController.res +9 -0
- package/src/event/AbortSignal.res +25 -0
- package/src/event/Event.res +76 -0
- package/src/event/EventTarget.res +91 -0
- package/src/event/ExtendableEvent.res +14 -0
- package/src/fetch/BodyInit.res +46 -0
- package/src/fetch/Fetch.res +12 -0
- package/src/fetch/FetchTypes.res +282 -0
- package/src/fetch/FormData.res +71 -0
- package/src/fetch/FormDataEntryValue.res +2 -0
- package/src/fetch/Headers.res +59 -0
- package/src/fetch/HeadersInit.res +16 -0
- package/src/fetch/Request.res +61 -0
- package/src/fetch/Response.res +127 -0
- package/src/file/BaseFileAndDirectoryEntries.res +72 -0
- package/src/file/Blob.res +48 -0
- package/src/file/File.res +15 -0
- package/src/file/FileAndDirectoryEntriesTypes.res +35 -0
- package/src/file/FileList.res +16 -0
- package/src/file/FileSystemDirectoryEntry.res +42 -0
- package/src/file/FileSystemDirectoryHandle.res +49 -0
- package/src/file/FileSystemDirectoryReader.res +9 -0
- package/src/file/FileSystemEntry.res +9 -0
- package/src/file/FileSystemFileHandle.res +25 -0
- package/src/file/FileSystemHandle.res +6 -0
- package/src/file/FileSystemWritableFileStream.res +65 -0
- package/src/file/FileTypes.res +225 -0
- package/src/file/ReadableStream.res +79 -0
- package/src/file/WritableStream.res +27 -0
- package/src/file/WritableStreamDefaultController.res +5 -0
- package/src/geometry/DOMMatrix.res +206 -0
- package/src/geometry/DOMMatrixReadOnly.res +140 -0
- package/src/geometry/DOMPoint.res +28 -0
- package/src/geometry/DOMPointReadOnly.res +22 -0
- package/src/geometry/DOMRect.res +22 -0
- package/src/geometry/DOMRectList.res +2 -0
- package/src/geometry/DOMRectReadOnly.res +19 -0
- package/src/html/HTMLAnchorElement.res +373 -0
- package/src/html/HTMLAreaElement.res +353 -0
- package/src/html/HTMLBRElement.res +9 -0
- package/src/html/HTMLBaseElement.res +20 -0
- package/src/html/HTMLBodyElement.res +9 -0
- package/src/html/HTMLButtonElement.res +98 -0
- package/src/html/HTMLDListElement.res +9 -0
- package/src/html/HTMLDataElement.res +14 -0
- package/src/html/HTMLDataListElement.res +14 -0
- package/src/html/HTMLDialogElement.res +40 -0
- package/src/html/HTMLDivElement.res +9 -0
- package/src/html/HTMLElement.res +108 -0
- package/src/html/HTMLEmbedElement.res +275 -0
- package/src/html/HTMLFieldSetElement.res +70 -0
- package/src/html/HTMLFormControlsCollection.res +21 -0
- package/src/html/HTMLFormElement.res +39 -0
- package/src/html/HTMLFrameSetElement.res +9 -0
- package/src/html/HTMLHRElement.res +9 -0
- package/src/html/HTMLHeadElement.res +256 -0
- package/src/html/HTMLHeadingElement.res +9 -0
- package/src/html/HTMLHtmlElement.res +9 -0
- package/src/html/HTMLIFrameElement.res +69 -0
- package/src/html/HTMLImageElement.res +349 -0
- package/src/html/HTMLInputElement.res +310 -0
- package/src/html/HTMLLIElement.res +9 -0
- package/src/html/HTMLLabelElement.res +25 -0
- package/src/html/HTMLLegendElement.res +14 -0
- package/src/html/HTMLLinkElement.res +69 -0
- package/src/html/HTMLMapElement.res +20 -0
- package/src/html/HTMLMenuElement.res +8 -0
- package/src/html/HTMLMetaElement.res +29 -0
- package/src/html/HTMLMeterElement.res +38 -0
- package/src/html/HTMLModElement.res +9 -0
- package/src/html/HTMLOListElement.res +24 -0
- package/src/html/HTMLObjectElement.res +89 -0
- package/src/html/HTMLOptGroupElement.res +19 -0
- package/src/html/HTMLOptionElement.res +49 -0
- package/src/html/HTMLOptionsCollection.res +35 -0
- package/src/html/HTMLOutputElement.res +73 -0
- package/src/html/HTMLParagraphElement.res +9 -0
- package/src/html/HTMLPictureElement.res +9 -0
- package/src/html/HTMLPreElement.res +9 -0
- package/src/html/HTMLProgressElement.res +29 -0
- package/src/html/HTMLQuoteElement.res +9 -0
- package/src/html/HTMLScriptElement.res +310 -0
- package/src/html/HTMLSelectElement.res +157 -0
- package/src/html/HTMLSlotElement.res +34 -0
- package/src/html/HTMLSourceElement.res +18 -0
- package/src/html/HTMLSpanElement.res +9 -0
- package/src/html/HTMLStyleElement.res +24 -0
- package/src/html/HTMLTableCaptionElement.res +9 -0
- package/src/html/HTMLTableCellElement.res +40 -0
- package/src/html/HTMLTableElement.res +100 -0
- package/src/html/HTMLTableRowElement.res +40 -0
- package/src/html/HTMLTableSectionElement.res +30 -0
- package/src/html/HTMLTemplateElement.res +31 -0
- package/src/html/HTMLTextAreaElement.res +177 -0
- package/src/html/HTMLTimeElement.res +14 -0
- package/src/html/HTMLTitleElement.res +15 -0
- package/src/html/HTMLUListElement.res +9 -0
- package/src/html/HTMLUnknownElement.res +9 -0
- package/src/media/BaseEncryptedMediaExtensions.res +97 -0
- package/src/media/DomHTMLMediaElement.res +206 -0
- package/src/media/EncryptedMediaExtensionsHTMLMediaElement.res +15 -0
- package/src/media/EncryptedMediaExtensionsTypes.res +43 -0
- package/src/media/HTMLAudioElement.res +9 -0
- package/src/media/HTMLTrackElement.res +14 -0
- package/src/media/HTMLVideoElement.res +78 -0
- package/src/media/MediaCapabilities.res +19 -0
- package/src/media/MediaCapabilitiesTypes.res +83 -0
- package/src/media/MediaCaptureAndStreamsTypes.res +197 -0
- package/src/media/MediaDeviceInfo.res +9 -0
- package/src/media/MediaDevices.res +40 -0
- package/src/media/MediaError.res +14 -0
- package/src/media/MediaKeySession.res +53 -0
- package/src/media/MediaKeyStatusMap.res +11 -0
- package/src/media/MediaKeySystemAccess.res +14 -0
- package/src/media/MediaKeys.res +35 -0
- package/src/media/MediaMetadata.res +10 -0
- package/src/media/MediaSession.res +25 -0
- package/src/media/MediaSessionTypes.res +85 -0
- package/src/media/MediaStream.res +89 -0
- package/src/media/MediaStreamTrack.res +51 -0
- package/src/media/PictureInPicture.res +7 -0
- package/src/media/PictureInPictureTypes.res +17 -0
- package/src/media/RemotePlayback.res +25 -0
- package/src/media/RemotePlaybackTypes.res +20 -0
- package/src/media/SpeechSynthesis.res +33 -0
- package/src/media/SpeechSynthesisUtterance.res +8 -0
- package/src/media/TextTrack.res +15 -0
- package/src/media/TextTrackCueList.res +9 -0
- package/src/media/TextTrackList.res +17 -0
- package/src/media/TimeRanges.res +29 -0
- package/src/media/VideoPlaybackQuality.res +18 -0
- package/src/media/WebSpeechTypes.res +83 -0
- package/src/media/WebVttTypes.res +123 -0
- package/src/messaging/ApplicationServerKey.res +2 -0
- package/src/messaging/ChannelMessagingTypes.res +12 -0
- package/src/messaging/CloseEvent.res +10 -0
- package/src/messaging/MessageEvent.res +43 -0
- package/src/messaging/MessagePort.res +38 -0
- package/src/messaging/Notification.res +46 -0
- package/src/messaging/NotificationTypes.res +107 -0
- package/src/messaging/PushEvent.res +3 -0
- package/src/messaging/PushManager.res +24 -0
- package/src/messaging/PushMessageData.res +15 -0
- package/src/messaging/PushSubscription.res +20 -0
- package/src/messaging/PushTypes.res +88 -0
- package/src/messaging/WebSocket.res +74 -0
- package/src/messaging/WebSocketsTypes.res +124 -0
- package/src/navigator/Clipboard.res +29 -0
- package/src/navigator/ClipboardItem.res +20 -0
- package/src/navigator/ClipboardTypes.res +31 -0
- package/src/navigator/CredentialManagementTypes.res +138 -0
- package/src/navigator/CredentialsContainer.res +33 -0
- package/src/navigator/Navigator.res +166 -0
- package/src/navigator/Permissions.res +10 -0
- package/src/navigator/PermissionsTypes.res +38 -0
- package/src/observers/IntersectionObserver.res +36 -0
- package/src/observers/IntersectionObserverRoot.res +23 -0
- package/src/observers/IntersectionObserverTypes.res +67 -0
- package/src/observers/MutationObserver.res +94 -0
- package/src/observers/ResizeObserver.res +30 -0
- package/src/observers/ResizeObserverTypes.res +56 -0
- package/src/performance/Performance.res +101 -0
- package/src/performance/PerformanceEntry.res +5 -0
- package/src/performance/PerformanceMark.res +16 -0
- package/src/performance/PerformanceTypes.res +86 -0
- package/src/storage/Cache.res +117 -0
- package/src/storage/CacheStorage.res +43 -0
- package/src/storage/CacheTypes.res +24 -0
- package/src/storage/IDBDatabase.res +54 -0
- package/src/storage/IDBFactory.res +34 -0
- package/src/storage/IDBIndex.res +83 -0
- package/src/storage/IDBObjectStore.res +183 -0
- package/src/storage/IDBTransaction.res +22 -0
- package/src/storage/IndexedDbTypes.res +213 -0
- package/src/storage/Storage.res +42 -0
- package/src/storage/StorageEvent.res +10 -0
- package/src/storage/StorageManager.res +24 -0
- package/src/storage/StorageTypes.res +11 -0
- package/src/storage/WebStorageTypes.res +57 -0
- package/src/svg/SVGElement.res +115 -0
- package/src/svg/SVGGraphicsElement.res +16 -0
- package/src/svg/SVGLength.res +9 -0
- package/src/ui-events/CompositionEvent.res +10 -0
- package/src/ui-events/DataTransfer.res +38 -0
- package/src/ui-events/DataTransferItem.res +21 -0
- package/src/ui-events/DataTransferItemList.res +34 -0
- package/src/ui-events/FocusEvent.res +10 -0
- package/src/ui-events/InputEvent.res +16 -0
- package/src/ui-events/KeyboardEvent.res +16 -0
- package/src/ui-events/MouseEvent.res +26 -0
- package/src/ui-events/PointerEvent.res +24 -0
- package/src/ui-events/Touch.res +5 -0
- package/src/ui-events/TouchEvent.res +10 -0
- package/src/ui-events/TouchList.res +5 -0
- package/src/ui-events/UIEvent.res +20 -0
- package/src/ui-events/UiEventsTypes.res +590 -0
- package/src/ui-events/WheelEvent.res +10 -0
- package/src/url/URL.res +38 -0
- package/src/url/URLSearchParams.res +104 -0
- package/src/url/UrlTypes.res +69 -0
- package/src/view-transitions/ViewTransition.res +5 -0
- package/src/view-transitions/ViewTransitionsTypes.res +22 -0
- package/src/web-audio/AnalyserNode.res +38 -0
- package/src/web-audio/AudioBuffer.res +33 -0
- package/src/web-audio/AudioBufferSourceNode.res +21 -0
- package/src/web-audio/AudioContext.res +59 -0
- package/src/web-audio/AudioDestinationNode.res +1 -0
- package/src/web-audio/AudioNode.res +76 -0
- package/src/web-audio/AudioParam.res +65 -0
- package/src/web-audio/AudioProcessingEvent.res +10 -0
- package/src/web-audio/AudioScheduledSourceNode.res +23 -0
- package/src/web-audio/AudioWorkletNode.res +11 -0
- package/src/web-audio/BaseAudioContext.res +141 -0
- package/src/web-audio/BiquadFilterNode.res +21 -0
- package/src/web-audio/ChannelMergerNode.res +10 -0
- package/src/web-audio/ChannelSplitterNode.res +10 -0
- package/src/web-audio/ConstantSourceNode.res +10 -0
- package/src/web-audio/ConvolverNode.res +10 -0
- package/src/web-audio/DelayNode.res +10 -0
- package/src/web-audio/DynamicsCompressorNode.res +10 -0
- package/src/web-audio/GainNode.res +10 -0
- package/src/web-audio/IIRFilterNode.res +21 -0
- package/src/web-audio/MediaElementAudioSourceNode.res +10 -0
- package/src/web-audio/MediaStreamAudioDestinationNode.res +10 -0
- package/src/web-audio/MediaStreamAudioSourceNode.res +10 -0
- package/src/web-audio/OfflineAudioCompletionEvent.res +10 -0
- package/src/web-audio/OfflineAudioContext.res +58 -0
- package/src/web-audio/OscillatorNode.res +17 -0
- package/src/web-audio/PannerNode.res +10 -0
- package/src/web-audio/PeriodicWave.res +8 -0
- package/src/web-audio/StereoPannerNode.res +10 -0
- package/src/web-audio/WaveShaperNode.res +10 -0
- package/src/web-audio/WebAudioTypes.res +1309 -0
- package/src/web-audio/Worklet.res +14 -0
- package/src/window/CustomElementRegistry.res +30 -0
- package/src/window/Document.res +470 -0
- package/src/window/DomGlobal.res +459 -0
- package/src/window/History.res +37 -0
- package/src/window/HistoryTypes.res +26 -0
- package/src/window/IdleDeadline.res +5 -0
- package/src/window/Location.res +108 -0
- package/src/window/VisualViewport.res +5 -0
- package/src/window/VisualViewportTypes.res +37 -0
- package/src/window/Window.res +556 -0
- package/src/window/XPathExpression.res +16 -0
- package/src/window/XPathResult.res +46 -0
- package/src/workers/Clients.res +39 -0
- package/src/workers/NavigationPreloadManager.res +26 -0
- package/src/workers/ServiceWorker.res +38 -0
- package/src/workers/ServiceWorkerContainer.res +34 -0
- package/src/workers/ServiceWorkerRegistration.res +32 -0
- package/src/workers/ServiceWorkerScope.res +12 -0
- package/src/workers/ServiceWorkerTypes.res +153 -0
- package/src/workers/SharedWorker.res +68 -0
- package/src/workers/SharedWorkerScope.res +29 -0
- package/src/workers/WebWorkersTypes.res +46 -0
- package/src/workers/Worker.res +48 -0
- package/src/workers/WorkerLocation.res +18 -0
|
@@ -0,0 +1,256 @@
|
|
|
1
|
+
/**
|
|
2
|
+
Contains the descriptive information, or metadata, for a document. This object inherits all of the properties and methods described in the HTMLElement interface.
|
|
3
|
+
[See HTMLHeadElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHeadElement)
|
|
4
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
5
|
+
*/
|
|
6
|
+
type rec t = {
|
|
7
|
+
// Base properties from HTMLElement
|
|
8
|
+
/**
|
|
9
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/title)
|
|
10
|
+
*/
|
|
11
|
+
mutable title: string,
|
|
12
|
+
/**
|
|
13
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/lang)
|
|
14
|
+
*/
|
|
15
|
+
mutable lang: string,
|
|
16
|
+
/**
|
|
17
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/translate)
|
|
18
|
+
*/
|
|
19
|
+
mutable translate: bool,
|
|
20
|
+
/**
|
|
21
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/dir)
|
|
22
|
+
*/
|
|
23
|
+
mutable dir: string,
|
|
24
|
+
/**
|
|
25
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/inert)
|
|
26
|
+
*/
|
|
27
|
+
mutable inert: bool,
|
|
28
|
+
/**
|
|
29
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/accessKey)
|
|
30
|
+
*/
|
|
31
|
+
mutable accessKey: string,
|
|
32
|
+
/**
|
|
33
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/accessKeyLabel)
|
|
34
|
+
*/
|
|
35
|
+
accessKeyLabel: string,
|
|
36
|
+
/**
|
|
37
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/draggable)
|
|
38
|
+
*/
|
|
39
|
+
mutable draggable: bool,
|
|
40
|
+
/**
|
|
41
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/spellcheck)
|
|
42
|
+
*/
|
|
43
|
+
mutable spellcheck: bool,
|
|
44
|
+
/**
|
|
45
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/autocapitalize)
|
|
46
|
+
*/
|
|
47
|
+
mutable autocapitalize: string,
|
|
48
|
+
/**
|
|
49
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/innerText)
|
|
50
|
+
*/
|
|
51
|
+
mutable innerText: string,
|
|
52
|
+
/**
|
|
53
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/outerText)
|
|
54
|
+
*/
|
|
55
|
+
mutable outerText: string,
|
|
56
|
+
/**
|
|
57
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/popover)
|
|
58
|
+
*/
|
|
59
|
+
mutable popover: Null.t<string>,
|
|
60
|
+
/**
|
|
61
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/offsetParent)
|
|
62
|
+
*/
|
|
63
|
+
offsetParent: Null.t<DOMTree.element>,
|
|
64
|
+
/**
|
|
65
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/offsetTop)
|
|
66
|
+
*/
|
|
67
|
+
offsetTop: int,
|
|
68
|
+
/**
|
|
69
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/offsetLeft)
|
|
70
|
+
*/
|
|
71
|
+
offsetLeft: int,
|
|
72
|
+
/**
|
|
73
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/offsetWidth)
|
|
74
|
+
*/
|
|
75
|
+
offsetWidth: int,
|
|
76
|
+
/**
|
|
77
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLElement/offsetHeight)
|
|
78
|
+
*/
|
|
79
|
+
offsetHeight: int,
|
|
80
|
+
// End base properties from HTMLElement
|
|
81
|
+
|
|
82
|
+
// Base properties from Element
|
|
83
|
+
/**
|
|
84
|
+
Returns the namespace.
|
|
85
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/namespaceURI)
|
|
86
|
+
*/
|
|
87
|
+
namespaceURI: Null.t<string>,
|
|
88
|
+
/**
|
|
89
|
+
Returns the namespace prefix.
|
|
90
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/prefix)
|
|
91
|
+
*/
|
|
92
|
+
prefix: Null.t<string>,
|
|
93
|
+
/**
|
|
94
|
+
Returns the local name.
|
|
95
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/localName)
|
|
96
|
+
*/
|
|
97
|
+
localName: string,
|
|
98
|
+
/**
|
|
99
|
+
Returns the HTML-uppercased qualified name.
|
|
100
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/tagName)
|
|
101
|
+
*/
|
|
102
|
+
tagName: string,
|
|
103
|
+
/**
|
|
104
|
+
Returns the value of element's id content attribute. Can be set to change it.
|
|
105
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/id)
|
|
106
|
+
*/
|
|
107
|
+
mutable id: string,
|
|
108
|
+
/**
|
|
109
|
+
Returns the value of element's class content attribute. Can be set to change it.
|
|
110
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/className)
|
|
111
|
+
*/
|
|
112
|
+
mutable className: string,
|
|
113
|
+
/**
|
|
114
|
+
Allows for manipulation of element's class content attribute as a set of whitespace-separated tokens through a DOMTokenList object.
|
|
115
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/classList)
|
|
116
|
+
*/
|
|
117
|
+
classList: DOM.domTokenList,
|
|
118
|
+
/**
|
|
119
|
+
Returns the value of element's slot content attribute. Can be set to change it.
|
|
120
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/slot)
|
|
121
|
+
*/
|
|
122
|
+
mutable slot: string,
|
|
123
|
+
/**
|
|
124
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/attributes)
|
|
125
|
+
*/
|
|
126
|
+
attributes: DOM.namedNodeMap,
|
|
127
|
+
/**
|
|
128
|
+
Returns element's shadow root, if any, and if shadow root's mode is "open", and null otherwise.
|
|
129
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/shadowRoot)
|
|
130
|
+
*/
|
|
131
|
+
shadowRoot: Null.t<DOMTree.shadowRoot>,
|
|
132
|
+
/**
|
|
133
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/part)
|
|
134
|
+
*/
|
|
135
|
+
part: DOM.domTokenList,
|
|
136
|
+
/**
|
|
137
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollTop)
|
|
138
|
+
*/
|
|
139
|
+
mutable scrollTop: float,
|
|
140
|
+
/**
|
|
141
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollLeft)
|
|
142
|
+
*/
|
|
143
|
+
mutable scrollLeft: float,
|
|
144
|
+
/**
|
|
145
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollWidth)
|
|
146
|
+
*/
|
|
147
|
+
scrollWidth: int,
|
|
148
|
+
/**
|
|
149
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/scrollHeight)
|
|
150
|
+
*/
|
|
151
|
+
scrollHeight: int,
|
|
152
|
+
/**
|
|
153
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/clientTop)
|
|
154
|
+
*/
|
|
155
|
+
clientTop: int,
|
|
156
|
+
/**
|
|
157
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/clientLeft)
|
|
158
|
+
*/
|
|
159
|
+
clientLeft: int,
|
|
160
|
+
/**
|
|
161
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/clientWidth)
|
|
162
|
+
*/
|
|
163
|
+
clientWidth: int,
|
|
164
|
+
/**
|
|
165
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/clientHeight)
|
|
166
|
+
*/
|
|
167
|
+
clientHeight: int,
|
|
168
|
+
/**
|
|
169
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/currentCSSZoom)
|
|
170
|
+
*/
|
|
171
|
+
currentCSSZoom: float,
|
|
172
|
+
/**
|
|
173
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/innerHTML)
|
|
174
|
+
*/
|
|
175
|
+
@throws(JsExn)
|
|
176
|
+
mutable innerHTML: string,
|
|
177
|
+
/**
|
|
178
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Element/outerHTML)
|
|
179
|
+
*/
|
|
180
|
+
@throws(JsExn)
|
|
181
|
+
mutable outerHTML: string,
|
|
182
|
+
// End base properties from Element
|
|
183
|
+
|
|
184
|
+
// Base properties from Node
|
|
185
|
+
/**
|
|
186
|
+
Returns the type of node.
|
|
187
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/nodeType)
|
|
188
|
+
*/
|
|
189
|
+
nodeType: int,
|
|
190
|
+
/**
|
|
191
|
+
Returns a string appropriate for the type of node.
|
|
192
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/nodeName)
|
|
193
|
+
*/
|
|
194
|
+
nodeName: string,
|
|
195
|
+
/**
|
|
196
|
+
Returns node's node document's document base URL.
|
|
197
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/baseURI)
|
|
198
|
+
*/
|
|
199
|
+
baseURI: string,
|
|
200
|
+
/**
|
|
201
|
+
Returns true if node is connected and false otherwise.
|
|
202
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/isConnected)
|
|
203
|
+
*/
|
|
204
|
+
isConnected: bool,
|
|
205
|
+
/**
|
|
206
|
+
Returns the node document. Returns null for documents.
|
|
207
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/ownerDocument)
|
|
208
|
+
*/
|
|
209
|
+
ownerDocument: Null.t<DOM.document>,
|
|
210
|
+
/**
|
|
211
|
+
Returns the parent.
|
|
212
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/parentNode)
|
|
213
|
+
*/
|
|
214
|
+
parentNode: Null.t<DOMTree.node>,
|
|
215
|
+
/**
|
|
216
|
+
Returns the parent element.
|
|
217
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/parentElement)
|
|
218
|
+
*/
|
|
219
|
+
parentElement: Null.t<DOMTree.htmlElement>,
|
|
220
|
+
/**
|
|
221
|
+
Returns the children.
|
|
222
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/childNodes)
|
|
223
|
+
*/
|
|
224
|
+
childNodes: DOM.nodeList<DOMTree.node>,
|
|
225
|
+
/**
|
|
226
|
+
Returns the first child.
|
|
227
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/firstChild)
|
|
228
|
+
*/
|
|
229
|
+
firstChild: Null.t<DOMTree.node>,
|
|
230
|
+
/**
|
|
231
|
+
Returns the last child.
|
|
232
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/lastChild)
|
|
233
|
+
*/
|
|
234
|
+
lastChild: Null.t<DOMTree.node>,
|
|
235
|
+
/**
|
|
236
|
+
Returns the previous sibling.
|
|
237
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/previousSibling)
|
|
238
|
+
*/
|
|
239
|
+
previousSibling: Null.t<DOMTree.node>,
|
|
240
|
+
/**
|
|
241
|
+
Returns the next sibling.
|
|
242
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/nextSibling)
|
|
243
|
+
*/
|
|
244
|
+
nextSibling: Null.t<DOMTree.node>,
|
|
245
|
+
/**
|
|
246
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/nodeValue)
|
|
247
|
+
*/
|
|
248
|
+
mutable nodeValue: Null.t<string>,
|
|
249
|
+
/**
|
|
250
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/textContent)
|
|
251
|
+
*/
|
|
252
|
+
mutable textContent: Null.t<string>,
|
|
253
|
+
// End base properties from Node
|
|
254
|
+
}
|
|
255
|
+
|
|
256
|
+
include HTMLElement.Impl({type t = t})
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
The different heading elements. It inherits methods and properties from the HTMLElement interface.
|
|
3
|
+
[See HTMLHeadingElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHeadingElement)
|
|
4
|
+
*/
|
|
5
|
+
type t = private {
|
|
6
|
+
...DOMTree.htmlElement,
|
|
7
|
+
}
|
|
8
|
+
|
|
9
|
+
include HTMLElement.Impl({type t = t})
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
Serves as the root node for a given HTML document. This object inherits the properties and methods described in the HTMLElement interface.
|
|
3
|
+
[See HTMLHtmlElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLHtmlElement)
|
|
4
|
+
*/
|
|
5
|
+
type t = private {
|
|
6
|
+
...DOMTree.htmlElement,
|
|
7
|
+
}
|
|
8
|
+
|
|
9
|
+
include HTMLElement.Impl({type t = t})
|
|
@@ -0,0 +1,69 @@
|
|
|
1
|
+
/**
|
|
2
|
+
Provides special properties and methods (beyond those of the HTMLElement interface it also has available to it by inheritance) for manipulating the layout and presentation of inline frame elements.
|
|
3
|
+
[See HTMLIFrameElement on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement)
|
|
4
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
5
|
+
*/
|
|
6
|
+
type t = {
|
|
7
|
+
...DOMTree.htmlElement,
|
|
8
|
+
/**
|
|
9
|
+
Sets or retrieves a WebApiURL to be loaded by the object.
|
|
10
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/src)
|
|
11
|
+
*/
|
|
12
|
+
mutable src: string,
|
|
13
|
+
/**
|
|
14
|
+
Sets or retrives the content of the page that is to contain.
|
|
15
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/srcdoc)
|
|
16
|
+
*/
|
|
17
|
+
@throws(JsExn)
|
|
18
|
+
mutable srcdoc: string,
|
|
19
|
+
/**
|
|
20
|
+
Sets or retrieves the frame name.
|
|
21
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/name)
|
|
22
|
+
*/
|
|
23
|
+
mutable name: string,
|
|
24
|
+
/**
|
|
25
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/sandbox)
|
|
26
|
+
*/
|
|
27
|
+
sandbox: DOM.domTokenList,
|
|
28
|
+
/**
|
|
29
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allow)
|
|
30
|
+
*/
|
|
31
|
+
mutable allow: string,
|
|
32
|
+
/**
|
|
33
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/allowFullscreen)
|
|
34
|
+
*/
|
|
35
|
+
mutable allowFullscreen: bool,
|
|
36
|
+
/**
|
|
37
|
+
Sets or retrieves the width of the object.
|
|
38
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/width)
|
|
39
|
+
*/
|
|
40
|
+
mutable width: string,
|
|
41
|
+
/**
|
|
42
|
+
Sets or retrieves the height of the object.
|
|
43
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/height)
|
|
44
|
+
*/
|
|
45
|
+
mutable height: string,
|
|
46
|
+
/**
|
|
47
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/referrerPolicy)
|
|
48
|
+
*/
|
|
49
|
+
mutable referrerPolicy: DOM.referrerPolicy,
|
|
50
|
+
/**
|
|
51
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/loading)
|
|
52
|
+
*/
|
|
53
|
+
mutable loading: string,
|
|
54
|
+
/**
|
|
55
|
+
Retrieves the document object of the page or frame.
|
|
56
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentDocument)
|
|
57
|
+
*/
|
|
58
|
+
contentDocument: Null.t<DOM.document>,
|
|
59
|
+
/**
|
|
60
|
+
Retrieves the object of the specified.
|
|
61
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/HTMLIFrameElement/contentWindow)
|
|
62
|
+
*/
|
|
63
|
+
contentWindow: Null.t<DOM.window>,
|
|
64
|
+
}
|
|
65
|
+
|
|
66
|
+
include HTMLElement.Impl({type t = t})
|
|
67
|
+
|
|
68
|
+
@send
|
|
69
|
+
external getSVGDocument: t => Null.t<DOM.document> = "getSVGDocument"
|