@rescript/webapi 0.1.0-experimental-2d6efc2 → 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,62 +0,0 @@
|
|
|
1
|
-
open FileAPI
|
|
2
|
-
|
|
3
|
-
external asWritableStream: fileSystemWritableFileStream => writableStream<'w> = "%identity"
|
|
4
|
-
/**
|
|
5
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/abort)
|
|
6
|
-
*/
|
|
7
|
-
@send
|
|
8
|
-
external abort: (fileSystemWritableFileStream, ~reason: JSON.t=?) => promise<unit> = "abort"
|
|
9
|
-
|
|
10
|
-
/**
|
|
11
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/close)
|
|
12
|
-
*/
|
|
13
|
-
@send
|
|
14
|
-
external close: fileSystemWritableFileStream => promise<unit> = "close"
|
|
15
|
-
|
|
16
|
-
/**
|
|
17
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/getWriter)
|
|
18
|
-
*/
|
|
19
|
-
@send
|
|
20
|
-
external getWriter: fileSystemWritableFileStream => writableStreamDefaultWriter<'w> = "getWriter"
|
|
21
|
-
|
|
22
|
-
/**
|
|
23
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream/write)
|
|
24
|
-
*/
|
|
25
|
-
@send
|
|
26
|
-
external write: (fileSystemWritableFileStream, DataView.t) => promise<unit> = "write"
|
|
27
|
-
|
|
28
|
-
/**
|
|
29
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream/write)
|
|
30
|
-
*/
|
|
31
|
-
@send
|
|
32
|
-
external write2: (fileSystemWritableFileStream, ArrayBuffer.t) => promise<unit> = "write"
|
|
33
|
-
|
|
34
|
-
/**
|
|
35
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream/write)
|
|
36
|
-
*/
|
|
37
|
-
@send
|
|
38
|
-
external write3: (fileSystemWritableFileStream, blob) => promise<unit> = "write"
|
|
39
|
-
|
|
40
|
-
/**
|
|
41
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream/write)
|
|
42
|
-
*/
|
|
43
|
-
@send
|
|
44
|
-
external write4: (fileSystemWritableFileStream, string) => promise<unit> = "write"
|
|
45
|
-
|
|
46
|
-
/**
|
|
47
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream/write)
|
|
48
|
-
*/
|
|
49
|
-
@send
|
|
50
|
-
external write5: (fileSystemWritableFileStream, writeParams) => promise<unit> = "write"
|
|
51
|
-
|
|
52
|
-
/**
|
|
53
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream/seek)
|
|
54
|
-
*/
|
|
55
|
-
@send
|
|
56
|
-
external seek: (fileSystemWritableFileStream, int) => promise<unit> = "seek"
|
|
57
|
-
|
|
58
|
-
/**
|
|
59
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemWritableFileStream/truncate)
|
|
60
|
-
*/
|
|
61
|
-
@send
|
|
62
|
-
external truncate: (fileSystemWritableFileStream, int) => promise<unit> = "truncate"
|
|
@@ -1,60 +0,0 @@
|
|
|
1
|
-
open FileAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream)
|
|
5
|
-
*/
|
|
6
|
-
@new
|
|
7
|
-
external make: unit => readableStream<array<int>> = "ReadableStream"
|
|
8
|
-
|
|
9
|
-
/**
|
|
10
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream)
|
|
11
|
-
*/
|
|
12
|
-
@new
|
|
13
|
-
external make2: unit => unknown = "ReadableStream"
|
|
14
|
-
|
|
15
|
-
/**
|
|
16
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream)
|
|
17
|
-
*/
|
|
18
|
-
@new
|
|
19
|
-
external make3: unit => unknown = "ReadableStream"
|
|
20
|
-
|
|
21
|
-
/**
|
|
22
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/cancel)
|
|
23
|
-
*/
|
|
24
|
-
@send
|
|
25
|
-
external cancel: (readableStream<'r>, ~reason: JSON.t=?) => promise<unit> = "cancel"
|
|
26
|
-
|
|
27
|
-
/**
|
|
28
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/getReader)
|
|
29
|
-
*/
|
|
30
|
-
@send
|
|
31
|
-
external getReader: (
|
|
32
|
-
readableStream<'r>,
|
|
33
|
-
~options: readableStreamGetReaderOptions=?,
|
|
34
|
-
) => readableStreamReader<'r> = "getReader"
|
|
35
|
-
|
|
36
|
-
/**
|
|
37
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/pipeThrough)
|
|
38
|
-
*/
|
|
39
|
-
@send
|
|
40
|
-
external pipeThrough: (
|
|
41
|
-
readableStream<'r>,
|
|
42
|
-
~transform: readableWritablePair<'t, 'r>,
|
|
43
|
-
~options: streamPipeOptions=?,
|
|
44
|
-
) => readableStream<'t> = "pipeThrough"
|
|
45
|
-
|
|
46
|
-
/**
|
|
47
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/pipeTo)
|
|
48
|
-
*/
|
|
49
|
-
@send
|
|
50
|
-
external pipeTo: (
|
|
51
|
-
readableStream<'r>,
|
|
52
|
-
~destination: writableStream<'r>,
|
|
53
|
-
~options: streamPipeOptions=?,
|
|
54
|
-
) => promise<unit> = "pipeTo"
|
|
55
|
-
|
|
56
|
-
/**
|
|
57
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/tee)
|
|
58
|
-
*/
|
|
59
|
-
@send
|
|
60
|
-
external tee: readableStream<'r> => array<readableStream<unit>> = "tee"
|
|
@@ -1,28 +0,0 @@
|
|
|
1
|
-
open FileAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream)
|
|
5
|
-
*/
|
|
6
|
-
@new
|
|
7
|
-
external make: (
|
|
8
|
-
~underlyingSink: underlyingSink<'w>=?,
|
|
9
|
-
~strategy: queuingStrategy<'w>=?,
|
|
10
|
-
) => writableStream<'w> = "WritableStream"
|
|
11
|
-
|
|
12
|
-
/**
|
|
13
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/abort)
|
|
14
|
-
*/
|
|
15
|
-
@send
|
|
16
|
-
external abort: (writableStream<'w>, ~reason: JSON.t=?) => promise<unit> = "abort"
|
|
17
|
-
|
|
18
|
-
/**
|
|
19
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/close)
|
|
20
|
-
*/
|
|
21
|
-
@send
|
|
22
|
-
external close: writableStream<'w> => promise<unit> = "close"
|
|
23
|
-
|
|
24
|
-
/**
|
|
25
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/getWriter)
|
|
26
|
-
*/
|
|
27
|
-
@send
|
|
28
|
-
external getWriter: writableStream<'w> => writableStreamDefaultWriter<'w> = "getWriter"
|
|
@@ -1,42 +0,0 @@
|
|
|
1
|
-
open FileAndDirectoryEntriesAPI
|
|
2
|
-
|
|
3
|
-
external asFileSystemEntry: fileSystemDirectoryEntry => fileSystemEntry = "%identity"
|
|
4
|
-
/**
|
|
5
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/getParent)
|
|
6
|
-
*/
|
|
7
|
-
@send
|
|
8
|
-
external getParent: (
|
|
9
|
-
fileSystemDirectoryEntry,
|
|
10
|
-
~successCallback: fileSystemEntryCallback=?,
|
|
11
|
-
~errorCallback: errorCallback=?,
|
|
12
|
-
) => unit = "getParent"
|
|
13
|
-
|
|
14
|
-
/**
|
|
15
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/createReader)
|
|
16
|
-
*/
|
|
17
|
-
@send
|
|
18
|
-
external createReader: fileSystemDirectoryEntry => fileSystemDirectoryReader = "createReader"
|
|
19
|
-
|
|
20
|
-
/**
|
|
21
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/getFile)
|
|
22
|
-
*/
|
|
23
|
-
@send
|
|
24
|
-
external getFile: (
|
|
25
|
-
fileSystemDirectoryEntry,
|
|
26
|
-
~path: string=?,
|
|
27
|
-
~options: fileSystemFlags=?,
|
|
28
|
-
~successCallback: fileSystemEntryCallback=?,
|
|
29
|
-
~errorCallback: errorCallback=?,
|
|
30
|
-
) => unit = "getFile"
|
|
31
|
-
|
|
32
|
-
/**
|
|
33
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/getDirectory)
|
|
34
|
-
*/
|
|
35
|
-
@send
|
|
36
|
-
external getDirectory: (
|
|
37
|
-
fileSystemDirectoryEntry,
|
|
38
|
-
~path: string=?,
|
|
39
|
-
~options: fileSystemFlags=?,
|
|
40
|
-
~successCallback: fileSystemEntryCallback=?,
|
|
41
|
-
~errorCallback: errorCallback=?,
|
|
42
|
-
) => unit = "getDirectory"
|
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
open FileAndDirectoryEntriesAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryReader/readEntries)
|
|
5
|
-
*/
|
|
6
|
-
@send
|
|
7
|
-
external readEntries: (
|
|
8
|
-
fileSystemDirectoryReader,
|
|
9
|
-
~successCallback: fileSystemEntriesCallback,
|
|
10
|
-
~errorCallback: errorCallback=?,
|
|
11
|
-
) => unit = "readEntries"
|
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
open FileAndDirectoryEntriesAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/getParent)
|
|
5
|
-
*/
|
|
6
|
-
@send
|
|
7
|
-
external getParent: (
|
|
8
|
-
fileSystemEntry,
|
|
9
|
-
~successCallback: fileSystemEntryCallback=?,
|
|
10
|
-
~errorCallback: errorCallback=?,
|
|
11
|
-
) => unit = "getParent"
|
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
open GamepadAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator/playEffect)
|
|
5
|
-
*/
|
|
6
|
-
@send
|
|
7
|
-
external playEffect: (
|
|
8
|
-
gamepadHapticActuator,
|
|
9
|
-
~type_: gamepadHapticEffectType,
|
|
10
|
-
~params: gamepadEffectParameters=?,
|
|
11
|
-
) => promise<gamepadHapticsResult> = "playEffect"
|
|
12
|
-
|
|
13
|
-
/**
|
|
14
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator/reset)
|
|
15
|
-
*/
|
|
16
|
-
@send
|
|
17
|
-
external reset: gamepadHapticActuator => promise<gamepadHapticsResult> = "reset"
|
|
@@ -1,29 +0,0 @@
|
|
|
1
|
-
open GeolocationAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/getCurrentPosition)
|
|
5
|
-
*/
|
|
6
|
-
@send
|
|
7
|
-
external getCurrentPosition: (
|
|
8
|
-
geolocation,
|
|
9
|
-
~successCallback: positionCallback,
|
|
10
|
-
~errorCallback: positionErrorCallback=?,
|
|
11
|
-
~options: positionOptions=?,
|
|
12
|
-
) => unit = "getCurrentPosition"
|
|
13
|
-
|
|
14
|
-
/**
|
|
15
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/watchPosition)
|
|
16
|
-
*/
|
|
17
|
-
@send
|
|
18
|
-
external watchPosition: (
|
|
19
|
-
geolocation,
|
|
20
|
-
~successCallback: positionCallback,
|
|
21
|
-
~errorCallback: positionErrorCallback=?,
|
|
22
|
-
~options: positionOptions=?,
|
|
23
|
-
) => int = "watchPosition"
|
|
24
|
-
|
|
25
|
-
/**
|
|
26
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/clearWatch)
|
|
27
|
-
*/
|
|
28
|
-
@send
|
|
29
|
-
external clearWatch: (geolocation, int) => unit = "clearWatch"
|
|
@@ -1,35 +0,0 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
open IntersectionObserverAPI
|
|
3
|
-
|
|
4
|
-
/**
|
|
5
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver)
|
|
6
|
-
*/
|
|
7
|
-
@new
|
|
8
|
-
external make: (
|
|
9
|
-
~callback: intersectionObserverCallback,
|
|
10
|
-
~options: intersectionObserverInit=?,
|
|
11
|
-
) => intersectionObserver = "IntersectionObserver"
|
|
12
|
-
|
|
13
|
-
/**
|
|
14
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/observe)
|
|
15
|
-
*/
|
|
16
|
-
@send
|
|
17
|
-
external observe: (intersectionObserver, element) => unit = "observe"
|
|
18
|
-
|
|
19
|
-
/**
|
|
20
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/unobserve)
|
|
21
|
-
*/
|
|
22
|
-
@send
|
|
23
|
-
external unobserve: (intersectionObserver, element) => unit = "unobserve"
|
|
24
|
-
|
|
25
|
-
/**
|
|
26
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/disconnect)
|
|
27
|
-
*/
|
|
28
|
-
@send
|
|
29
|
-
external disconnect: intersectionObserver => unit = "disconnect"
|
|
30
|
-
|
|
31
|
-
/**
|
|
32
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IntersectionObserver/takeRecords)
|
|
33
|
-
*/
|
|
34
|
-
@send
|
|
35
|
-
external takeRecords: intersectionObserver => array<intersectionObserverEntry> = "takeRecords"
|
|
@@ -1,22 +0,0 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
open IntersectionObserverAPI
|
|
3
|
-
|
|
4
|
-
external fromDocument: document => root = "%identity"
|
|
5
|
-
external fromElement: element => root = "%identity"
|
|
6
|
-
external fromNull: root = "null"
|
|
7
|
-
|
|
8
|
-
type decoded =
|
|
9
|
-
| Element(element)
|
|
10
|
-
| Document(document)
|
|
11
|
-
| Null
|
|
12
|
-
|
|
13
|
-
let decode = (t: root): decoded => {
|
|
14
|
-
open Prelude
|
|
15
|
-
if Element.isInstanceOf(t) {
|
|
16
|
-
Element(t->unsafeConversation)
|
|
17
|
-
} else if Document.isInstanceOf(t) {
|
|
18
|
-
Document(t->unsafeConversation)
|
|
19
|
-
} else {
|
|
20
|
-
Null
|
|
21
|
-
}
|
|
22
|
-
}
|
|
@@ -1,19 +0,0 @@
|
|
|
1
|
-
open MediaCapabilitiesAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaCapabilities/decodingInfo)
|
|
5
|
-
*/
|
|
6
|
-
@send
|
|
7
|
-
external decodingInfo: (
|
|
8
|
-
mediaCapabilities,
|
|
9
|
-
mediaDecodingConfiguration,
|
|
10
|
-
) => promise<mediaCapabilitiesDecodingInfo> = "decodingInfo"
|
|
11
|
-
|
|
12
|
-
/**
|
|
13
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaCapabilities/encodingInfo)
|
|
14
|
-
*/
|
|
15
|
-
@send
|
|
16
|
-
external encodingInfo: (
|
|
17
|
-
mediaCapabilities,
|
|
18
|
-
mediaEncodingConfiguration,
|
|
19
|
-
) => promise<mediaCapabilitiesEncodingInfo> = "encodingInfo"
|
|
@@ -1,34 +0,0 @@
|
|
|
1
|
-
open MediaCaptureAndStreamsAPI
|
|
2
|
-
|
|
3
|
-
include EventTarget.Impl({type t = mediaDevices})
|
|
4
|
-
|
|
5
|
-
/**
|
|
6
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaDevices/enumerateDevices)
|
|
7
|
-
*/
|
|
8
|
-
@send
|
|
9
|
-
external enumerateDevices: mediaDevices => promise<array<mediaDeviceInfo>> = "enumerateDevices"
|
|
10
|
-
|
|
11
|
-
/**
|
|
12
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaDevices/getSupportedConstraints)
|
|
13
|
-
*/
|
|
14
|
-
@send
|
|
15
|
-
external getSupportedConstraints: mediaDevices => mediaTrackSupportedConstraints =
|
|
16
|
-
"getSupportedConstraints"
|
|
17
|
-
|
|
18
|
-
/**
|
|
19
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaDevices/getUserMedia)
|
|
20
|
-
*/
|
|
21
|
-
@send
|
|
22
|
-
external getUserMedia: (
|
|
23
|
-
mediaDevices,
|
|
24
|
-
~constraints: mediaStreamConstraints=?,
|
|
25
|
-
) => promise<mediaStream> = "getUserMedia"
|
|
26
|
-
|
|
27
|
-
/**
|
|
28
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaDevices/getDisplayMedia)
|
|
29
|
-
*/
|
|
30
|
-
@send
|
|
31
|
-
external getDisplayMedia: (
|
|
32
|
-
mediaDevices,
|
|
33
|
-
~options: displayMediaStreamOptions=?,
|
|
34
|
-
) => promise<mediaStream> = "getDisplayMedia"
|
|
@@ -1,63 +0,0 @@
|
|
|
1
|
-
open MediaCaptureAndStreamsAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream)
|
|
5
|
-
*/
|
|
6
|
-
@new
|
|
7
|
-
external make: unit => mediaStream = "MediaStream"
|
|
8
|
-
|
|
9
|
-
/**
|
|
10
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream)
|
|
11
|
-
*/
|
|
12
|
-
@new
|
|
13
|
-
external make2: mediaStream => mediaStream = "MediaStream"
|
|
14
|
-
|
|
15
|
-
/**
|
|
16
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream)
|
|
17
|
-
*/
|
|
18
|
-
@new
|
|
19
|
-
external make3: array<mediaStreamTrack> => mediaStream = "MediaStream"
|
|
20
|
-
|
|
21
|
-
include EventTarget.Impl({type t = mediaStream})
|
|
22
|
-
|
|
23
|
-
/**
|
|
24
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/getAudioTracks)
|
|
25
|
-
*/
|
|
26
|
-
@send
|
|
27
|
-
external getAudioTracks: mediaStream => array<mediaStreamTrack> = "getAudioTracks"
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/getVideoTracks)
|
|
31
|
-
*/
|
|
32
|
-
@send
|
|
33
|
-
external getVideoTracks: mediaStream => array<mediaStreamTrack> = "getVideoTracks"
|
|
34
|
-
|
|
35
|
-
/**
|
|
36
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/getTracks)
|
|
37
|
-
*/
|
|
38
|
-
@send
|
|
39
|
-
external getTracks: mediaStream => array<mediaStreamTrack> = "getTracks"
|
|
40
|
-
|
|
41
|
-
/**
|
|
42
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/getTrackById)
|
|
43
|
-
*/
|
|
44
|
-
@send
|
|
45
|
-
external getTrackById: (mediaStream, string) => mediaStreamTrack = "getTrackById"
|
|
46
|
-
|
|
47
|
-
/**
|
|
48
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/addTrack)
|
|
49
|
-
*/
|
|
50
|
-
@send
|
|
51
|
-
external addTrack: (mediaStream, mediaStreamTrack) => unit = "addTrack"
|
|
52
|
-
|
|
53
|
-
/**
|
|
54
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/removeTrack)
|
|
55
|
-
*/
|
|
56
|
-
@send
|
|
57
|
-
external removeTrack: (mediaStream, mediaStreamTrack) => unit = "removeTrack"
|
|
58
|
-
|
|
59
|
-
/**
|
|
60
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStream/clone)
|
|
61
|
-
*/
|
|
62
|
-
@send
|
|
63
|
-
external clone: mediaStream => mediaStream = "clone"
|
|
@@ -1,42 +0,0 @@
|
|
|
1
|
-
open MediaCaptureAndStreamsAPI
|
|
2
|
-
|
|
3
|
-
include EventTarget.Impl({type t = mediaStreamTrack})
|
|
4
|
-
|
|
5
|
-
/**
|
|
6
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/clone)
|
|
7
|
-
*/
|
|
8
|
-
@send
|
|
9
|
-
external clone: mediaStreamTrack => mediaStreamTrack = "clone"
|
|
10
|
-
|
|
11
|
-
/**
|
|
12
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/stop)
|
|
13
|
-
*/
|
|
14
|
-
@send
|
|
15
|
-
external stop: mediaStreamTrack => unit = "stop"
|
|
16
|
-
|
|
17
|
-
/**
|
|
18
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/getCapabilities)
|
|
19
|
-
*/
|
|
20
|
-
@send
|
|
21
|
-
external getCapabilities: mediaStreamTrack => mediaTrackCapabilities = "getCapabilities"
|
|
22
|
-
|
|
23
|
-
/**
|
|
24
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/getConstraints)
|
|
25
|
-
*/
|
|
26
|
-
@send
|
|
27
|
-
external getConstraints: mediaStreamTrack => mediaTrackConstraints = "getConstraints"
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/getSettings)
|
|
31
|
-
*/
|
|
32
|
-
@send
|
|
33
|
-
external getSettings: mediaStreamTrack => mediaTrackSettings = "getSettings"
|
|
34
|
-
|
|
35
|
-
/**
|
|
36
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaStreamTrack/applyConstraints)
|
|
37
|
-
*/
|
|
38
|
-
@send
|
|
39
|
-
external applyConstraints: (
|
|
40
|
-
mediaStreamTrack,
|
|
41
|
-
~constraints: mediaTrackConstraints=?,
|
|
42
|
-
) => promise<unit> = "applyConstraints"
|
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
open MediaSessionAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession/setActionHandler)
|
|
5
|
-
*/
|
|
6
|
-
@send
|
|
7
|
-
external setActionHandler: (
|
|
8
|
-
mediaSession,
|
|
9
|
-
~action: mediaSessionAction,
|
|
10
|
-
~handler: mediaSessionActionHandler,
|
|
11
|
-
) => unit = "setActionHandler"
|
|
12
|
-
|
|
13
|
-
/**
|
|
14
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MediaSession/setPositionState)
|
|
15
|
-
*/
|
|
16
|
-
@send
|
|
17
|
-
external setPositionState: (mediaSession, ~state: mediaPositionState=?) => unit = "setPositionState"
|
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
open DOMAPI
|
|
2
|
-
open MutationObserverAPI
|
|
3
|
-
|
|
4
|
-
/**
|
|
5
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver)
|
|
6
|
-
*/
|
|
7
|
-
@new
|
|
8
|
-
external make: mutationObserverCallback => mutationObserver = "MutationObserver"
|
|
9
|
-
|
|
10
|
-
/**
|
|
11
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver/observe)
|
|
12
|
-
*/
|
|
13
|
-
@send
|
|
14
|
-
external observe: (mutationObserver, ~target: node, ~options: mutationObserverInit=?) => unit =
|
|
15
|
-
"observe"
|
|
16
|
-
|
|
17
|
-
/**
|
|
18
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver/disconnect)
|
|
19
|
-
*/
|
|
20
|
-
@send
|
|
21
|
-
external disconnect: mutationObserver => unit = "disconnect"
|
|
22
|
-
|
|
23
|
-
/**
|
|
24
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MutationObserver/takeRecords)
|
|
25
|
-
*/
|
|
26
|
-
@send
|
|
27
|
-
external takeRecords: mutationObserver => array<mutationRecord> = "takeRecords"
|
|
@@ -1,29 +0,0 @@
|
|
|
1
|
-
open NotificationAPI
|
|
2
|
-
|
|
3
|
-
/**
|
|
4
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
|
|
5
|
-
*/
|
|
6
|
-
@new
|
|
7
|
-
external make: (~title: string, ~options: notificationOptions=?) => notification = "Notification"
|
|
8
|
-
|
|
9
|
-
include EventTarget.Impl({type t = notification})
|
|
10
|
-
|
|
11
|
-
/**
|
|
12
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/requestPermission_static)
|
|
13
|
-
*/
|
|
14
|
-
@scope("Notification")
|
|
15
|
-
external requestPermission: (
|
|
16
|
-
~deprecatedCallback: notificationPermissionCallback=?,
|
|
17
|
-
) => promise<notificationPermission> = "requestPermission"
|
|
18
|
-
|
|
19
|
-
/**
|
|
20
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/close)
|
|
21
|
-
*/
|
|
22
|
-
@send
|
|
23
|
-
external close: notification => unit = "close"
|
|
24
|
-
|
|
25
|
-
/**
|
|
26
|
-
[Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/Notification/permission_static)
|
|
27
|
-
*/
|
|
28
|
-
@scope("Notification") @val
|
|
29
|
-
external permission: notificationPermission = "permission"
|
|
@@ -1,90 +0,0 @@
|
|
|
1
|
-
open PerformanceAPI
|
|
2
|
-
|
|
3
|
-
include EventTarget.Impl({type t = performance})
|
|
4
|
-
|
|
5
|
-
/**
|
|
6
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/now)
|
|
7
|
-
*/
|
|
8
|
-
@send
|
|
9
|
-
external now: performance => float = "now"
|
|
10
|
-
|
|
11
|
-
/**
|
|
12
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/toJSON)
|
|
13
|
-
*/
|
|
14
|
-
@send
|
|
15
|
-
external toJSON: performance => Dict.t<string> = "toJSON"
|
|
16
|
-
|
|
17
|
-
/**
|
|
18
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntries)
|
|
19
|
-
*/
|
|
20
|
-
@send
|
|
21
|
-
external getEntries: performance => performanceEntryList = "getEntries"
|
|
22
|
-
|
|
23
|
-
/**
|
|
24
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntriesByType)
|
|
25
|
-
*/
|
|
26
|
-
@send
|
|
27
|
-
external getEntriesByType: (performance, string) => performanceEntryList = "getEntriesByType"
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntriesByName)
|
|
31
|
-
*/
|
|
32
|
-
@send
|
|
33
|
-
external getEntriesByName: (performance, ~name: string, ~type_: string=?) => performanceEntryList =
|
|
34
|
-
"getEntriesByName"
|
|
35
|
-
|
|
36
|
-
/**
|
|
37
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearResourceTimings)
|
|
38
|
-
*/
|
|
39
|
-
@send
|
|
40
|
-
external clearResourceTimings: performance => unit = "clearResourceTimings"
|
|
41
|
-
|
|
42
|
-
/**
|
|
43
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/setResourceTimingBufferSize)
|
|
44
|
-
*/
|
|
45
|
-
@send
|
|
46
|
-
external setResourceTimingBufferSize: (performance, int) => unit = "setResourceTimingBufferSize"
|
|
47
|
-
|
|
48
|
-
/**
|
|
49
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/mark)
|
|
50
|
-
*/
|
|
51
|
-
@send
|
|
52
|
-
external mark: (
|
|
53
|
-
performance,
|
|
54
|
-
~markName: string,
|
|
55
|
-
~markOptions: performanceMarkOptions=?,
|
|
56
|
-
) => performanceMark = "mark"
|
|
57
|
-
|
|
58
|
-
/**
|
|
59
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearMarks)
|
|
60
|
-
*/
|
|
61
|
-
@send
|
|
62
|
-
external clearMarks: (performance, ~markName: string=?) => unit = "clearMarks"
|
|
63
|
-
|
|
64
|
-
/**
|
|
65
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/measure)
|
|
66
|
-
*/
|
|
67
|
-
@send
|
|
68
|
-
external measure: (
|
|
69
|
-
performance,
|
|
70
|
-
~measureName: string,
|
|
71
|
-
~startOrMeasureOptions: string=?,
|
|
72
|
-
~endMark: string=?,
|
|
73
|
-
) => performanceMeasure = "measure"
|
|
74
|
-
|
|
75
|
-
/**
|
|
76
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/measure)
|
|
77
|
-
*/
|
|
78
|
-
@send
|
|
79
|
-
external measure2: (
|
|
80
|
-
performance,
|
|
81
|
-
~measureName: string,
|
|
82
|
-
~startOrMeasureOptions: performanceMeasureOptions=?,
|
|
83
|
-
~endMark: string=?,
|
|
84
|
-
) => performanceMeasure = "measure"
|
|
85
|
-
|
|
86
|
-
/**
|
|
87
|
-
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearMeasures)
|
|
88
|
-
*/
|
|
89
|
-
@send
|
|
90
|
-
external clearMeasures: (performance, ~measureName: string=?) => unit = "clearMeasures"
|