@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,7 +1,3 @@
|
|
|
1
|
-
@@warning("-30")
|
|
2
|
-
|
|
3
|
-
open EventAPI
|
|
4
|
-
|
|
5
1
|
type mediaKeysRequirement =
|
|
6
2
|
| @as("not-allowed") NotAllowed
|
|
7
3
|
| @as("optional") Optional
|
|
@@ -29,11 +25,11 @@ type mediaKeyStatus =
|
|
|
29
25
|
| @as("usable-in-future") UsableInFuture
|
|
30
26
|
|
|
31
27
|
/**
|
|
32
|
-
This
|
|
28
|
+
This WebApiEncryptedMediaExtensions API interface provides access to a Key System for decryption and/or a content protection provider. You can request an instance of this object using the Navigator.requestMediaKeySystemAccess method.
|
|
33
29
|
[See MediaKeySystemAccess on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeySystemAccess)
|
|
34
30
|
*/
|
|
35
31
|
@editor.completeFrom(MediaKeySystemAccess)
|
|
36
|
-
type mediaKeySystemAccess = {
|
|
32
|
+
type mediaKeySystemAccess = private {
|
|
37
33
|
/**
|
|
38
34
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeySystemAccess/keySystem)
|
|
39
35
|
*/
|
|
@@ -41,18 +37,18 @@ type mediaKeySystemAccess = {
|
|
|
41
37
|
}
|
|
42
38
|
|
|
43
39
|
/**
|
|
44
|
-
This
|
|
40
|
+
This WebApiEncryptedMediaExtensions API interface the represents a set of keys that an associated HTMLMediaElement can use for decryption of media data during playback.
|
|
45
41
|
[See MediaKeys on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeys)
|
|
46
42
|
*/
|
|
47
|
-
@editor.completeFrom(MediaKeys)
|
|
48
|
-
type mediaKeys = {}
|
|
43
|
+
@editor.completeFrom(BaseEncryptedMediaExtensions.MediaKeys)
|
|
44
|
+
type mediaKeys = private {}
|
|
49
45
|
|
|
50
46
|
/**
|
|
51
|
-
This
|
|
47
|
+
This WebApiEncryptedMediaExtensions API interface is a read-only map of media key statuses by key IDs.
|
|
52
48
|
[See MediaKeyStatusMap on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeyStatusMap)
|
|
53
49
|
*/
|
|
54
|
-
@editor.completeFrom(MediaKeyStatusMap)
|
|
55
|
-
type mediaKeyStatusMap = {
|
|
50
|
+
@editor.completeFrom(BaseEncryptedMediaExtensions.MediaKeyStatusMap)
|
|
51
|
+
type mediaKeyStatusMap = private {
|
|
56
52
|
/**
|
|
57
53
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeyStatusMap/size)
|
|
58
54
|
*/
|
|
@@ -60,12 +56,12 @@ type mediaKeyStatusMap = {
|
|
|
60
56
|
}
|
|
61
57
|
|
|
62
58
|
/**
|
|
63
|
-
This
|
|
59
|
+
This WebApiEncryptedMediaExtensions API interface represents a context for message exchange with a content decryption module (CDM).
|
|
64
60
|
[See MediaKeySession on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeySession)
|
|
65
61
|
*/
|
|
66
|
-
@editor.completeFrom(MediaKeySession)
|
|
67
|
-
type mediaKeySession = {
|
|
68
|
-
...eventTarget,
|
|
62
|
+
@editor.completeFrom(BaseEncryptedMediaExtensions.MediaKeySession)
|
|
63
|
+
type mediaKeySession = private {
|
|
64
|
+
...BaseEvent.eventTarget,
|
|
69
65
|
/**
|
|
70
66
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaKeySession/sessionId)
|
|
71
67
|
*/
|
|
@@ -99,5 +95,3 @@ type mediaKeySystemConfiguration = {
|
|
|
99
95
|
mutable persistentState?: mediaKeysRequirement,
|
|
100
96
|
mutable sessionTypes?: array<string>,
|
|
101
97
|
}
|
|
102
|
-
|
|
103
|
-
type mediaKeysPolicy = {mutable minHdcpVersion?: string}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
/**
|
|
2
|
+
EventTarget is a WebApiDOM interface implemented by objects that can receive events and may have listeners for them.
|
|
3
|
+
[See EventTarget on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget)
|
|
4
|
+
*/
|
|
5
|
+
@editor.completeFrom(BaseEvent.EventTarget)
|
|
6
|
+
type eventTarget = private {}
|
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
/**
|
|
2
|
+
A file-like object of immutable, raw data. Blobs represent data that isn't necessarily in a JavaScript-native format. The WebApiFile interface is based on Blob, inheriting blob functionality and expanding it to support files on the user's system.
|
|
3
|
+
[See Blob on MDN](https://developer.mozilla.org/docs/Web/API/Blob)
|
|
4
|
+
*/
|
|
5
|
+
@editor.completeFrom(BaseFile.Blob)
|
|
6
|
+
type blob = private {
|
|
7
|
+
/**
|
|
8
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Blob/size)
|
|
9
|
+
*/
|
|
10
|
+
size: int,
|
|
11
|
+
/**
|
|
12
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Blob/type)
|
|
13
|
+
*/
|
|
14
|
+
@as("type")
|
|
15
|
+
type_: string,
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
Provides information about files and allows JavaScript in a web page to access their content.
|
|
20
|
+
[See WebApiFile on MDN](https://developer.mozilla.org/docs/Web/API/File)
|
|
21
|
+
*/
|
|
22
|
+
@editor.completeFrom(BaseFile.File)
|
|
23
|
+
type file = private {
|
|
24
|
+
...blob,
|
|
25
|
+
/**
|
|
26
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/File/name)
|
|
27
|
+
*/
|
|
28
|
+
name: string,
|
|
29
|
+
/**
|
|
30
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/File/lastModified)
|
|
31
|
+
*/
|
|
32
|
+
lastModified: int,
|
|
33
|
+
/**
|
|
34
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/File/webkitRelativePath)
|
|
35
|
+
*/
|
|
36
|
+
webkitRelativePath: string,
|
|
37
|
+
}
|
|
@@ -1,12 +1,10 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
|
|
3
|
-
open Prelude
|
|
4
|
-
|
|
5
3
|
/**
|
|
6
4
|
[See FileSystemEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry)
|
|
7
5
|
*/
|
|
8
|
-
@editor.completeFrom(FileSystemEntry)
|
|
9
|
-
type rec fileSystemEntry = {
|
|
6
|
+
@editor.completeFrom(BaseFileAndDirectoryEntries.FileSystemEntry)
|
|
7
|
+
type rec fileSystemEntry = private {
|
|
10
8
|
/**
|
|
11
9
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/isFile)
|
|
12
10
|
*/
|
|
@@ -32,7 +30,9 @@ type rec fileSystemEntry = {
|
|
|
32
30
|
/**
|
|
33
31
|
[See FileSystemDirectoryEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry)
|
|
34
32
|
*/
|
|
35
|
-
@editor.completeFrom(
|
|
33
|
+
@editor.completeFrom(
|
|
34
|
+
BaseFileAndDirectoryEntries.FileSystemDirectoryEntry
|
|
35
|
+
) and fileSystemDirectoryEntry = private {
|
|
36
36
|
// Base properties from FileSystemEntry
|
|
37
37
|
/**
|
|
38
38
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/isFile)
|
|
@@ -70,20 +70,3 @@ and fileSystem = {
|
|
|
70
70
|
*/
|
|
71
71
|
root: fileSystemDirectoryEntry,
|
|
72
72
|
}
|
|
73
|
-
|
|
74
|
-
/**
|
|
75
|
-
[See FileSystemDirectoryReader on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryReader)
|
|
76
|
-
*/
|
|
77
|
-
@editor.completeFrom(FileSystemDirectoryReader)
|
|
78
|
-
type fileSystemDirectoryReader = {}
|
|
79
|
-
|
|
80
|
-
type fileSystemFlags = {
|
|
81
|
-
mutable create?: bool,
|
|
82
|
-
mutable exclusive?: bool,
|
|
83
|
-
}
|
|
84
|
-
|
|
85
|
-
type fileSystemEntryCallback = fileSystemEntry => unit
|
|
86
|
-
|
|
87
|
-
type errorCallback = domException => unit
|
|
88
|
-
|
|
89
|
-
type fileSystemEntriesCallback = array<fileSystemEntry> => unit
|