@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
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
type t = MediaCaptureAndStreamsTypes.mediaStreamTrack = private {
|
|
2
|
+
...MediaCaptureAndStreamsTypes.mediaStreamTrack,
|
|
3
|
+
}
|
|
4
|
+
type mediaTrackCapabilities = MediaCaptureAndStreamsTypes.mediaTrackCapabilities = {
|
|
5
|
+
...MediaCaptureAndStreamsTypes.mediaTrackCapabilities,
|
|
6
|
+
}
|
|
7
|
+
type mediaTrackConstraints = MediaCaptureAndStreamsTypes.mediaTrackConstraints = {
|
|
8
|
+
...MediaCaptureAndStreamsTypes.mediaTrackConstraints,
|
|
9
|
+
}
|
|
10
|
+
type mediaTrackSettings = MediaCaptureAndStreamsTypes.mediaTrackSettings = {
|
|
11
|
+
...MediaCaptureAndStreamsTypes.mediaTrackSettings,
|
|
12
|
+
}
|
|
13
|
+
|
|
14
|
+
include EventTarget.Impl({type t = t})
|
|
15
|
+
|
|
16
|
+
/**
|
|
17
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/clone)
|
|
18
|
+
*/
|
|
19
|
+
@send
|
|
20
|
+
external clone: t => t = "clone"
|
|
21
|
+
|
|
22
|
+
/**
|
|
23
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/stop)
|
|
24
|
+
*/
|
|
25
|
+
@send
|
|
26
|
+
external stop: t => unit = "stop"
|
|
27
|
+
|
|
28
|
+
/**
|
|
29
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/getCapabilities)
|
|
30
|
+
*/
|
|
31
|
+
@send
|
|
32
|
+
external getCapabilities: t => mediaTrackCapabilities = "getCapabilities"
|
|
33
|
+
|
|
34
|
+
/**
|
|
35
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/getConstraints)
|
|
36
|
+
*/
|
|
37
|
+
@send
|
|
38
|
+
external getConstraints: t => mediaTrackConstraints = "getConstraints"
|
|
39
|
+
|
|
40
|
+
/**
|
|
41
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/getSettings)
|
|
42
|
+
*/
|
|
43
|
+
@send
|
|
44
|
+
external getSettings: t => mediaTrackSettings = "getSettings"
|
|
45
|
+
|
|
46
|
+
/**
|
|
47
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/applyConstraints)
|
|
48
|
+
*/
|
|
49
|
+
@send
|
|
50
|
+
external applyConstraints: (t, ~constraints: mediaTrackConstraints=?) => promise<unit> =
|
|
51
|
+
"applyConstraints"
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
type t = MediaSessionTypes.mediaMetadata = private {...MediaSessionTypes.mediaMetadata}
|
|
2
|
+
type mediaMetadataInit = MediaSessionTypes.mediaMetadataInit = {
|
|
3
|
+
...MediaSessionTypes.mediaMetadataInit,
|
|
4
|
+
}
|
|
5
|
+
|
|
6
|
+
/**
|
|
7
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaMetadata)
|
|
8
|
+
*/
|
|
9
|
+
@new
|
|
10
|
+
external make: (~init: mediaMetadataInit=?) => t = "MediaMetadata"
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
type t = MediaSessionTypes.mediaSession = private {...MediaSessionTypes.mediaSession}
|
|
2
|
+
type mediaSessionAction = MediaSessionTypes.mediaSessionAction
|
|
3
|
+
type mediaPositionState = MediaSessionTypes.mediaPositionState = {
|
|
4
|
+
...MediaSessionTypes.mediaPositionState,
|
|
5
|
+
}
|
|
6
|
+
type mediaSessionActionHandler = MediaSessionTypes.mediaSessionActionHandler
|
|
7
|
+
|
|
8
|
+
/**
|
|
9
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession/setActionHandler)
|
|
10
|
+
*/
|
|
11
|
+
@send
|
|
12
|
+
external setActionHandler: (
|
|
13
|
+
t,
|
|
14
|
+
~action: mediaSessionAction,
|
|
15
|
+
~handler: mediaSessionActionHandler,
|
|
16
|
+
) => unit = "setActionHandler"
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession/setPositionState)
|
|
20
|
+
*/
|
|
21
|
+
@send
|
|
22
|
+
external setPositionState: (t, ~state: mediaPositionState=?) => unit = "setPositionState"
|
|
23
|
+
|
|
24
|
+
module MediaMetadata = MediaMetadata
|
|
25
|
+
module Types = MediaSessionTypes
|
|
@@ -24,6 +24,7 @@ type mediaImage = {
|
|
|
24
24
|
|
|
25
25
|
/**
|
|
26
26
|
[See MediaMetadata on MDN](https://developer.mozilla.org/docs/Web/API/MediaMetadata)
|
|
27
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
27
28
|
*/
|
|
28
29
|
@editor.completeFrom(MediaMetadata)
|
|
29
30
|
type mediaMetadata = {
|
|
@@ -46,9 +47,10 @@ type mediaMetadata = {
|
|
|
46
47
|
}
|
|
47
48
|
|
|
48
49
|
/**
|
|
49
|
-
[See
|
|
50
|
+
[See WebApiMediaSession on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession)
|
|
51
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
50
52
|
*/
|
|
51
|
-
@editor.completeFrom(
|
|
53
|
+
@editor.completeFrom(WebApiMediaSession)
|
|
52
54
|
type mediaSession = {
|
|
53
55
|
/**
|
|
54
56
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession/metadata)
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver)
|
|
3
|
+
*/
|
|
4
|
+
@new
|
|
5
|
+
external make: MutationObserverTypes.mutationObserverCallback => MutationObserverTypes.mutationObserver =
|
|
6
|
+
"MutationObserver"
|
|
7
|
+
|
|
8
|
+
/**
|
|
9
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver/observe)
|
|
10
|
+
*/
|
|
11
|
+
@send
|
|
12
|
+
external observe: (
|
|
13
|
+
MutationObserverTypes.mutationObserver,
|
|
14
|
+
~target: DomTypes.node,
|
|
15
|
+
~options: MutationObserverTypes.mutationObserverInit=?,
|
|
16
|
+
) => unit = "observe"
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver/disconnect)
|
|
20
|
+
*/
|
|
21
|
+
@send
|
|
22
|
+
external disconnect: MutationObserverTypes.mutationObserver => unit = "disconnect"
|
|
23
|
+
|
|
24
|
+
/**
|
|
25
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver/takeRecords)
|
|
26
|
+
*/
|
|
27
|
+
@send
|
|
28
|
+
external takeRecords: MutationObserverTypes.mutationObserver => array<DOM.mutationRecord> =
|
|
29
|
+
"takeRecords"
|
|
30
|
+
|
|
31
|
+
module Types = MutationObserverTypes
|
|
@@ -1,9 +1,7 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
|
-
[See
|
|
2
|
+
[See WebApiMutationObserver on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver)
|
|
5
3
|
*/
|
|
6
|
-
@editor.completeFrom(
|
|
4
|
+
@editor.completeFrom(WebApiMutationObserver)
|
|
7
5
|
type mutationObserver
|
|
8
6
|
|
|
9
7
|
type mutationObserverInit = {
|
|
@@ -16,4 +14,4 @@ type mutationObserverInit = {
|
|
|
16
14
|
mutable attributeFilter?: array<string>,
|
|
17
15
|
}
|
|
18
16
|
|
|
19
|
-
type mutationObserverCallback = (array<mutationRecord>, mutationObserver) => unit
|
|
17
|
+
type mutationObserverCallback = (array<DOM.mutationRecord>, mutationObserver) => unit
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
type t = NotificationTypes.notification = private {...NotificationTypes.notification}
|
|
2
|
+
type notificationDirection = NotificationTypes.notificationDirection
|
|
3
|
+
type notificationPermission = NotificationTypes.notificationPermission
|
|
4
|
+
type notificationAction = NotificationTypes.notificationAction = {
|
|
5
|
+
...NotificationTypes.notificationAction,
|
|
6
|
+
}
|
|
7
|
+
type notificationOptions = NotificationTypes.notificationOptions = {
|
|
8
|
+
...NotificationTypes.notificationOptions,
|
|
9
|
+
}
|
|
10
|
+
type getNotificationOptions = NotificationTypes.getNotificationOptions = {
|
|
11
|
+
...NotificationTypes.getNotificationOptions,
|
|
12
|
+
}
|
|
13
|
+
type notificationPermissionCallback = NotificationTypes.notificationPermissionCallback
|
|
14
|
+
type notificationEvent = NotificationTypes.notificationEvent = {
|
|
15
|
+
...NotificationTypes.notificationEvent,
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
/**
|
|
19
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
|
|
20
|
+
*/
|
|
21
|
+
@new
|
|
22
|
+
external make: (~title: string, ~options: notificationOptions=?) => t = "Notification"
|
|
23
|
+
|
|
24
|
+
include EventTarget.Impl({type t = t})
|
|
25
|
+
|
|
26
|
+
/**
|
|
27
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/requestPermission_static)
|
|
28
|
+
*/
|
|
29
|
+
@scope("Notification")
|
|
30
|
+
external requestPermission: (
|
|
31
|
+
~deprecatedCallback: notificationPermissionCallback=?,
|
|
32
|
+
) => promise<notificationPermission> = "requestPermission"
|
|
33
|
+
|
|
34
|
+
/**
|
|
35
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/close)
|
|
36
|
+
*/
|
|
37
|
+
@send
|
|
38
|
+
external close: t => unit = "close"
|
|
39
|
+
|
|
40
|
+
/**
|
|
41
|
+
[Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/Notification/permission_static)
|
|
42
|
+
*/
|
|
43
|
+
@scope("Notification") @val
|
|
44
|
+
external permission: notificationPermission = "permission"
|
|
45
|
+
|
|
46
|
+
module Types = NotificationTypes
|
|
@@ -1,7 +1,5 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
|
|
3
|
-
open EventAPI
|
|
4
|
-
|
|
5
3
|
type notificationDirection =
|
|
6
4
|
| @as("auto") Auto
|
|
7
5
|
| @as("ltr") Ltr
|
|
@@ -14,11 +12,11 @@ type notificationPermission =
|
|
|
14
12
|
|
|
15
13
|
/**
|
|
16
14
|
This Notifications API interface is used to configure and display desktop notifications to the user.
|
|
17
|
-
[See
|
|
15
|
+
[See WebApiNotification on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
|
|
18
16
|
*/
|
|
19
|
-
@editor.completeFrom(
|
|
20
|
-
type notification = {
|
|
21
|
-
...eventTarget,
|
|
17
|
+
@editor.completeFrom(WebApiNotification)
|
|
18
|
+
type notification = private {
|
|
19
|
+
...EventTypes.eventTarget,
|
|
22
20
|
/**
|
|
23
21
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/permission_static)
|
|
24
22
|
*/
|
|
@@ -97,7 +95,7 @@ type getNotificationOptions = {mutable tag?: string}
|
|
|
97
95
|
type notificationPermissionCallback = notificationPermission => unit
|
|
98
96
|
|
|
99
97
|
type notificationEvent = {
|
|
100
|
-
...extendableEvent,
|
|
98
|
+
...EventTypes.extendableEvent,
|
|
101
99
|
/**
|
|
102
100
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/NotificationEvent/action)
|
|
103
101
|
*/
|
|
@@ -0,0 +1,101 @@
|
|
|
1
|
+
include EventTarget.Impl({type t = PerformanceTypes.performance})
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/now)
|
|
5
|
+
*/
|
|
6
|
+
@send
|
|
7
|
+
external now: PerformanceTypes.performance => float = "now"
|
|
8
|
+
|
|
9
|
+
/**
|
|
10
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/toJSON)
|
|
11
|
+
*/
|
|
12
|
+
@send
|
|
13
|
+
external toJSON: PerformanceTypes.performance => Dict.t<string> = "toJSON"
|
|
14
|
+
|
|
15
|
+
/**
|
|
16
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntries)
|
|
17
|
+
*/
|
|
18
|
+
@send
|
|
19
|
+
external getEntries: PerformanceTypes.performance => PerformanceTypes.performanceEntryList =
|
|
20
|
+
"getEntries"
|
|
21
|
+
|
|
22
|
+
/**
|
|
23
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntriesByType)
|
|
24
|
+
*/
|
|
25
|
+
@send
|
|
26
|
+
external getEntriesByType: (
|
|
27
|
+
PerformanceTypes.performance,
|
|
28
|
+
string,
|
|
29
|
+
) => PerformanceTypes.performanceEntryList = "getEntriesByType"
|
|
30
|
+
|
|
31
|
+
/**
|
|
32
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntriesByName)
|
|
33
|
+
*/
|
|
34
|
+
@send
|
|
35
|
+
external getEntriesByName: (
|
|
36
|
+
PerformanceTypes.performance,
|
|
37
|
+
~name: string,
|
|
38
|
+
~type_: string=?,
|
|
39
|
+
) => PerformanceTypes.performanceEntryList = "getEntriesByName"
|
|
40
|
+
|
|
41
|
+
/**
|
|
42
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearResourceTimings)
|
|
43
|
+
*/
|
|
44
|
+
@send
|
|
45
|
+
external clearResourceTimings: PerformanceTypes.performance => unit = "clearResourceTimings"
|
|
46
|
+
|
|
47
|
+
/**
|
|
48
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/setResourceTimingBufferSize)
|
|
49
|
+
*/
|
|
50
|
+
@send
|
|
51
|
+
external setResourceTimingBufferSize: (PerformanceTypes.performance, int) => unit =
|
|
52
|
+
"setResourceTimingBufferSize"
|
|
53
|
+
|
|
54
|
+
/**
|
|
55
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/mark)
|
|
56
|
+
*/
|
|
57
|
+
@send
|
|
58
|
+
external mark: (
|
|
59
|
+
PerformanceTypes.performance,
|
|
60
|
+
~markName: string,
|
|
61
|
+
~markOptions: PerformanceTypes.performanceMarkOptions=?,
|
|
62
|
+
) => PerformanceTypes.performanceMark = "mark"
|
|
63
|
+
|
|
64
|
+
/**
|
|
65
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearMarks)
|
|
66
|
+
*/
|
|
67
|
+
@send
|
|
68
|
+
external clearMarks: (PerformanceTypes.performance, ~markName: string=?) => unit = "clearMarks"
|
|
69
|
+
|
|
70
|
+
/**
|
|
71
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/measure)
|
|
72
|
+
*/
|
|
73
|
+
@send
|
|
74
|
+
external measure: (
|
|
75
|
+
PerformanceTypes.performance,
|
|
76
|
+
~measureName: string,
|
|
77
|
+
~startOrMeasureOptions: string=?,
|
|
78
|
+
~endMark: string=?,
|
|
79
|
+
) => PerformanceTypes.performanceMeasure = "measure"
|
|
80
|
+
|
|
81
|
+
/**
|
|
82
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/measure)
|
|
83
|
+
*/
|
|
84
|
+
@send
|
|
85
|
+
external measure2: (
|
|
86
|
+
PerformanceTypes.performance,
|
|
87
|
+
~measureName: string,
|
|
88
|
+
~startOrMeasureOptions: PerformanceTypes.performanceMeasureOptions=?,
|
|
89
|
+
~endMark: string=?,
|
|
90
|
+
) => PerformanceTypes.performanceMeasure = "measure"
|
|
91
|
+
|
|
92
|
+
/**
|
|
93
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearMeasures)
|
|
94
|
+
*/
|
|
95
|
+
@send
|
|
96
|
+
external clearMeasures: (PerformanceTypes.performance, ~measureName: string=?) => unit =
|
|
97
|
+
"clearMeasures"
|
|
98
|
+
|
|
99
|
+
module PerformanceEntry = PerformanceEntry
|
|
100
|
+
module PerformanceMark = PerformanceMark
|
|
101
|
+
module Types = PerformanceTypes
|
|
@@ -1,7 +1,5 @@
|
|
|
1
|
-
open PerformanceAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/toJSON)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external toJSON: performanceEntry => Dict.t<string> = "toJSON"
|
|
5
|
+
external toJSON: PerformanceTypes.performanceEntry => Dict.t<string> = "toJSON"
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMark)
|
|
3
|
+
*/
|
|
4
|
+
@new
|
|
5
|
+
external make: (
|
|
6
|
+
~markName: string,
|
|
7
|
+
~markOptions: PerformanceTypes.performanceMarkOptions=?,
|
|
8
|
+
) => PerformanceTypes.performanceMark = "PerformanceMark"
|
|
9
|
+
|
|
10
|
+
external asPerformanceEntry: PerformanceTypes.performanceMark => PerformanceTypes.performanceEntry =
|
|
11
|
+
"%identity"
|
|
12
|
+
/**
|
|
13
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/toJSON)
|
|
14
|
+
*/
|
|
15
|
+
@send
|
|
16
|
+
external toJSON: PerformanceTypes.performanceMark => Dict.t<string> = "toJSON"
|
|
@@ -1,20 +1,17 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
|
|
3
|
-
open Prelude
|
|
4
|
-
open EventAPI
|
|
5
|
-
|
|
6
3
|
/**
|
|
7
4
|
[See EventCounts on MDN](https://developer.mozilla.org/docs/Web/API/EventCounts)
|
|
8
5
|
*/
|
|
9
6
|
type eventCounts = {}
|
|
10
7
|
|
|
11
8
|
/**
|
|
12
|
-
Provides access to performance-related information for the current page. It's part of the High Resolution Time API, but is enhanced by the
|
|
13
|
-
[See
|
|
9
|
+
Provides access to performance-related information for the current page. It's part of the High Resolution Time API, but is enhanced by the WebApiPerformance Timeline API, the Navigation Timing API, the User Timing API, and the Resource Timing API.
|
|
10
|
+
[See WebApiPerformance on MDN](https://developer.mozilla.org/docs/Web/API/Performance)
|
|
14
11
|
*/
|
|
15
|
-
@editor.completeFrom(
|
|
16
|
-
type performance = {
|
|
17
|
-
...eventTarget,
|
|
12
|
+
@editor.completeFrom(WebApiPerformance)
|
|
13
|
+
type performance = private {
|
|
14
|
+
...EventTypes.eventTarget,
|
|
18
15
|
/**
|
|
19
16
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/timeOrigin)
|
|
20
17
|
*/
|
|
@@ -26,11 +23,11 @@ type performance = {
|
|
|
26
23
|
}
|
|
27
24
|
|
|
28
25
|
/**
|
|
29
|
-
Encapsulates a single performance metric that is part of the performance timeline. A performance entry can be directly created by making a performance mark or measure (for example by calling the mark() method) at an explicit point in an application.
|
|
26
|
+
Encapsulates a single performance metric that is part of the performance timeline. A performance entry can be directly created by making a performance mark or measure (for example by calling the mark() method) at an explicit point in an application. WebApiPerformance entries are also created in indirect ways such as loading a resource (such as an image).
|
|
30
27
|
[See PerformanceEntry on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry)
|
|
31
28
|
*/
|
|
32
29
|
@editor.completeFrom(PerformanceEntry)
|
|
33
|
-
type performanceEntry = {
|
|
30
|
+
type performanceEntry = private {
|
|
34
31
|
/**
|
|
35
32
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/name)
|
|
36
33
|
*/
|
|
@@ -54,7 +51,7 @@ PerformanceMark is an abstract interface for PerformanceEntry objects with an e
|
|
|
54
51
|
[See PerformanceMark on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMark)
|
|
55
52
|
*/
|
|
56
53
|
@editor.completeFrom(PerformanceMark)
|
|
57
|
-
type performanceMark = {
|
|
54
|
+
type performanceMark = private {
|
|
58
55
|
...performanceEntry,
|
|
59
56
|
/**
|
|
60
57
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMark/detail)
|
|
@@ -74,7 +71,7 @@ type performanceMeasure = {
|
|
|
74
71
|
detail: JSON.t,
|
|
75
72
|
}
|
|
76
73
|
|
|
77
|
-
type performanceEntryList =
|
|
74
|
+
type performanceEntryList = unknown
|
|
78
75
|
|
|
79
76
|
type performanceMarkOptions = {
|
|
80
77
|
mutable detail?: JSON.t,
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Permissions/query)
|
|
3
|
+
*/
|
|
4
|
+
@send
|
|
5
|
+
external query: (
|
|
6
|
+
PermissionsTypes.permissions,
|
|
7
|
+
PermissionsTypes.permissionDescriptor,
|
|
8
|
+
) => promise<PermissionsTypes.permissionStatus> = "query"
|
|
9
|
+
|
|
10
|
+
module Types = PermissionsTypes
|
|
@@ -1,7 +1,5 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
|
|
3
|
-
open EventAPI
|
|
4
|
-
|
|
5
3
|
type permissionName =
|
|
6
4
|
| @as("geolocation") Geolocation
|
|
7
5
|
| @as("midi") Midi
|
|
@@ -17,16 +15,16 @@ type permissionState =
|
|
|
17
15
|
| @as("prompt") Prompt
|
|
18
16
|
|
|
19
17
|
/**
|
|
20
|
-
[See
|
|
18
|
+
[See WebApiPermissions on MDN](https://developer.mozilla.org/docs/Web/API/Permissions)
|
|
21
19
|
*/
|
|
22
|
-
@editor.completeFrom(
|
|
23
|
-
type permissions = {}
|
|
20
|
+
@editor.completeFrom(WebApiPermissions)
|
|
21
|
+
type permissions = private {}
|
|
24
22
|
|
|
25
23
|
/**
|
|
26
24
|
[See PermissionStatus on MDN](https://developer.mozilla.org/docs/Web/API/PermissionStatus)
|
|
27
25
|
*/
|
|
28
26
|
type permissionStatus = {
|
|
29
|
-
...eventTarget,
|
|
27
|
+
...EventTypes.eventTarget,
|
|
30
28
|
/**
|
|
31
29
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PermissionStatus/state)
|
|
32
30
|
*/
|
|
@@ -1,12 +1,10 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
|
|
3
|
-
open EventAPI
|
|
4
|
-
|
|
5
3
|
/**
|
|
6
4
|
[See PictureInPictureWindow on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow)
|
|
7
5
|
*/
|
|
8
6
|
type pictureInPictureWindow = {
|
|
9
|
-
...eventTarget,
|
|
7
|
+
...EventTypes.eventTarget,
|
|
10
8
|
/**
|
|
11
9
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow/width)
|
|
12
10
|
*/
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/subscribe)
|
|
3
|
+
*/
|
|
4
|
+
@send
|
|
5
|
+
external subscribe: (
|
|
6
|
+
PushTypes.pushManager,
|
|
7
|
+
~options: PushTypes.pushSubscriptionOptionsInit=?,
|
|
8
|
+
) => promise<PushTypes.pushSubscription> = "subscribe"
|
|
9
|
+
|
|
10
|
+
/**
|
|
11
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/getSubscription)
|
|
12
|
+
*/
|
|
13
|
+
@send
|
|
14
|
+
external getSubscription: PushTypes.pushManager => promise<PushTypes.pushSubscription> =
|
|
15
|
+
"getSubscription"
|
|
16
|
+
|
|
17
|
+
/**
|
|
18
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/permissionState)
|
|
19
|
+
*/
|
|
20
|
+
@send
|
|
21
|
+
external permissionState: (
|
|
22
|
+
PushTypes.pushManager,
|
|
23
|
+
~options: PushTypes.pushSubscriptionOptionsInit=?,
|
|
24
|
+
) => promise<PushTypes.permissionState> = "permissionState"
|
|
@@ -1,15 +1,15 @@
|
|
|
1
|
-
|
|
1
|
+
type t = PushTypes.pushMessageData
|
|
2
2
|
|
|
3
3
|
/**
|
|
4
4
|
The json() method of the PushMessageData interface extracts push message data by parsing it as a JSON string and returning the result.
|
|
5
5
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushMessageData/json)
|
|
6
6
|
*/
|
|
7
7
|
@send
|
|
8
|
-
external json:
|
|
8
|
+
external json: t => JSON.t = "json"
|
|
9
9
|
|
|
10
10
|
/**
|
|
11
11
|
The text() method of the PushMessageData interface extracts push message data as a plain text string.
|
|
12
12
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushMessageData/text)
|
|
13
13
|
*/
|
|
14
14
|
@send
|
|
15
|
-
external text:
|
|
15
|
+
external text: t => string = "text"
|
|
@@ -1,19 +1,18 @@
|
|
|
1
|
-
open PushAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/getKey)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external getKey: (pushSubscription, pushEncryptionKeyName) => ArrayBuffer.t =
|
|
5
|
+
external getKey: (PushTypes.pushSubscription, PushTypes.pushEncryptionKeyName) => ArrayBuffer.t =
|
|
6
|
+
"getKey"
|
|
8
7
|
|
|
9
8
|
/**
|
|
10
9
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/unsubscribe)
|
|
11
10
|
*/
|
|
12
11
|
@send
|
|
13
|
-
external unsubscribe: pushSubscription => promise<bool> = "unsubscribe"
|
|
12
|
+
external unsubscribe: PushTypes.pushSubscription => promise<bool> = "unsubscribe"
|
|
14
13
|
|
|
15
14
|
/**
|
|
16
15
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/toJSON)
|
|
17
16
|
*/
|
|
18
17
|
@send
|
|
19
|
-
external toJSON: pushSubscription => pushSubscriptionJSON = "toJSON"
|
|
18
|
+
external toJSON: PushTypes.pushSubscription => PushTypes.pushSubscriptionJSON = "toJSON"
|
|
@@ -1,7 +1,5 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
|
|
3
|
-
open EventAPI
|
|
4
|
-
|
|
5
3
|
type permissionState =
|
|
6
4
|
| @as("denied") Denied
|
|
7
5
|
| @as("granted") Granted
|
|
@@ -12,11 +10,11 @@ type pushEncryptionKeyName =
|
|
|
12
10
|
| @as("p256dh") P256dh
|
|
13
11
|
|
|
14
12
|
/**
|
|
15
|
-
This
|
|
13
|
+
This WebApiPush API interface provides a way to receive notifications from third-party servers as well as request URLs for push notifications.
|
|
16
14
|
[See PushManager on MDN](https://developer.mozilla.org/docs/Web/API/PushManager)
|
|
17
15
|
*/
|
|
18
16
|
@editor.completeFrom(PushManager)
|
|
19
|
-
type pushManager = {
|
|
17
|
+
type pushManager = private {
|
|
20
18
|
/**
|
|
21
19
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/supportedContentEncodings_static)
|
|
22
20
|
*/
|
|
@@ -40,11 +38,11 @@ type pushSubscriptionOptions = {
|
|
|
40
38
|
}
|
|
41
39
|
|
|
42
40
|
/**
|
|
43
|
-
This
|
|
41
|
+
This WebApiPush API interface provides a subcription's WebApiURL endpoint and allows unsubscription from a push service.
|
|
44
42
|
[See PushSubscription on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription)
|
|
45
43
|
*/
|
|
46
44
|
@editor.completeFrom(PushSubscription)
|
|
47
|
-
type pushSubscription = {
|
|
45
|
+
type pushSubscription = private {
|
|
48
46
|
/**
|
|
49
47
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/endpoint)
|
|
50
48
|
*/
|
|
@@ -81,8 +79,8 @@ type pushSubscriptionJSON = {
|
|
|
81
79
|
type pushMessageData
|
|
82
80
|
|
|
83
81
|
@editor.completeFrom(PushEvent)
|
|
84
|
-
type pushEvent = {
|
|
85
|
-
...extendableEvent,
|
|
82
|
+
type pushEvent = private {
|
|
83
|
+
...EventTypes.extendableEvent,
|
|
86
84
|
/**
|
|
87
85
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushEvent/data)
|
|
88
86
|
*/
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
type t = RemotePlaybackTypes.remotePlayback = private {...RemotePlaybackTypes.remotePlayback}
|
|
2
|
+
type remotePlaybackAvailabilityCallback = RemotePlaybackTypes.remotePlaybackAvailabilityCallback
|
|
3
|
+
|
|
4
|
+
include EventTarget.Impl({type t = t})
|
|
5
|
+
|
|
6
|
+
/**
|
|
7
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/RemotePlayback/watchAvailability)
|
|
8
|
+
*/
|
|
9
|
+
@send
|
|
10
|
+
external watchAvailability: (t, remotePlaybackAvailabilityCallback) => promise<int> =
|
|
11
|
+
"watchAvailability"
|
|
12
|
+
|
|
13
|
+
/**
|
|
14
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/RemotePlayback/cancelWatchAvailability)
|
|
15
|
+
*/
|
|
16
|
+
@send
|
|
17
|
+
external cancelWatchAvailability: (t, ~id: int=?) => promise<unit> = "cancelWatchAvailability"
|
|
18
|
+
|
|
19
|
+
/**
|
|
20
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/RemotePlayback/prompt)
|
|
21
|
+
*/
|
|
22
|
+
@send
|
|
23
|
+
external prompt: t => promise<unit> = "prompt"
|
|
24
|
+
|
|
25
|
+
module Types = RemotePlaybackTypes
|