@rescript/webapi 0.1.0-experimental-61b1074 → 0.1.0-experimental-0781ac8
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/README.md +10 -5
- package/package.json +6 -4
- package/rescript.json +591 -4
- package/src/Base/ArrayBufferTypedArrayOrDataView.res +4 -0
- package/src/Base/BaseCSSFontLoading.res +25 -0
- package/src/{EncryptedMediaExtensionsAPI.res → Base/BaseEncryptedMediaExtensions.res} +12 -18
- package/src/Base/BaseEvent.res +6 -0
- package/src/Base/BaseFile.res +37 -0
- package/src/{FileAndDirectoryEntriesAPI.res → Base/BaseFileAndDirectoryEntries.res} +5 -22
- package/src/{DOMAPI.res → Base/DOM.res} +225 -2237
- package/src/{CSSFontLoadingAPI.res → CSSFontLoading/CssFontLoadingTypes.res} +4 -15
- package/src/CSSFontLoading/FontFace.res +62 -0
- package/src/CSSFontLoading/FontFaceSet.res +38 -0
- package/src/Canvas/Canvas.res +179 -0
- package/src/{CanvasAPI → Canvas}/CanvasGradient.res +2 -3
- package/src/{CanvasAPI → Canvas}/CanvasPattern.res +3 -3
- package/src/{DOMAPI → Canvas}/CanvasRenderingContext2D.res +178 -140
- package/src/{CanvasAPI.res → Canvas/CanvasTypes.res} +9 -11
- package/src/Canvas/FillStyle.res +25 -0
- package/src/{DOMAPI → Canvas}/HTMLCanvasElement.res +21 -23
- package/src/{CanvasAPI → Canvas}/ImageBitmap.res +1 -3
- package/src/{CanvasAPI → Canvas}/ImageBitmapRenderingContext.res +4 -4
- package/src/{CanvasAPI → Canvas}/OffscreenCanvas.res +19 -19
- package/src/{CanvasAPI → Canvas}/Path2D.res +63 -19
- package/src/Canvas/VideoFrame.res +223 -0
- package/src/{ChannelMessagingAPI.res → ChannelMessaging/ChannelMessagingTypes.res} +2 -4
- package/src/{ChannelMessagingAPI → ChannelMessaging}/MessagePort.res +8 -10
- package/src/Clipboard/Clipboard.res +29 -0
- package/src/{ClipboardAPI → Clipboard}/ClipboardItem.res +5 -6
- package/src/{ClipboardAPI.res → Clipboard/ClipboardTypes.res} +5 -7
- package/src/{CredentialManagementAPI.res → CredentialManagement/CredentialManagementTypes.res} +10 -13
- package/src/CredentialManagement/CredentialsContainer.res +33 -0
- package/src/{DOMAPI → DOM}/Animation.res +13 -13
- package/src/{DOMAPI → DOM}/AnimationEffect.res +7 -5
- package/src/{DOMAPI → DOM}/CSSRuleList.res +1 -3
- package/src/{DOMAPI → DOM}/CSSStyleDeclaration.res +6 -7
- package/src/DOM/CSSStyleSheet.res +30 -0
- package/src/{DOMAPI → DOM}/CSSStyleValue.res +3 -4
- package/src/DOM/CaretPosition.res +2 -0
- package/src/{DOMAPI → DOM}/CharacterData.res +5 -7
- package/src/DOM/Comment.res +7 -0
- package/src/{DOMAPI → DOM}/CustomElementRegistry.res +10 -9
- package/src/DOM/DOMException.res +7 -0
- package/src/{DOMAPI → DOM}/DOMImplementation.res +6 -8
- package/src/DOM/DOMMatrix.res +228 -0
- package/src/DOM/DOMMatrixReadOnly.res +147 -0
- package/src/DOM/DOMPoint.res +31 -0
- package/src/{DOMAPI → DOM}/DOMPointReadOnly.res +7 -7
- package/src/{DOMAPI → DOM}/DOMRect.res +6 -7
- package/src/DOM/DOMRectList.res +2 -0
- package/src/DOM/DOMRectReadOnly.res +19 -0
- package/src/{Prelude → DOM}/DOMStringList.res +3 -3
- package/src/{DOMAPI → DOM}/DOMTokenList.res +7 -9
- package/src/{DOMAPI → DOM}/Document.res +94 -80
- package/src/{DOMAPI → DOM}/DocumentFragment.res +10 -11
- package/src/DOM/DocumentTimeline.res +8 -0
- package/src/{Global.res → DOM/DomGlobal.res} +62 -285
- package/src/{DOMAPI/HTMLMediaElement.res → DOM/DomHTMLMediaElement.res} +6 -16
- package/src/DOM/DomTypes.res +2105 -0
- package/src/{DOMAPI → DOM}/Element.res +53 -44
- package/src/{DOMAPI → DOM}/ElementInternals.res +6 -8
- package/src/{DOMAPI → DOM}/FileList.res +2 -5
- package/src/DOM/HTMLAnchorElement.res +1 -0
- package/src/DOM/HTMLAreaElement.res +1 -0
- package/src/DOM/HTMLAudioElement.res +1 -0
- package/src/DOM/HTMLBRElement.res +1 -0
- package/src/DOM/HTMLBaseElement.res +1 -0
- package/src/DOM/HTMLBodyElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLButtonElement.res +4 -6
- package/src/{DOMAPI → DOM}/HTMLCollection.res +2 -4
- package/src/DOM/HTMLDListElement.res +1 -0
- package/src/DOM/HTMLDataElement.res +1 -0
- package/src/DOM/HTMLDataListElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLDialogElement.res +4 -6
- package/src/DOM/HTMLDivElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLElement.res +5 -5
- package/src/DOM/HTMLEmbedElement.res +4 -0
- package/src/{DOMAPI → DOM}/HTMLFieldSetElement.res +4 -6
- package/src/DOM/HTMLFormControlsCollection.res +16 -0
- package/src/{DOMAPI → DOM}/HTMLFormElement.res +7 -7
- package/src/DOM/HTMLFrameSetElement.res +1 -0
- package/src/DOM/HTMLHRElement.res +1 -0
- package/src/DOM/HTMLHeadElement.res +1 -0
- package/src/DOM/HTMLHeadingElement.res +1 -0
- package/src/DOM/HTMLHtmlElement.res +1 -0
- package/src/DOM/HTMLIFrameElement.res +4 -0
- package/src/DOM/HTMLImageElement.res +7 -0
- package/src/{DOMAPI → DOM}/HTMLInputElement.res +12 -14
- package/src/DOM/HTMLLIElement.res +1 -0
- package/src/DOM/HTMLLabelElement.res +1 -0
- package/src/DOM/HTMLLegendElement.res +1 -0
- package/src/DOM/HTMLLinkElement.res +1 -0
- package/src/DOM/HTMLMapElement.res +1 -0
- package/src/DOM/HTMLMenuElement.res +1 -0
- package/src/DOM/HTMLMetaElement.res +1 -0
- package/src/DOM/HTMLMeterElement.res +1 -0
- package/src/DOM/HTMLModElement.res +1 -0
- package/src/DOM/HTMLOListElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLObjectElement.res +5 -7
- package/src/DOM/HTMLOptGroupElement.res +1 -0
- package/src/DOM/HTMLOptionElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLOptionsCollection.res +4 -5
- package/src/{DOMAPI → DOM}/HTMLOutputElement.res +4 -6
- package/src/DOM/HTMLParagraphElement.res +1 -0
- package/src/DOM/HTMLPictureElement.res +1 -0
- package/src/DOM/HTMLPreElement.res +1 -0
- package/src/DOM/HTMLProgressElement.res +1 -0
- package/src/DOM/HTMLQuoteElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLScriptElement.res +1 -3
- package/src/{DOMAPI → DOM}/HTMLSelectElement.res +10 -12
- package/src/DOM/HTMLSlotElement.res +31 -0
- package/src/DOM/HTMLSourceElement.res +1 -0
- package/src/DOM/HTMLSpanElement.res +1 -0
- package/src/DOM/HTMLStyleElement.res +1 -0
- package/src/DOM/HTMLTableCaptionElement.res +1 -0
- package/src/DOM/HTMLTableCellElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLTableElement.res +12 -12
- package/src/{DOMAPI → DOM}/HTMLTableRowElement.res +6 -5
- package/src/{DOMAPI → DOM}/HTMLTableSectionElement.res +6 -5
- package/src/DOM/HTMLTemplateElement.res +1 -0
- package/src/{DOMAPI → DOM}/HTMLTextAreaElement.res +9 -11
- package/src/DOM/HTMLTimeElement.res +1 -0
- package/src/DOM/HTMLTitleElement.res +1 -0
- package/src/DOM/HTMLTrackElement.res +1 -0
- package/src/DOM/HTMLUListElement.res +1 -0
- package/src/DOM/HTMLVideoElement.res +32 -0
- package/src/{DOMAPI → DOM}/IdleDeadline.res +1 -3
- package/src/{DOMAPI → DOM}/ImageData.res +4 -5
- package/src/{DOMAPI → DOM}/Location.res +3 -5
- package/src/{DOMAPI → DOM}/MediaList.res +3 -5
- package/src/DOM/MediaQueryList.res +1 -0
- package/src/{DOMAPI → DOM}/NamedNodeMap.res +15 -11
- package/src/DOM/Navigator.res +166 -0
- package/src/{DOMAPI → DOM}/Node.res +10 -11
- package/src/DOM/NodeFilter.res +2 -0
- package/src/{DOMAPI → DOM}/NodeIterator.res +2 -4
- package/src/{DOMAPI → DOM}/NodeList.res +1 -3
- package/src/{DOMAPI → DOM}/Range.res +27 -27
- package/src/DOM/SVGGraphicsElement.res +18 -0
- package/src/{DOMAPI → DOM}/SVGLength.res +2 -4
- package/src/DOM/ScreenOrientation.res +7 -0
- package/src/{DOMAPI → DOM}/Selection.res +22 -20
- package/src/DOM/ShadowRoot.res +19 -0
- package/src/DOM/StylePropertyMap.res +57 -0
- package/src/{DOMAPI → DOM}/StylePropertyMapReadOnly.res +3 -4
- package/src/{DOMAPI → DOM}/StyleSheetList.res +1 -3
- package/src/{DOMAPI → DOM}/Text.res +3 -5
- package/src/DOM/TextTrackList.res +7 -0
- package/src/{DOMAPI → DOM}/TimeRanges.res +2 -4
- package/src/{DOMAPI → DOM}/TreeWalker.res +7 -9
- package/src/{DOMAPI → DOM}/VideoColorSpace.res +3 -4
- package/src/DOM/Window.res +557 -0
- package/src/{DOMAPI → DOM}/XPathExpression.res +4 -6
- package/src/{DOMAPI → DOM}/XPathResult.res +2 -4
- package/src/EncryptedMediaExtensions/EncryptedMediaExtensionsHTMLMediaElement.res +15 -0
- package/src/EncryptedMediaExtensions/EncryptedMediaExtensionsTypes.res +43 -0
- package/src/{EncryptedMediaExtensionsAPI → EncryptedMediaExtensions}/MediaKeySession.res +10 -10
- package/src/{EncryptedMediaExtensionsAPI → EncryptedMediaExtensions}/MediaKeyStatusMap.res +2 -4
- package/src/EncryptedMediaExtensions/MediaKeySystemAccess.res +14 -0
- package/src/EncryptedMediaExtensions/MediaKeys.res +35 -0
- package/src/{EventAPI → Event}/AbortController.res +2 -4
- package/src/{EventAPI → Event}/AbortSignal.res +5 -7
- package/src/{EventAPI → Event}/Event.res +5 -6
- package/src/{EventAPI → Event}/EventTarget.res +14 -16
- package/src/{EventAPI.res → Event/EventTypes.res} +10 -10
- package/src/{EventAPI → Event}/ExtendableEvent.res +2 -4
- package/src/{FetchAPI → Fetch}/BodyInit.res +10 -12
- package/src/Fetch/Fetch.res +12 -0
- package/src/{FetchAPI.res → Fetch/FetchTypes.res} +19 -21
- package/src/{FetchAPI → Fetch}/FormData.res +16 -15
- package/src/Fetch/FormDataEntryValue.res +2 -0
- package/src/{FetchAPI → Fetch}/Headers.res +10 -12
- package/src/{FetchAPI → Fetch}/HeadersInit.res +4 -4
- package/src/{FetchAPI → Fetch}/Request.res +16 -11
- package/src/{FetchAPI → Fetch}/Response.res +27 -23
- package/src/{FileAPI → File}/Blob.res +9 -7
- package/src/{FileAPI → File}/File.res +5 -5
- package/src/File/FileSystemDirectoryHandle.res +49 -0
- package/src/File/FileSystemFileHandle.res +25 -0
- package/src/File/FileSystemHandle.res +6 -0
- package/src/File/FileSystemWritableFileStream.res +65 -0
- package/src/{FileAPI.res → File/FileTypes.res} +22 -23
- package/src/File/ReadableStream.res +79 -0
- package/src/File/WritableStream.res +27 -0
- package/src/{FileAPI → File}/WritableStreamDefaultController.res +1 -3
- package/src/FileAndDirectoryEntries/FileAndDirectoryEntriesTypes.res +35 -0
- package/src/FileAndDirectoryEntries/FileSystemDirectoryEntry.res +42 -0
- package/src/FileAndDirectoryEntries/FileSystemDirectoryReader.res +9 -0
- package/src/FileAndDirectoryEntries/FileSystemEntry.res +9 -0
- package/src/Gamepad/GamepadHapticActuator.res +16 -0
- package/src/{GamepadAPI.res → Gamepad/GamepadTypes.res} +4 -4
- package/src/Geolocation/Geolocation.res +31 -0
- package/src/{GeolocationAPI → Geolocation}/GeolocationCoordinates.res +1 -3
- package/src/{GeolocationAPI → Geolocation}/GeolocationPosition.res +1 -3
- package/src/{GeolocationAPI.res → Geolocation/GeolocationTypes.res} +5 -5
- package/src/{HistoryAPI → History}/History.res +13 -8
- package/src/{HistoryAPI.res → History/HistoryTypes.res} +3 -2
- package/src/{IndexedDBAPI → IndexedDB}/IDBDatabase.res +14 -16
- package/src/{IndexedDBAPI → IndexedDB}/IDBFactory.res +10 -6
- package/src/{IndexedDBAPI → IndexedDB}/IDBIndex.res +22 -17
- package/src/{IndexedDBAPI → IndexedDB}/IDBObjectStore.res +44 -33
- package/src/{IndexedDBAPI → IndexedDB}/IDBTransaction.res +5 -6
- package/src/{IndexedDBAPI.res → IndexedDB/IndexedDbTypes.res} +16 -17
- package/src/IntersectionObserver/IntersectionObserver.res +39 -0
- package/src/IntersectionObserver/IntersectionObserverRoot.res +21 -0
- package/src/{IntersectionObserverAPI.res → IntersectionObserver/IntersectionObserverTypes.res} +7 -9
- package/src/MediaCapabilities/MediaCapabilities.res +19 -0
- package/src/{MediaCapabilitiesAPI.res → MediaCapabilities/MediaCapabilitiesTypes.res} +3 -3
- package/src/{MediaCaptureAndStreamsAPI.res → MediaCaptureAndStreams/MediaCaptureAndStreamsTypes.res} +7 -8
- package/src/MediaCaptureAndStreams/MediaDeviceInfo.res +9 -0
- package/src/MediaCaptureAndStreams/MediaDevices.res +40 -0
- package/src/MediaCaptureAndStreams/MediaStream.res +89 -0
- package/src/MediaCaptureAndStreams/MediaStreamTrack.res +51 -0
- package/src/MediaSession/MediaMetadata.res +10 -0
- package/src/MediaSession/MediaSession.res +25 -0
- package/src/{MediaSessionAPI.res → MediaSession/MediaSessionTypes.res} +4 -2
- package/src/MutationObserver/MutationObserver.res +31 -0
- package/src/{MutationObserverAPI.res → MutationObserver/MutationObserverTypes.res} +3 -5
- package/src/Notification/Notification.res +46 -0
- package/src/{NotificationAPI.res → Notification/NotificationTypes.res} +5 -7
- package/src/Performance/Performance.res +101 -0
- package/src/{PerformanceAPI → Performance}/PerformanceEntry.res +1 -3
- package/src/Performance/PerformanceMark.res +16 -0
- package/src/{PerformanceAPI.res → Performance/PerformanceTypes.res} +9 -12
- package/src/Permissions/Permissions.res +10 -0
- package/src/{PermissionsAPI.res → Permissions/PermissionsTypes.res} +4 -6
- package/src/PictureInPicture/PictureInPicture.res +7 -0
- package/src/{PictureInPictureAPI.res → PictureInPicture/PictureInPictureTypes.res} +1 -3
- package/src/Push/ApplicationServerKey.res +2 -0
- package/src/Push/PushEvent.res +3 -0
- package/src/Push/PushManager.res +24 -0
- package/src/{PushAPI → Push}/PushMessageData.res +3 -3
- package/src/{PushAPI → Push}/PushSubscription.res +4 -5
- package/src/{PushAPI.res → Push/PushTypes.res} +6 -8
- package/src/RemotePlayback/RemotePlayback.res +25 -0
- package/src/{RemotePlaybackAPI.res → RemotePlayback/RemotePlaybackTypes.res} +4 -6
- package/src/ResizeObserver/ResizeObserver.res +30 -0
- package/src/{ResizeObserverAPI.res → ResizeObserver/ResizeObserverTypes.res} +5 -7
- package/src/{ScreenWakeLockAPI.res → ScreenWakeLock/ScreenWakeLockTypes.res} +3 -5
- package/src/ScreenWakeLock/WakeLock.res +8 -0
- package/src/ScreenWakeLock/WakeLockSentinel.res +7 -0
- package/src/ServiceWorker/Cache.res +117 -0
- package/src/{ServiceWorkerAPI → ServiceWorker}/Clients.res +14 -7
- package/src/{ServiceWorkerAPI → ServiceWorker}/NavigationPreloadManager.res +7 -6
- package/src/ServiceWorker/ServiceWorker.res +38 -0
- package/src/ServiceWorker/ServiceWorkerContainer.res +34 -0
- package/src/{ServiceWorkerAPI → ServiceWorker}/ServiceWorkerRegistration.res +8 -11
- package/src/ServiceWorker/ServiceWorkerScope.res +12 -0
- package/src/{ServiceWorkerAPI.res → ServiceWorker/ServiceWorkerTypes.res} +18 -23
- package/src/{StorageAPI → Storage}/StorageManager.res +5 -7
- package/src/{StorageAPI.res → Storage/StorageTypes.res} +1 -1
- package/src/UIEvents/CompositionEvent.res +10 -0
- package/src/{UIEventsAPI → UIEvents}/DataTransfer.res +10 -8
- package/src/{UIEventsAPI → UIEvents}/DataTransferItem.res +5 -8
- package/src/{UIEventsAPI → UIEvents}/DataTransferItemList.res +11 -7
- package/src/UIEvents/FocusEvent.res +10 -0
- package/src/UIEvents/InputEvent.res +16 -0
- package/src/UIEvents/KeyboardEvent.res +16 -0
- package/src/{UIEventsAPI → UIEvents}/MouseEvent.res +6 -5
- package/src/UIEvents/PointerEvent.res +24 -0
- package/src/{UIEventsAPI → UIEvents}/Touch.res +1 -3
- package/src/UIEvents/TouchEvent.res +10 -0
- package/src/{UIEventsAPI → UIEvents}/TouchList.res +1 -3
- package/src/UIEvents/UIEvent.res +20 -0
- package/src/{UIEventsAPI.res → UIEvents/UiEventsTypes.res} +28 -30
- package/src/UIEvents/WheelEvent.res +10 -0
- package/src/{URLAPI → URL}/URL.res +6 -5
- package/src/{URLAPI → URL}/URLSearchParams.res +20 -17
- package/src/{URLAPI.res → URL/UrlTypes.res} +5 -4
- package/src/{ViewTransitionsAPI → ViewTransitions}/ViewTransition.res +1 -3
- package/src/{ViewTransitionsAPI.res → ViewTransitions/ViewTransitionsTypes.res} +1 -1
- package/src/VisualViewport/VisualViewport.res +5 -0
- package/src/{VisualViewportAPI.res → VisualViewport/VisualViewportTypes.res} +2 -4
- package/src/WebAudio/AnalyserNode.res +38 -0
- package/src/{WebAudioAPI → WebAudio}/AudioBuffer.res +4 -6
- package/src/{WebAudioAPI → WebAudio}/AudioBufferSourceNode.res +5 -7
- package/src/WebAudio/AudioContext.res +59 -0
- package/src/WebAudio/AudioDestinationNode.res +1 -0
- package/src/{WebAudioAPI → WebAudio}/AudioNode.res +21 -12
- package/src/{WebAudioAPI → WebAudio}/AudioParam.res +23 -14
- package/src/WebAudio/AudioProcessingEvent.res +10 -0
- package/src/{WebAudioAPI → WebAudio}/AudioScheduledSourceNode.res +2 -4
- package/src/WebAudio/AudioWorkletNode.res +11 -0
- package/src/{WebAudioAPI → WebAudio}/BaseAudioContext.res +26 -25
- package/src/{WebAudioAPI → WebAudio}/BiquadFilterNode.res +6 -6
- package/src/WebAudio/ChannelMergerNode.res +10 -0
- package/src/WebAudio/ChannelSplitterNode.res +10 -0
- package/src/WebAudio/ConstantSourceNode.res +10 -0
- package/src/WebAudio/ConvolverNode.res +10 -0
- package/src/WebAudio/DelayNode.res +10 -0
- package/src/WebAudio/DynamicsCompressorNode.res +10 -0
- package/src/WebAudio/GainNode.res +10 -0
- package/src/{WebAudioAPI → WebAudio}/IIRFilterNode.res +6 -6
- package/src/WebAudio/MediaElementAudioSourceNode.res +10 -0
- package/src/WebAudio/MediaStreamAudioDestinationNode.res +10 -0
- package/src/WebAudio/MediaStreamAudioSourceNode.res +10 -0
- package/src/WebAudio/OfflineAudioCompletionEvent.res +10 -0
- package/src/WebAudio/OfflineAudioContext.res +58 -0
- package/src/WebAudio/OscillatorNode.res +17 -0
- package/src/WebAudio/PannerNode.res +10 -0
- package/src/WebAudio/PeriodicWave.res +8 -0
- package/src/WebAudio/StereoPannerNode.res +10 -0
- package/src/WebAudio/WaveShaperNode.res +10 -0
- package/src/{WebAudioAPI.res → WebAudio/WebAudioTypes.res} +55 -42
- package/src/{WebAudioAPI → WebAudio}/Worklet.res +5 -4
- package/src/{WebCryptoAPI → WebCrypto}/Crypto.res +2 -4
- package/src/WebCrypto/SubtleCrypto.res +173 -0
- package/src/{WebCryptoAPI.res → WebCrypto/WebCryptoTypes.res} +3 -5
- package/src/WebLocks/LockManager.res +26 -0
- package/src/{WebLocksAPI.res → WebLocks/WebLocksTypes.res} +2 -4
- package/src/WebMIDI/WebMIDI.res +7 -0
- package/src/{WebMIDIAPI.res → WebMIDI/WebMidiTypes.res} +1 -3
- package/src/WebSockets/CloseEvent.res +10 -0
- package/src/{WebSocketsAPI → WebSockets}/MessageEvent.res +14 -9
- package/src/WebSockets/WebSocket.res +71 -0
- package/src/{WebSocketsAPI.res → WebSockets/WebSocketsTypes.res} +12 -15
- package/src/{WebSpeechAPI → WebSpeech}/SpeechSynthesis.res +8 -8
- package/src/WebSpeech/SpeechSynthesisUtterance.res +8 -0
- package/src/{WebSpeechAPI.res → WebSpeech/WebSpeechTypes.res} +4 -5
- package/src/{WebStorageAPI → WebStorage}/Storage.res +8 -10
- package/src/WebStorage/StorageEvent.res +10 -0
- package/src/{WebStorageAPI.res → WebStorage/WebStorageTypes.res} +9 -11
- package/src/{WebVTTAPI → WebVTT}/TextTrack.res +3 -5
- package/src/{WebVTTAPI → WebVTT}/TextTrackCueList.res +2 -3
- package/src/{WebVTTAPI.res → WebVTT/WebVttTypes.res} +5 -5
- package/src/WebWorkers/CacheStorage.res +43 -0
- package/src/{WebWorkersAPI → WebWorkers}/SharedWorker.res +13 -12
- package/src/{WebWorkersAPI/SharedWorkerGlobalScope.res → WebWorkers/SharedWorkerScope.res} +6 -4
- package/src/{WebWorkersAPI.res → WebWorkers/WebWorkersTypes.res} +7 -10
- package/src/{WebWorkersAPI/WorkerGlobalScope.res → WebWorkers/Worker.res} +8 -8
- package/src/CSSFontLoadingAPI/FontFace.res +0 -34
- package/src/CSSFontLoadingAPI/FontFaceSet.res +0 -33
- package/src/CanvasAPI/FillStyle.res +0 -24
- package/src/ClipboardAPI/Clipboard.res +0 -27
- package/src/CredentialManagementAPI/CredentialsContainer.res +0 -29
- package/src/DOMAPI/CSSStyleSheet.res +0 -32
- package/src/DOMAPI/CaretPosition.res +0 -4
- package/src/DOMAPI/Comment.res +0 -9
- package/src/DOMAPI/DOMMatrix.res +0 -169
- package/src/DOMAPI/DOMMatrixReadOnly.res +0 -103
- package/src/DOMAPI/DOMPoint.res +0 -29
- package/src/DOMAPI/DOMRectList.res +0 -4
- package/src/DOMAPI/DOMRectReadOnly.res +0 -17
- package/src/DOMAPI/DocumentTimeline.res +0 -9
- package/src/DOMAPI/HTMLAnchorElement.res +0 -3
- package/src/DOMAPI/HTMLAreaElement.res +0 -3
- package/src/DOMAPI/HTMLAudioElement.res +0 -3
- package/src/DOMAPI/HTMLBRElement.res +0 -3
- package/src/DOMAPI/HTMLBaseElement.res +0 -3
- package/src/DOMAPI/HTMLBodyElement.res +0 -3
- package/src/DOMAPI/HTMLDListElement.res +0 -3
- package/src/DOMAPI/HTMLDataElement.res +0 -3
- package/src/DOMAPI/HTMLDataListElement.res +0 -3
- package/src/DOMAPI/HTMLDivElement.res +0 -3
- package/src/DOMAPI/HTMLEmbedElement.res +0 -6
- package/src/DOMAPI/HTMLFormControlsCollection.res +0 -16
- package/src/DOMAPI/HTMLFrameSetElement.res +0 -3
- package/src/DOMAPI/HTMLHRElement.res +0 -3
- package/src/DOMAPI/HTMLHeadElement.res +0 -3
- package/src/DOMAPI/HTMLHeadingElement.res +0 -3
- package/src/DOMAPI/HTMLHtmlElement.res +0 -3
- package/src/DOMAPI/HTMLIFrameElement.res +0 -6
- package/src/DOMAPI/HTMLImageElement.res +0 -9
- package/src/DOMAPI/HTMLLIElement.res +0 -3
- package/src/DOMAPI/HTMLLabelElement.res +0 -3
- package/src/DOMAPI/HTMLLegendElement.res +0 -3
- package/src/DOMAPI/HTMLLinkElement.res +0 -3
- package/src/DOMAPI/HTMLMapElement.res +0 -3
- package/src/DOMAPI/HTMLMenuElement.res +0 -3
- package/src/DOMAPI/HTMLMetaElement.res +0 -3
- package/src/DOMAPI/HTMLMeterElement.res +0 -3
- package/src/DOMAPI/HTMLModElement.res +0 -3
- package/src/DOMAPI/HTMLOListElement.res +0 -3
- package/src/DOMAPI/HTMLOptGroupElement.res +0 -3
- package/src/DOMAPI/HTMLOptionElement.res +0 -3
- package/src/DOMAPI/HTMLParagraphElement.res +0 -3
- package/src/DOMAPI/HTMLPictureElement.res +0 -3
- package/src/DOMAPI/HTMLPreElement.res +0 -3
- package/src/DOMAPI/HTMLProgressElement.res +0 -3
- package/src/DOMAPI/HTMLQuoteElement.res +0 -3
- package/src/DOMAPI/HTMLSlotElement.res +0 -29
- package/src/DOMAPI/HTMLSourceElement.res +0 -3
- package/src/DOMAPI/HTMLSpanElement.res +0 -3
- package/src/DOMAPI/HTMLStyleElement.res +0 -3
- package/src/DOMAPI/HTMLTableCaptionElement.res +0 -3
- package/src/DOMAPI/HTMLTableCellElement.res +0 -3
- package/src/DOMAPI/HTMLTemplateElement.res +0 -3
- package/src/DOMAPI/HTMLTimeElement.res +0 -3
- package/src/DOMAPI/HTMLTitleElement.res +0 -3
- package/src/DOMAPI/HTMLTrackElement.res +0 -3
- package/src/DOMAPI/HTMLUListElement.res +0 -3
- package/src/DOMAPI/HTMLVideoElement.res +0 -31
- package/src/DOMAPI/MediaQueryList.res +0 -3
- package/src/DOMAPI/Navigator.res +0 -115
- package/src/DOMAPI/NodeFilter.res +0 -4
- package/src/DOMAPI/SVGGraphicsElement.res +0 -17
- package/src/DOMAPI/ScreenOrientation.res +0 -9
- package/src/DOMAPI/ShadowRoot.res +0 -21
- package/src/DOMAPI/StylePropertyMap.res +0 -50
- package/src/DOMAPI/TextTrackList.res +0 -10
- package/src/DOMAPI/VideoFrame.res +0 -111
- package/src/DOMAPI/Window.res +0 -517
- package/src/EncryptedMediaExtensionsAPI/MediaKeySystemAccess.res +0 -13
- package/src/EncryptedMediaExtensionsAPI/MediaKeys.res +0 -27
- package/src/FetchAPI/FormDataEntryValue.res +0 -22
- package/src/FileAPI/FileSystemDirectoryHandle.res +0 -45
- package/src/FileAPI/FileSystemFileHandle.res +0 -23
- package/src/FileAPI/FileSystemHandle.res +0 -7
- package/src/FileAPI/FileSystemWritableFileStream.res +0 -62
- package/src/FileAPI/ReadableStream.res +0 -60
- package/src/FileAPI/WritableStream.res +0 -28
- package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryEntry.res +0 -42
- package/src/FileAndDirectoryEntriesAPI/FileSystemDirectoryReader.res +0 -11
- package/src/FileAndDirectoryEntriesAPI/FileSystemEntry.res +0 -11
- package/src/GamepadAPI/GamepadHapticActuator.res +0 -17
- package/src/GeolocationAPI/Geolocation.res +0 -29
- package/src/IntersectionObserverAPI/IntersectionObserver.res +0 -35
- package/src/IntersectionObserverAPI/IntersectionObserverRoot.res +0 -22
- package/src/MediaCapabilitiesAPI/MediaCapabilities.res +0 -19
- package/src/MediaCaptureAndStreamsAPI/MediaDeviceInfo.res +0 -7
- package/src/MediaCaptureAndStreamsAPI/MediaDevices.res +0 -34
- package/src/MediaCaptureAndStreamsAPI/MediaStream.res +0 -63
- package/src/MediaCaptureAndStreamsAPI/MediaStreamTrack.res +0 -42
- package/src/MediaSessionAPI/MediaMetadata.res +0 -7
- package/src/MediaSessionAPI/MediaSession.res +0 -17
- package/src/MutationObserverAPI/MutationObserver.res +0 -27
- package/src/NotificationAPI/Notification.res +0 -29
- package/src/PerformanceAPI/Performance.res +0 -90
- package/src/PerformanceAPI/PerformanceMark.res +0 -15
- package/src/PermissionsAPI/Permissions.res +0 -7
- package/src/Prelude/DOMException.res +0 -7
- package/src/Prelude.res +0 -37
- package/src/PushAPI/ApplicationServerKey.res +0 -4
- package/src/PushAPI/PushEvent.res +0 -3
- package/src/PushAPI/PushManager.res +0 -25
- package/src/RemotePlaybackAPI/RemotePlayback.res +0 -23
- package/src/ResizeObserverAPI/ResizeObserver.res +0 -27
- package/src/ScreenWakeLockAPI/WakeLock.res +0 -7
- package/src/ScreenWakeLockAPI/WakeLockSentinel.res +0 -9
- package/src/ServiceWorkerAPI/Cache.res +0 -100
- package/src/ServiceWorkerAPI/ServiceWorker.res +0 -21
- package/src/ServiceWorkerAPI/ServiceWorkerContainer.res +0 -35
- package/src/ServiceWorkerAPI/ServiceWorkerGlobalScope.res +0 -10
- package/src/UIEventsAPI/CompositionEvent.res +0 -10
- package/src/UIEventsAPI/FocusEvent.res +0 -9
- package/src/UIEventsAPI/InputEvent.res +0 -16
- package/src/UIEventsAPI/KeyboardEvent.res +0 -16
- package/src/UIEventsAPI/PointerEvent.res +0 -21
- package/src/UIEventsAPI/TouchEvent.res +0 -9
- package/src/UIEventsAPI/UIEvent.res +0 -19
- package/src/UIEventsAPI/WheelEvent.res +0 -9
- package/src/WebAudioAPI/AnalyserNode.res +0 -34
- package/src/WebAudioAPI/AudioContext.res +0 -56
- package/src/WebAudioAPI/AudioDestinationNode.res +0 -3
- package/src/WebAudioAPI/AudioProcessingEvent.res +0 -10
- package/src/WebAudioAPI/AudioWorkletNode.res +0 -13
- package/src/WebAudioAPI/ChannelMergerNode.res +0 -10
- package/src/WebAudioAPI/ChannelSplitterNode.res +0 -12
- package/src/WebAudioAPI/ConstantSourceNode.res +0 -12
- package/src/WebAudioAPI/ConvolverNode.res +0 -10
- package/src/WebAudioAPI/DelayNode.res +0 -9
- package/src/WebAudioAPI/DynamicsCompressorNode.res +0 -12
- package/src/WebAudioAPI/GainNode.res +0 -9
- package/src/WebAudioAPI/MediaElementAudioSourceNode.res +0 -12
- package/src/WebAudioAPI/MediaStreamAudioDestinationNode.res +0 -12
- package/src/WebAudioAPI/MediaStreamAudioSourceNode.res +0 -12
- package/src/WebAudioAPI/OfflineAudioCompletionEvent.res +0 -12
- package/src/WebAudioAPI/OfflineAudioContext.res +0 -34
- package/src/WebAudioAPI/OscillatorNode.res +0 -16
- package/src/WebAudioAPI/PannerNode.res +0 -9
- package/src/WebAudioAPI/PeriodicWave.res +0 -8
- package/src/WebAudioAPI/StereoPannerNode.res +0 -10
- package/src/WebAudioAPI/WaveShaperNode.res +0 -10
- package/src/WebCryptoAPI/SubtleCrypto.res +0 -173
- package/src/WebLocksAPI/LockManager.res +0 -25
- package/src/WebSocketsAPI/CloseEvent.res +0 -9
- package/src/WebSocketsAPI/WebSocket.res +0 -51
- package/src/WebSpeechAPI/SpeechSynthesisUtterance.res +0 -9
- package/src/WebStorageAPI/StorageEvent.res +0 -9
- package/src/WebWorkersAPI/CacheStorage.res +0 -46
|
@@ -1,10 +1,9 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ImageData)
|
|
5
3
|
*/
|
|
6
4
|
@new
|
|
7
|
-
external make: (~sw: int, ~sh: int, ~settings: imageDataSettings=?) => imageData =
|
|
5
|
+
external make: (~sw: int, ~sh: int, ~settings: DomTypes.imageDataSettings=?) => DomTypes.imageData =
|
|
6
|
+
"ImageData"
|
|
8
7
|
|
|
9
8
|
/**
|
|
10
9
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ImageData)
|
|
@@ -14,5 +13,5 @@ external makeWithData: (
|
|
|
14
13
|
~data: Uint8ClampedArray.t,
|
|
15
14
|
~sw: int,
|
|
16
15
|
~sh: int=?,
|
|
17
|
-
~settings: imageDataSettings=?,
|
|
18
|
-
) => imageData = "ImageData"
|
|
16
|
+
~settings: DomTypes.imageDataSettings=?,
|
|
17
|
+
) => DomTypes.imageData = "ImageData"
|
|
@@ -1,22 +1,20 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
Navigates to the given URL.
|
|
5
3
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/assign)
|
|
6
4
|
*/
|
|
7
5
|
@send
|
|
8
|
-
external assign: (location, string) => unit = "assign"
|
|
6
|
+
external assign: (DomTypes.location, string) => unit = "assign"
|
|
9
7
|
|
|
10
8
|
/**
|
|
11
9
|
Removes the current page from the session history and navigates to the given URL.
|
|
12
10
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/replace)
|
|
13
11
|
*/
|
|
14
12
|
@send
|
|
15
|
-
external replace: (location, string) => unit = "replace"
|
|
13
|
+
external replace: (DomTypes.location, string) => unit = "replace"
|
|
16
14
|
|
|
17
15
|
/**
|
|
18
16
|
Reloads the current page.
|
|
19
17
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Location/reload)
|
|
20
18
|
*/
|
|
21
19
|
@send
|
|
22
|
-
external reload: location => unit = "reload"
|
|
20
|
+
external reload: DomTypes.location => unit = "reload"
|
|
@@ -1,19 +1,17 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/item)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external item: (mediaList, int) => string = "item"
|
|
5
|
+
external item: (DomTypes.mediaList, int) => string = "item"
|
|
8
6
|
|
|
9
7
|
/**
|
|
10
8
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/appendMedium)
|
|
11
9
|
*/
|
|
12
10
|
@send
|
|
13
|
-
external appendMedium: (mediaList, string) => unit = "appendMedium"
|
|
11
|
+
external appendMedium: (DomTypes.mediaList, string) => unit = "appendMedium"
|
|
14
12
|
|
|
15
13
|
/**
|
|
16
14
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaList/deleteMedium)
|
|
17
15
|
*/
|
|
18
16
|
@send
|
|
19
|
-
external deleteMedium: (mediaList, string) => unit = "deleteMedium"
|
|
17
|
+
external deleteMedium: (DomTypes.mediaList, string) => unit = "deleteMedium"
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
include EventTarget.Impl({type t = DomTypes.mediaQueryList})
|
|
@@ -1,45 +1,49 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/item)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external item: (namedNodeMap, int) => attr = "item"
|
|
5
|
+
external item: (DomTypes.namedNodeMap, int) => DomTypes.attr = "item"
|
|
8
6
|
|
|
9
7
|
/**
|
|
10
8
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/getNamedItem)
|
|
11
9
|
*/
|
|
12
10
|
@send
|
|
13
|
-
external getNamedItem: (namedNodeMap, string) => attr = "getNamedItem"
|
|
11
|
+
external getNamedItem: (DomTypes.namedNodeMap, string) => DomTypes.attr = "getNamedItem"
|
|
14
12
|
|
|
15
13
|
/**
|
|
16
14
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/getNamedItemNS)
|
|
17
15
|
*/
|
|
18
16
|
@send
|
|
19
|
-
external getNamedItemNS: (
|
|
20
|
-
|
|
17
|
+
external getNamedItemNS: (
|
|
18
|
+
DomTypes.namedNodeMap,
|
|
19
|
+
~namespace: string,
|
|
20
|
+
~localName: string,
|
|
21
|
+
) => DomTypes.attr = "getNamedItemNS"
|
|
21
22
|
|
|
22
23
|
/**
|
|
23
24
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/setNamedItem)
|
|
24
25
|
*/
|
|
25
26
|
@send
|
|
26
|
-
external setNamedItem: (namedNodeMap, attr) => attr = "setNamedItem"
|
|
27
|
+
external setNamedItem: (DomTypes.namedNodeMap, DomTypes.attr) => DomTypes.attr = "setNamedItem"
|
|
27
28
|
|
|
28
29
|
/**
|
|
29
30
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/setNamedItemNS)
|
|
30
31
|
*/
|
|
31
32
|
@send
|
|
32
|
-
external setNamedItemNS: (namedNodeMap, attr) => attr = "setNamedItemNS"
|
|
33
|
+
external setNamedItemNS: (DomTypes.namedNodeMap, DomTypes.attr) => DomTypes.attr = "setNamedItemNS"
|
|
33
34
|
|
|
34
35
|
/**
|
|
35
36
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/removeNamedItem)
|
|
36
37
|
*/
|
|
37
38
|
@send
|
|
38
|
-
external removeNamedItem: (namedNodeMap, string) => attr = "removeNamedItem"
|
|
39
|
+
external removeNamedItem: (DomTypes.namedNodeMap, string) => DomTypes.attr = "removeNamedItem"
|
|
39
40
|
|
|
40
41
|
/**
|
|
41
42
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NamedNodeMap/removeNamedItemNS)
|
|
42
43
|
*/
|
|
43
44
|
@send
|
|
44
|
-
external removeNamedItemNS: (
|
|
45
|
-
|
|
45
|
+
external removeNamedItemNS: (
|
|
46
|
+
DomTypes.namedNodeMap,
|
|
47
|
+
~namespace: string,
|
|
48
|
+
~localName: string,
|
|
49
|
+
) => DomTypes.attr = "removeNamedItemNS"
|
|
@@ -0,0 +1,166 @@
|
|
|
1
|
+
type t = DomTypes.navigator
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/clipboard)
|
|
5
|
+
*/
|
|
6
|
+
@get external clipboard: t => ClipboardTypes.clipboard = "clipboard"
|
|
7
|
+
|
|
8
|
+
/**
|
|
9
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/credentials)
|
|
10
|
+
*/
|
|
11
|
+
@get external credentials: t => CredentialManagementTypes.credentialsContainer = "credentials"
|
|
12
|
+
|
|
13
|
+
/**
|
|
14
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/geolocation)
|
|
15
|
+
*/
|
|
16
|
+
@get external geolocation: t => GeolocationTypes.geolocation = "geolocation"
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/userActivation)
|
|
20
|
+
*/
|
|
21
|
+
@get external userActivation: t => DomTypes.userActivation = "userActivation"
|
|
22
|
+
|
|
23
|
+
/**
|
|
24
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaCapabilities)
|
|
25
|
+
*/
|
|
26
|
+
@get external mediaCapabilities: t => MediaCapabilitiesTypes.mediaCapabilities = "mediaCapabilities"
|
|
27
|
+
|
|
28
|
+
/**
|
|
29
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaDevices)
|
|
30
|
+
*/
|
|
31
|
+
@get external mediaDevices: t => MediaCaptureAndStreamsTypes.mediaDevices = "mediaDevices"
|
|
32
|
+
|
|
33
|
+
/**
|
|
34
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaSession)
|
|
35
|
+
*/
|
|
36
|
+
@get external mediaSession: t => MediaSessionTypes.mediaSession = "mediaSession"
|
|
37
|
+
|
|
38
|
+
/**
|
|
39
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/permissions)
|
|
40
|
+
*/
|
|
41
|
+
@get external permissions: t => PermissionsTypes.permissions = "permissions"
|
|
42
|
+
|
|
43
|
+
/**
|
|
44
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/maxTouchPoints)
|
|
45
|
+
*/
|
|
46
|
+
@get external maxTouchPoints: t => int = "maxTouchPoints"
|
|
47
|
+
|
|
48
|
+
/**
|
|
49
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/wakeLock)
|
|
50
|
+
*/
|
|
51
|
+
@get external wakeLock: t => ScreenWakeLockTypes.wakeLock = "wakeLock"
|
|
52
|
+
|
|
53
|
+
/**
|
|
54
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/serviceWorker)
|
|
55
|
+
*/
|
|
56
|
+
@get external serviceWorker: t => ServiceWorkerTypes.serviceWorkerContainer = "serviceWorker"
|
|
57
|
+
|
|
58
|
+
/**
|
|
59
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/userAgent)
|
|
60
|
+
*/
|
|
61
|
+
@get external userAgent: t => string = "userAgent"
|
|
62
|
+
|
|
63
|
+
/**
|
|
64
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/language)
|
|
65
|
+
*/
|
|
66
|
+
@get external language: t => string = "language"
|
|
67
|
+
/**
|
|
68
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/languages)
|
|
69
|
+
*/
|
|
70
|
+
@get external languages: t => array<string> = "languages"
|
|
71
|
+
/**
|
|
72
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/onLine)
|
|
73
|
+
*/
|
|
74
|
+
@get external onLine: t => bool = "onLine"
|
|
75
|
+
/**
|
|
76
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/cookieEnabled)
|
|
77
|
+
*/
|
|
78
|
+
@get external cookieEnabled: t => bool = "cookieEnabled"
|
|
79
|
+
/**
|
|
80
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/pdfViewerEnabled)
|
|
81
|
+
*/
|
|
82
|
+
@get external pdfViewerEnabled: t => bool = "pdfViewerEnabled"
|
|
83
|
+
/**
|
|
84
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/hardwareConcurrency)
|
|
85
|
+
*/
|
|
86
|
+
@get external hardwareConcurrency: t => int = "hardwareConcurrency"
|
|
87
|
+
/**
|
|
88
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/storage)
|
|
89
|
+
*/
|
|
90
|
+
@get external storage: t => StorageTypes.storageManager = "storage"
|
|
91
|
+
/**
|
|
92
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/locks)
|
|
93
|
+
*/
|
|
94
|
+
@get external locks: t => WebLocksTypes.lockManager = "locks"
|
|
95
|
+
/**
|
|
96
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/webdriver)
|
|
97
|
+
*/
|
|
98
|
+
@get external webdriver: t => bool = "webdriver"
|
|
99
|
+
|
|
100
|
+
/**
|
|
101
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
|
|
102
|
+
*/
|
|
103
|
+
@send
|
|
104
|
+
external sendBeacon: (t, ~url: string, ~data: FileTypes.readableStream<unit>=?) => bool =
|
|
105
|
+
"sendBeacon"
|
|
106
|
+
|
|
107
|
+
/**
|
|
108
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
|
|
109
|
+
*/
|
|
110
|
+
@send
|
|
111
|
+
external sendBeacon2: (t, ~url: string, ~data: FileTypes.blob=?) => bool = "sendBeacon"
|
|
112
|
+
|
|
113
|
+
/**
|
|
114
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
|
|
115
|
+
*/
|
|
116
|
+
@send
|
|
117
|
+
external sendBeacon3: (t, ~url: string, ~data: DataView.t=?) => bool = "sendBeacon"
|
|
118
|
+
|
|
119
|
+
/**
|
|
120
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
|
|
121
|
+
*/
|
|
122
|
+
@send
|
|
123
|
+
external sendBeacon4: (t, ~url: string, ~data: ArrayBuffer.t=?) => bool = "sendBeacon"
|
|
124
|
+
|
|
125
|
+
/**
|
|
126
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
|
|
127
|
+
*/
|
|
128
|
+
@send
|
|
129
|
+
external sendBeacon5: (t, ~url: string, ~data: FetchTypes.formData=?) => bool = "sendBeacon"
|
|
130
|
+
|
|
131
|
+
/**
|
|
132
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
|
|
133
|
+
*/
|
|
134
|
+
@send
|
|
135
|
+
external sendBeacon6: (t, ~url: string, ~data: UrlTypes.urlSearchParams=?) => bool = "sendBeacon"
|
|
136
|
+
|
|
137
|
+
/**
|
|
138
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
|
|
139
|
+
*/
|
|
140
|
+
@send
|
|
141
|
+
external sendBeacon7: (t, ~url: string, ~data: string=?) => bool = "sendBeacon"
|
|
142
|
+
|
|
143
|
+
/**
|
|
144
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/getGamepads)
|
|
145
|
+
*/
|
|
146
|
+
@send
|
|
147
|
+
external getGamepads: t => array<GamepadTypes.gamepad> = "getGamepads"
|
|
148
|
+
|
|
149
|
+
/**
|
|
150
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/requestMediaKeySystemAccess)
|
|
151
|
+
*/
|
|
152
|
+
@send
|
|
153
|
+
external requestMediaKeySystemAccess: (
|
|
154
|
+
t,
|
|
155
|
+
~keySystem: string,
|
|
156
|
+
~supportedConfigurations: array<DomTypes.mediaKeySystemConfiguration>,
|
|
157
|
+
) => promise<'mediaKeySystemAccess> = "requestMediaKeySystemAccess"
|
|
158
|
+
|
|
159
|
+
/**
|
|
160
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/requestMIDIAccess)
|
|
161
|
+
*/
|
|
162
|
+
@send
|
|
163
|
+
external requestMIDIAccess: (
|
|
164
|
+
t,
|
|
165
|
+
~options: WebMidiTypes.midiOptions=?,
|
|
166
|
+
) => promise<WebMidiTypes.midiAccess> = "requestMIDIAccess"
|
|
@@ -1,5 +1,3 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
module Impl = (
|
|
4
2
|
T: {
|
|
5
3
|
type t
|
|
@@ -7,14 +5,15 @@ module Impl = (
|
|
|
7
5
|
) => {
|
|
8
6
|
include EventTarget.Impl({type t = T.t})
|
|
9
7
|
|
|
10
|
-
external asNode: T.t => node = "%identity"
|
|
8
|
+
external asNode: T.t => DomTypes.node = "%identity"
|
|
11
9
|
|
|
12
10
|
/**
|
|
13
11
|
Returns node's root.
|
|
14
12
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/getRootNode)
|
|
15
13
|
*/
|
|
16
14
|
@send
|
|
17
|
-
external getRootNode: (T.t, ~options: getRootNodeOptions=?) => node =
|
|
15
|
+
external getRootNode: (T.t, ~options: DomTypes.getRootNodeOptions=?) => DomTypes.node =
|
|
16
|
+
"getRootNode"
|
|
18
17
|
|
|
19
18
|
/**
|
|
20
19
|
Returns whether node has children.
|
|
@@ -42,27 +41,27 @@ Returns whether node and otherNode have the same properties.
|
|
|
42
41
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/isEqualNode)
|
|
43
42
|
*/
|
|
44
43
|
@send
|
|
45
|
-
external isEqualNode: (T.t, node) => bool = "isEqualNode"
|
|
44
|
+
external isEqualNode: (T.t, DomTypes.node) => bool = "isEqualNode"
|
|
46
45
|
|
|
47
46
|
/**
|
|
48
47
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/isSameNode)
|
|
49
48
|
*/
|
|
50
49
|
@send
|
|
51
|
-
external isSameNode: (T.t, node) => bool = "isSameNode"
|
|
50
|
+
external isSameNode: (T.t, DomTypes.node) => bool = "isSameNode"
|
|
52
51
|
|
|
53
52
|
/**
|
|
54
53
|
Returns a bitmask indicating the position of other relative to node.
|
|
55
54
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/compareDocumentPosition)
|
|
56
55
|
*/
|
|
57
56
|
@send
|
|
58
|
-
external compareDocumentPosition: (T.t, node) => int = "compareDocumentPosition"
|
|
57
|
+
external compareDocumentPosition: (T.t, DomTypes.node) => int = "compareDocumentPosition"
|
|
59
58
|
|
|
60
59
|
/**
|
|
61
60
|
Returns true if other is an inclusive descendant of node, and false otherwise.
|
|
62
61
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/contains)
|
|
63
62
|
*/
|
|
64
63
|
@send
|
|
65
|
-
external contains: (T.t, node) => bool = "contains"
|
|
64
|
+
external contains: (T.t, DomTypes.node) => bool = "contains"
|
|
66
65
|
|
|
67
66
|
/**
|
|
68
67
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/lookupPrefix)
|
|
@@ -86,7 +85,7 @@ Returns true if other is an inclusive descendant of node, and false otherwise.
|
|
|
86
85
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/insertBefore)
|
|
87
86
|
*/
|
|
88
87
|
@send
|
|
89
|
-
external insertBefore: (T.t, 't, ~child: node) => 't = "insertBefore"
|
|
88
|
+
external insertBefore: (T.t, 't, ~child: DomTypes.node) => 't = "insertBefore"
|
|
90
89
|
|
|
91
90
|
/**
|
|
92
91
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/appendChild)
|
|
@@ -98,7 +97,7 @@ Returns true if other is an inclusive descendant of node, and false otherwise.
|
|
|
98
97
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/replaceChild)
|
|
99
98
|
*/
|
|
100
99
|
@send
|
|
101
|
-
external replaceChild: (T.t, ~node: node, 't) => 't = "replaceChild"
|
|
100
|
+
external replaceChild: (T.t, ~node: DomTypes.node, 't) => 't = "replaceChild"
|
|
102
101
|
|
|
103
102
|
/**
|
|
104
103
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Node/removeChild)
|
|
@@ -107,4 +106,4 @@ Returns true if other is an inclusive descendant of node, and false otherwise.
|
|
|
107
106
|
external removeChild: (T.t, 't) => 't = "removeChild"
|
|
108
107
|
}
|
|
109
108
|
|
|
110
|
-
include Impl({type t = node})
|
|
109
|
+
include Impl({type t = DomTypes.node})
|
|
@@ -1,13 +1,11 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeIterator/nextNode)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external nextNode: nodeIterator => node = "nextNode"
|
|
5
|
+
external nextNode: DomTypes.nodeIterator => DomTypes.node = "nextNode"
|
|
8
6
|
|
|
9
7
|
/**
|
|
10
8
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeIterator/previousNode)
|
|
11
9
|
*/
|
|
12
10
|
@send
|
|
13
|
-
external previousNode: nodeIterator => node = "previousNode"
|
|
11
|
+
external previousNode: DomTypes.nodeIterator => DomTypes.node = "previousNode"
|
|
@@ -1,8 +1,6 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
Returns the node with index index from the collection. The nodes are sorted in tree order.
|
|
5
3
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NodeList/item)
|
|
6
4
|
*/
|
|
7
5
|
@send
|
|
8
|
-
external item: (nodeList<'tNode>, int) => 'tNode = "item"
|
|
6
|
+
external item: (DomTypes.nodeList<'tNode>, int) => 'tNode = "item"
|
|
@@ -1,149 +1,149 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range)
|
|
5
3
|
*/
|
|
6
4
|
@new
|
|
7
|
-
external make: unit => range = "Range"
|
|
5
|
+
external make: unit => DomTypes.range = "Range"
|
|
8
6
|
|
|
9
|
-
external asAbstractRange: range => abstractRange = "%identity"
|
|
7
|
+
external asAbstractRange: DomTypes.range => DomTypes.abstractRange = "%identity"
|
|
10
8
|
/**
|
|
11
9
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/setStart)
|
|
12
10
|
*/
|
|
13
11
|
@send
|
|
14
|
-
external setStart: (range, ~node: node, ~offset: int) => unit = "setStart"
|
|
12
|
+
external setStart: (DomTypes.range, ~node: DomTypes.node, ~offset: int) => unit = "setStart"
|
|
15
13
|
|
|
16
14
|
/**
|
|
17
15
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/setEnd)
|
|
18
16
|
*/
|
|
19
17
|
@send
|
|
20
|
-
external setEnd: (range, ~node: node, ~offset: int) => unit = "setEnd"
|
|
18
|
+
external setEnd: (DomTypes.range, ~node: DomTypes.node, ~offset: int) => unit = "setEnd"
|
|
21
19
|
|
|
22
20
|
/**
|
|
23
21
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/setStartBefore)
|
|
24
22
|
*/
|
|
25
23
|
@send
|
|
26
|
-
external setStartBefore: (range, node) => unit = "setStartBefore"
|
|
24
|
+
external setStartBefore: (DomTypes.range, DomTypes.node) => unit = "setStartBefore"
|
|
27
25
|
|
|
28
26
|
/**
|
|
29
27
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/setStartAfter)
|
|
30
28
|
*/
|
|
31
29
|
@send
|
|
32
|
-
external setStartAfter: (range, node) => unit = "setStartAfter"
|
|
30
|
+
external setStartAfter: (DomTypes.range, DomTypes.node) => unit = "setStartAfter"
|
|
33
31
|
|
|
34
32
|
/**
|
|
35
33
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/setEndBefore)
|
|
36
34
|
*/
|
|
37
35
|
@send
|
|
38
|
-
external setEndBefore: (range, node) => unit = "setEndBefore"
|
|
36
|
+
external setEndBefore: (DomTypes.range, DomTypes.node) => unit = "setEndBefore"
|
|
39
37
|
|
|
40
38
|
/**
|
|
41
39
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/setEndAfter)
|
|
42
40
|
*/
|
|
43
41
|
@send
|
|
44
|
-
external setEndAfter: (range, node) => unit = "setEndAfter"
|
|
42
|
+
external setEndAfter: (DomTypes.range, DomTypes.node) => unit = "setEndAfter"
|
|
45
43
|
|
|
46
44
|
/**
|
|
47
45
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/collapse)
|
|
48
46
|
*/
|
|
49
47
|
@send
|
|
50
|
-
external collapse: (range, ~toStart: bool=?) => unit = "collapse"
|
|
48
|
+
external collapse: (DomTypes.range, ~toStart: bool=?) => unit = "collapse"
|
|
51
49
|
|
|
52
50
|
/**
|
|
53
51
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/selectNode)
|
|
54
52
|
*/
|
|
55
53
|
@send
|
|
56
|
-
external selectNode: (range, node) => unit = "selectNode"
|
|
54
|
+
external selectNode: (DomTypes.range, DomTypes.node) => unit = "selectNode"
|
|
57
55
|
|
|
58
56
|
/**
|
|
59
57
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/selectNodeContents)
|
|
60
58
|
*/
|
|
61
59
|
@send
|
|
62
|
-
external selectNodeContents: (range, node) => unit = "selectNodeContents"
|
|
60
|
+
external selectNodeContents: (DomTypes.range, DomTypes.node) => unit = "selectNodeContents"
|
|
63
61
|
|
|
64
62
|
/**
|
|
65
63
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/compareBoundaryPoints)
|
|
66
64
|
*/
|
|
67
65
|
@send
|
|
68
|
-
external compareBoundaryPoints: (range, ~how: int, ~sourceRange: range) => int =
|
|
66
|
+
external compareBoundaryPoints: (DomTypes.range, ~how: int, ~sourceRange: DomTypes.range) => int =
|
|
69
67
|
"compareBoundaryPoints"
|
|
70
68
|
|
|
71
69
|
/**
|
|
72
70
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/deleteContents)
|
|
73
71
|
*/
|
|
74
72
|
@send
|
|
75
|
-
external deleteContents: range => unit = "deleteContents"
|
|
73
|
+
external deleteContents: DomTypes.range => unit = "deleteContents"
|
|
76
74
|
|
|
77
75
|
/**
|
|
78
76
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/extractContents)
|
|
79
77
|
*/
|
|
80
78
|
@send
|
|
81
|
-
external extractContents: range => documentFragment = "extractContents"
|
|
79
|
+
external extractContents: DomTypes.range => DomTypes.documentFragment = "extractContents"
|
|
82
80
|
|
|
83
81
|
/**
|
|
84
82
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/cloneContents)
|
|
85
83
|
*/
|
|
86
84
|
@send
|
|
87
|
-
external cloneContents: range => documentFragment = "cloneContents"
|
|
85
|
+
external cloneContents: DomTypes.range => DomTypes.documentFragment = "cloneContents"
|
|
88
86
|
|
|
89
87
|
/**
|
|
90
88
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/insertNode)
|
|
91
89
|
*/
|
|
92
90
|
@send
|
|
93
|
-
external insertNode: (range, node) => unit = "insertNode"
|
|
91
|
+
external insertNode: (DomTypes.range, DomTypes.node) => unit = "insertNode"
|
|
94
92
|
|
|
95
93
|
/**
|
|
96
94
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/surroundContents)
|
|
97
95
|
*/
|
|
98
96
|
@send
|
|
99
|
-
external surroundContents: (range, node) => unit = "surroundContents"
|
|
97
|
+
external surroundContents: (DomTypes.range, DomTypes.node) => unit = "surroundContents"
|
|
100
98
|
|
|
101
99
|
/**
|
|
102
100
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/cloneRange)
|
|
103
101
|
*/
|
|
104
102
|
@send
|
|
105
|
-
external cloneRange: range => range = "cloneRange"
|
|
103
|
+
external cloneRange: DomTypes.range => DomTypes.range = "cloneRange"
|
|
106
104
|
|
|
107
105
|
/**
|
|
108
106
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/detach)
|
|
109
107
|
*/
|
|
110
108
|
@send
|
|
111
|
-
external detach: range => unit = "detach"
|
|
109
|
+
external detach: DomTypes.range => unit = "detach"
|
|
112
110
|
|
|
113
111
|
/**
|
|
114
112
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/isPointInRange)
|
|
115
113
|
*/
|
|
116
114
|
@send
|
|
117
|
-
external isPointInRange: (range, ~node: node, ~offset: int) => bool =
|
|
115
|
+
external isPointInRange: (DomTypes.range, ~node: DomTypes.node, ~offset: int) => bool =
|
|
116
|
+
"isPointInRange"
|
|
118
117
|
|
|
119
118
|
/**
|
|
120
119
|
Returns −1 if the point is before the range, 0 if the point is in the range, and 1 if the point is after the range.
|
|
121
120
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/comparePoint)
|
|
122
121
|
*/
|
|
123
122
|
@send
|
|
124
|
-
external comparePoint: (range, ~node: node, ~offset: int) => int = "comparePoint"
|
|
123
|
+
external comparePoint: (DomTypes.range, ~node: DomTypes.node, ~offset: int) => int = "comparePoint"
|
|
125
124
|
|
|
126
125
|
/**
|
|
127
126
|
Returns whether range intersects node.
|
|
128
127
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/intersectsNode)
|
|
129
128
|
*/
|
|
130
129
|
@send
|
|
131
|
-
external intersectsNode: (range, node) => bool = "intersectsNode"
|
|
130
|
+
external intersectsNode: (DomTypes.range, DomTypes.node) => bool = "intersectsNode"
|
|
132
131
|
|
|
133
132
|
/**
|
|
134
133
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/getClientRects)
|
|
135
134
|
*/
|
|
136
135
|
@send
|
|
137
|
-
external getClientRects: range => domRectList = "getClientRects"
|
|
136
|
+
external getClientRects: DomTypes.range => DomTypes.domRectList = "getClientRects"
|
|
138
137
|
|
|
139
138
|
/**
|
|
140
139
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/getBoundingClientRect)
|
|
141
140
|
*/
|
|
142
141
|
@send
|
|
143
|
-
external getBoundingClientRect: range => domRect = "getBoundingClientRect"
|
|
142
|
+
external getBoundingClientRect: DomTypes.range => DomTypes.domRect = "getBoundingClientRect"
|
|
144
143
|
|
|
145
144
|
/**
|
|
146
145
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Range/createContextualFragment)
|
|
147
146
|
*/
|
|
148
147
|
@send
|
|
149
|
-
external createContextualFragment: (range, string) => documentFragment =
|
|
148
|
+
external createContextualFragment: (DomTypes.range, string) => DomTypes.documentFragment =
|
|
149
|
+
"createContextualFragment"
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
include Element.Impl({type t = DomTypes.svgGraphicsElement})
|
|
2
|
+
|
|
3
|
+
external asSVGElement: DomTypes.svgGraphicsElement => DomTypes.svgElement = "%identity"
|
|
4
|
+
|
|
5
|
+
/**
|
|
6
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/SVGGraphicsElement/getBBox)
|
|
7
|
+
*/
|
|
8
|
+
@send
|
|
9
|
+
external getBBox: (
|
|
10
|
+
DomTypes.svgGraphicsElement,
|
|
11
|
+
~options: DomTypes.svgBoundingBoxOptions=?,
|
|
12
|
+
) => DomTypes.domRect = "getBBox"
|
|
13
|
+
|
|
14
|
+
@send
|
|
15
|
+
external getCTM: DomTypes.svgGraphicsElement => DomTypes.domMatrix = "getCTM"
|
|
16
|
+
|
|
17
|
+
@send
|
|
18
|
+
external getScreenCTM: DomTypes.svgGraphicsElement => DomTypes.domMatrix = "getScreenCTM"
|
|
@@ -1,11 +1,9 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
@send
|
|
4
2
|
external newValueSpecifiedUnits: (
|
|
5
|
-
svgLength,
|
|
3
|
+
DomTypes.svgLength,
|
|
6
4
|
~unitType: int,
|
|
7
5
|
~valueInSpecifiedUnits: float,
|
|
8
6
|
) => unit = "newValueSpecifiedUnits"
|
|
9
7
|
|
|
10
8
|
@send
|
|
11
|
-
external convertToSpecifiedUnits: (svgLength, int) => unit = "convertToSpecifiedUnits"
|
|
9
|
+
external convertToSpecifiedUnits: (DomTypes.svgLength, int) => unit = "convertToSpecifiedUnits"
|