@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
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream)
|
|
3
|
+
*/
|
|
4
|
+
type t<'r> = FileTypes.readableStream<'r>
|
|
5
|
+
|
|
6
|
+
/**
|
|
7
|
+
`make()`
|
|
8
|
+
|
|
9
|
+
Creates a new empty `ReadableStream`.
|
|
10
|
+
|
|
11
|
+
```res
|
|
12
|
+
let stream: ReadableStream.t<string> = ReadableStream.make()
|
|
13
|
+
```
|
|
14
|
+
|
|
15
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream)
|
|
16
|
+
*/
|
|
17
|
+
@new
|
|
18
|
+
external make: unit => t<'t> = "ReadableStream"
|
|
19
|
+
|
|
20
|
+
/**
|
|
21
|
+
`fromUnderlyingSource(underlyingSource<'t>, ~strategy: queuingStrategy<'t>=?)`
|
|
22
|
+
|
|
23
|
+
Creates a new `ReadableStream` from an `underlyingSource`, with an optional queuing strategy.
|
|
24
|
+
|
|
25
|
+
```res
|
|
26
|
+
let stream = ReadableStream.fromUnderlyingSource(myUnderlyingSource)
|
|
27
|
+
|
|
28
|
+
let streamWithStrategy =
|
|
29
|
+
ReadableStream.fromUnderlyingSource(myUnderlyingSource, ~strategy=myQueuingStrategy)
|
|
30
|
+
```
|
|
31
|
+
|
|
32
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream)
|
|
33
|
+
*/
|
|
34
|
+
@new
|
|
35
|
+
external fromUnderlyingSource: (
|
|
36
|
+
FileTypes.underlyingSource<'t>,
|
|
37
|
+
~strategy: FileTypes.queuingStrategy<'t>=?,
|
|
38
|
+
) => t<'t> = "ReadableStream"
|
|
39
|
+
|
|
40
|
+
/**
|
|
41
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/cancel)
|
|
42
|
+
*/
|
|
43
|
+
@send
|
|
44
|
+
external cancel: (t<'r>, ~reason: JSON.t=?) => promise<unit> = "cancel"
|
|
45
|
+
|
|
46
|
+
/**
|
|
47
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/getReader)
|
|
48
|
+
*/
|
|
49
|
+
@send
|
|
50
|
+
external getReader: (
|
|
51
|
+
t<'r>,
|
|
52
|
+
~options: FileTypes.readableStreamGetReaderOptions=?,
|
|
53
|
+
) => FileTypes.readableStreamReader<'r> = "getReader"
|
|
54
|
+
|
|
55
|
+
/**
|
|
56
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/pipeThrough)
|
|
57
|
+
*/
|
|
58
|
+
@send
|
|
59
|
+
external pipeThrough: (
|
|
60
|
+
t<'r>,
|
|
61
|
+
~transform: FileTypes.readableWritablePair<'t, 'r>,
|
|
62
|
+
~options: FileTypes.streamPipeOptions=?,
|
|
63
|
+
) => t<'t> = "pipeThrough"
|
|
64
|
+
|
|
65
|
+
/**
|
|
66
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/pipeTo)
|
|
67
|
+
*/
|
|
68
|
+
@send
|
|
69
|
+
external pipeTo: (
|
|
70
|
+
t<'r>,
|
|
71
|
+
~destination: FileTypes.writableStream<'r>,
|
|
72
|
+
~options: FileTypes.streamPipeOptions=?,
|
|
73
|
+
) => promise<unit> = "pipeTo"
|
|
74
|
+
|
|
75
|
+
/**
|
|
76
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ReadableStream/tee)
|
|
77
|
+
*/
|
|
78
|
+
@send
|
|
79
|
+
external tee: t<'r> => array<t<unit>> = "tee"
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream)
|
|
3
|
+
*/
|
|
4
|
+
@new
|
|
5
|
+
external make: (
|
|
6
|
+
~underlyingSink: FileTypes.underlyingSink<'w>=?,
|
|
7
|
+
~strategy: FileTypes.queuingStrategy<'w>=?,
|
|
8
|
+
) => FileTypes.writableStream<'w> = "WritableStream"
|
|
9
|
+
|
|
10
|
+
/**
|
|
11
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/abort)
|
|
12
|
+
*/
|
|
13
|
+
@send
|
|
14
|
+
external abort: (FileTypes.writableStream<'w>, ~reason: JSON.t=?) => promise<unit> = "abort"
|
|
15
|
+
|
|
16
|
+
/**
|
|
17
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/close)
|
|
18
|
+
*/
|
|
19
|
+
@send
|
|
20
|
+
external close: FileTypes.writableStream<'w> => promise<unit> = "close"
|
|
21
|
+
|
|
22
|
+
/**
|
|
23
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStream/getWriter)
|
|
24
|
+
*/
|
|
25
|
+
@send
|
|
26
|
+
external getWriter: FileTypes.writableStream<'w> => FileTypes.writableStreamDefaultWriter<'w> =
|
|
27
|
+
"getWriter"
|
|
@@ -1,7 +1,5 @@
|
|
|
1
|
-
open FileAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WritableStreamDefaultController/error)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external error: (writableStreamDefaultController, ~e: JSON.t=?) => unit = "error"
|
|
5
|
+
external error: (FileTypes.writableStreamDefaultController, ~e: JSON.t=?) => unit = "error"
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
@@warning("-30")
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
[See FileSystemEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry)
|
|
5
|
+
*/
|
|
6
|
+
@editor.completeFrom(FileSystemEntry)
|
|
7
|
+
type fileSystemEntry = BaseFileAndDirectoryEntries.fileSystemEntry
|
|
8
|
+
|
|
9
|
+
/**
|
|
10
|
+
[See FileSystemDirectoryEntry on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry)
|
|
11
|
+
*/
|
|
12
|
+
@editor.completeFrom(FileSystemDirectoryEntry)
|
|
13
|
+
type fileSystemDirectoryEntry = BaseFileAndDirectoryEntries.fileSystemDirectoryEntry
|
|
14
|
+
|
|
15
|
+
/**
|
|
16
|
+
[See FileSystem on MDN](https://developer.mozilla.org/docs/Web/API/FileSystem)
|
|
17
|
+
*/
|
|
18
|
+
type fileSystem = BaseFileAndDirectoryEntries.fileSystem
|
|
19
|
+
|
|
20
|
+
/**
|
|
21
|
+
[See FileSystemDirectoryReader on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryReader)
|
|
22
|
+
*/
|
|
23
|
+
@editor.completeFrom(FileSystemDirectoryReader)
|
|
24
|
+
type fileSystemDirectoryReader = private {}
|
|
25
|
+
|
|
26
|
+
type fileSystemFlags = {
|
|
27
|
+
mutable create?: bool,
|
|
28
|
+
mutable exclusive?: bool,
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
type fileSystemEntryCallback = fileSystemEntry => unit
|
|
32
|
+
|
|
33
|
+
type errorCallback = DOM.domException => unit
|
|
34
|
+
|
|
35
|
+
type fileSystemEntriesCallback = array<fileSystemEntry> => unit
|
|
@@ -0,0 +1,42 @@
|
|
|
1
|
+
external asFileSystemEntry: FileAndDirectoryEntriesTypes.fileSystemDirectoryEntry => FileAndDirectoryEntriesTypes.fileSystemEntry =
|
|
2
|
+
"%identity"
|
|
3
|
+
/**
|
|
4
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/getParent)
|
|
5
|
+
*/
|
|
6
|
+
@send
|
|
7
|
+
external getParent: (
|
|
8
|
+
FileAndDirectoryEntriesTypes.fileSystemDirectoryEntry,
|
|
9
|
+
~successCallback: FileAndDirectoryEntriesTypes.fileSystemEntryCallback=?,
|
|
10
|
+
~errorCallback: FileAndDirectoryEntriesTypes.errorCallback=?,
|
|
11
|
+
) => unit = "getParent"
|
|
12
|
+
|
|
13
|
+
/**
|
|
14
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/createReader)
|
|
15
|
+
*/
|
|
16
|
+
@send
|
|
17
|
+
external createReader: FileAndDirectoryEntriesTypes.fileSystemDirectoryEntry => FileAndDirectoryEntriesTypes.fileSystemDirectoryReader =
|
|
18
|
+
"createReader"
|
|
19
|
+
|
|
20
|
+
/**
|
|
21
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryEntry/getFile)
|
|
22
|
+
*/
|
|
23
|
+
@send
|
|
24
|
+
external getFile: (
|
|
25
|
+
FileAndDirectoryEntriesTypes.fileSystemDirectoryEntry,
|
|
26
|
+
~path: string=?,
|
|
27
|
+
~options: FileAndDirectoryEntriesTypes.fileSystemFlags=?,
|
|
28
|
+
~successCallback: FileAndDirectoryEntriesTypes.fileSystemEntryCallback=?,
|
|
29
|
+
~errorCallback: FileAndDirectoryEntriesTypes.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
|
+
FileAndDirectoryEntriesTypes.fileSystemDirectoryEntry,
|
|
38
|
+
~path: string=?,
|
|
39
|
+
~options: FileAndDirectoryEntriesTypes.fileSystemFlags=?,
|
|
40
|
+
~successCallback: FileAndDirectoryEntriesTypes.fileSystemEntryCallback=?,
|
|
41
|
+
~errorCallback: FileAndDirectoryEntriesTypes.errorCallback=?,
|
|
42
|
+
) => unit = "getDirectory"
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemDirectoryReader/readEntries)
|
|
3
|
+
*/
|
|
4
|
+
@send
|
|
5
|
+
external readEntries: (
|
|
6
|
+
FileAndDirectoryEntriesTypes.fileSystemDirectoryReader,
|
|
7
|
+
~successCallback: FileAndDirectoryEntriesTypes.fileSystemEntriesCallback,
|
|
8
|
+
~errorCallback: FileAndDirectoryEntriesTypes.errorCallback=?,
|
|
9
|
+
) => unit = "readEntries"
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/FileSystemEntry/getParent)
|
|
3
|
+
*/
|
|
4
|
+
@send
|
|
5
|
+
external getParent: (
|
|
6
|
+
FileAndDirectoryEntriesTypes.fileSystemEntry,
|
|
7
|
+
~successCallback: FileAndDirectoryEntriesTypes.fileSystemEntryCallback=?,
|
|
8
|
+
~errorCallback: FileAndDirectoryEntriesTypes.errorCallback=?,
|
|
9
|
+
) => unit = "getParent"
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator/playEffect)
|
|
3
|
+
*/
|
|
4
|
+
@send
|
|
5
|
+
external playEffect: (
|
|
6
|
+
GamepadTypes.gamepadHapticActuator,
|
|
7
|
+
~type_: GamepadTypes.gamepadHapticEffectType,
|
|
8
|
+
~params: GamepadTypes.gamepadEffectParameters=?,
|
|
9
|
+
) => promise<GamepadTypes.gamepadHapticsResult> = "playEffect"
|
|
10
|
+
|
|
11
|
+
/**
|
|
12
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator/reset)
|
|
13
|
+
*/
|
|
14
|
+
@send
|
|
15
|
+
external reset: GamepadTypes.gamepadHapticActuator => promise<GamepadTypes.gamepadHapticsResult> =
|
|
16
|
+
"reset"
|
|
@@ -31,15 +31,15 @@ type gamepadButton = {
|
|
|
31
31
|
}
|
|
32
32
|
|
|
33
33
|
/**
|
|
34
|
-
This
|
|
34
|
+
This WebApiGamepad API interface represents hardware in the controller designed to provide haptic feedback to the user (if available), most commonly vibration hardware.
|
|
35
35
|
[See GamepadHapticActuator on MDN](https://developer.mozilla.org/docs/Web/API/GamepadHapticActuator)
|
|
36
36
|
*/
|
|
37
37
|
@editor.completeFrom(GamepadHapticActuator)
|
|
38
|
-
type gamepadHapticActuator = {}
|
|
38
|
+
type gamepadHapticActuator = private {}
|
|
39
39
|
|
|
40
40
|
/**
|
|
41
|
-
This
|
|
42
|
-
[See
|
|
41
|
+
This WebApiGamepad API interface defines an individual gamepad or other controller, allowing access to information such as button presses, axis positions, and id.
|
|
42
|
+
[See WebApiGamepad on MDN](https://developer.mozilla.org/docs/Web/API/Gamepad)
|
|
43
43
|
*/
|
|
44
44
|
type gamepad = {
|
|
45
45
|
/**
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
/**
|
|
2
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/getCurrentPosition)
|
|
3
|
+
*/
|
|
4
|
+
@send
|
|
5
|
+
external getCurrentPosition: (
|
|
6
|
+
GeolocationTypes.geolocation,
|
|
7
|
+
~successCallback: GeolocationTypes.positionCallback,
|
|
8
|
+
~errorCallback: GeolocationTypes.positionErrorCallback=?,
|
|
9
|
+
~options: GeolocationTypes.positionOptions=?,
|
|
10
|
+
) => unit = "getCurrentPosition"
|
|
11
|
+
|
|
12
|
+
/**
|
|
13
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/watchPosition)
|
|
14
|
+
*/
|
|
15
|
+
@send
|
|
16
|
+
external watchPosition: (
|
|
17
|
+
GeolocationTypes.geolocation,
|
|
18
|
+
~successCallback: GeolocationTypes.positionCallback,
|
|
19
|
+
~errorCallback: GeolocationTypes.positionErrorCallback=?,
|
|
20
|
+
~options: GeolocationTypes.positionOptions=?,
|
|
21
|
+
) => int = "watchPosition"
|
|
22
|
+
|
|
23
|
+
/**
|
|
24
|
+
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation/clearWatch)
|
|
25
|
+
*/
|
|
26
|
+
@send
|
|
27
|
+
external clearWatch: (GeolocationTypes.geolocation, int) => unit = "clearWatch"
|
|
28
|
+
|
|
29
|
+
module GeolocationCoordinates = GeolocationCoordinates
|
|
30
|
+
module GeolocationPosition = GeolocationPosition
|
|
31
|
+
module Types = GeolocationTypes
|
|
@@ -1,7 +1,5 @@
|
|
|
1
|
-
open GeolocationAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/toJSON)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external toJSON: geolocationCoordinates => Dict.t<string> = "toJSON"
|
|
5
|
+
external toJSON: GeolocationTypes.geolocationCoordinates => Dict.t<string> = "toJSON"
|
|
@@ -1,7 +1,5 @@
|
|
|
1
|
-
open GeolocationAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition/toJSON)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external toJSON: geolocationPosition => Dict.t<string> = "toJSON"
|
|
5
|
+
external toJSON: GeolocationTypes.geolocationPosition => Dict.t<string> = "toJSON"
|
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
@@warning("-30")
|
|
2
2
|
/**
|
|
3
3
|
An object able to programmatically obtain the position of the device. It gives Web content access to the location of the device. This allows a Web site or app to offer customized results based on the user's location.
|
|
4
|
-
[See
|
|
4
|
+
[See WebApiGeolocation on MDN](https://developer.mozilla.org/docs/Web/API/Geolocation)
|
|
5
5
|
*/
|
|
6
|
-
@editor.completeFrom(
|
|
7
|
-
type geolocation = {}
|
|
6
|
+
@editor.completeFrom(WebApiGeolocation)
|
|
7
|
+
type geolocation = private {}
|
|
8
8
|
|
|
9
9
|
/**
|
|
10
10
|
[See GeolocationCoordinates on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates)
|
|
11
11
|
*/
|
|
12
12
|
@editor.completeFrom(GeolocationCoordinates)
|
|
13
|
-
type geolocationCoordinates = {
|
|
13
|
+
type geolocationCoordinates = private {
|
|
14
14
|
/**
|
|
15
15
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationCoordinates/accuracy)
|
|
16
16
|
*/
|
|
@@ -45,7 +45,7 @@ type geolocationCoordinates = {
|
|
|
45
45
|
[See GeolocationPosition on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition)
|
|
46
46
|
*/
|
|
47
47
|
@editor.completeFrom(GeolocationPosition)
|
|
48
|
-
type geolocationPosition = {
|
|
48
|
+
type geolocationPosition = private {
|
|
49
49
|
/**
|
|
50
50
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/GeolocationPosition/coords)
|
|
51
51
|
*/
|
|
@@ -1,32 +1,37 @@
|
|
|
1
|
-
open HistoryAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/History/go)
|
|
5
3
|
*/
|
|
6
4
|
@send
|
|
7
|
-
external go: (history, ~delta: int=?) => unit = "go"
|
|
5
|
+
external go: (HistoryTypes.history, ~delta: int=?) => unit = "go"
|
|
8
6
|
|
|
9
7
|
/**
|
|
10
8
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/History/back)
|
|
11
9
|
*/
|
|
12
10
|
@send
|
|
13
|
-
external back: history => unit = "back"
|
|
11
|
+
external back: HistoryTypes.history => unit = "back"
|
|
14
12
|
|
|
15
13
|
/**
|
|
16
14
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/History/forward)
|
|
17
15
|
*/
|
|
18
16
|
@send
|
|
19
|
-
external forward: history => unit = "forward"
|
|
17
|
+
external forward: HistoryTypes.history => unit = "forward"
|
|
20
18
|
|
|
21
19
|
/**
|
|
22
20
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/History/pushState)
|
|
23
21
|
*/
|
|
24
22
|
@send
|
|
25
|
-
external pushState: (history, ~data: JSON.t, ~unused: string, ~url: string=?) => unit =
|
|
23
|
+
external pushState: (HistoryTypes.history, ~data: JSON.t, ~unused: string, ~url: string=?) => unit =
|
|
24
|
+
"pushState"
|
|
26
25
|
|
|
27
26
|
/**
|
|
28
27
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/History/replaceState)
|
|
29
28
|
*/
|
|
30
29
|
@send
|
|
31
|
-
external replaceState: (
|
|
32
|
-
|
|
30
|
+
external replaceState: (
|
|
31
|
+
HistoryTypes.history,
|
|
32
|
+
~data: JSON.t,
|
|
33
|
+
~unused: string,
|
|
34
|
+
~url: string=?,
|
|
35
|
+
) => unit = "replaceState"
|
|
36
|
+
|
|
37
|
+
module Types = HistoryTypes
|
|
@@ -6,9 +6,10 @@ type scrollRestoration =
|
|
|
6
6
|
|
|
7
7
|
/**
|
|
8
8
|
Allows manipulation of the browser session history, that is the pages visited in the tab or frame that the current page is loaded in.
|
|
9
|
-
[See
|
|
9
|
+
[See WebApiHistory on MDN](https://developer.mozilla.org/docs/Web/API/History)
|
|
10
|
+
TODO: mark as private once mutating fields of private records is allowed
|
|
10
11
|
*/
|
|
11
|
-
@editor.completeFrom(
|
|
12
|
+
@editor.completeFrom(WebApiHistory)
|
|
12
13
|
type history = {
|
|
13
14
|
/**
|
|
14
15
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/History/length)
|
|
@@ -1,6 +1,4 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
3
|
-
include EventTarget.Impl({type t = idbDatabase})
|
|
1
|
+
include EventTarget.Impl({type t = IndexedDbTypes.idbDatabase})
|
|
4
2
|
|
|
5
3
|
/**
|
|
6
4
|
Returns a new transaction with the given mode ("readonly" or "readwrite") and scope which can be a single object store name or an array of names.
|
|
@@ -8,11 +6,11 @@ Returns a new transaction with the given mode ("readonly" or "readwrite") and sc
|
|
|
8
6
|
*/
|
|
9
7
|
@send
|
|
10
8
|
external transaction: (
|
|
11
|
-
idbDatabase,
|
|
9
|
+
IndexedDbTypes.idbDatabase,
|
|
12
10
|
~storeNames: string,
|
|
13
|
-
~mode: idbTransactionMode=?,
|
|
14
|
-
~options: idbTransactionOptions=?,
|
|
15
|
-
) => idbTransaction = "transaction"
|
|
11
|
+
~mode: IndexedDbTypes.idbTransactionMode=?,
|
|
12
|
+
~options: IndexedDbTypes.idbTransactionOptions=?,
|
|
13
|
+
) => IndexedDbTypes.idbTransaction = "transaction"
|
|
16
14
|
|
|
17
15
|
/**
|
|
18
16
|
Returns a new transaction with the given mode ("readonly" or "readwrite") and scope which can be a single object store name or an array of names.
|
|
@@ -20,18 +18,18 @@ Returns a new transaction with the given mode ("readonly" or "readwrite") and sc
|
|
|
20
18
|
*/
|
|
21
19
|
@send
|
|
22
20
|
external transaction2: (
|
|
23
|
-
idbDatabase,
|
|
21
|
+
IndexedDbTypes.idbDatabase,
|
|
24
22
|
~storeNames: array<string>,
|
|
25
|
-
~mode: idbTransactionMode=?,
|
|
26
|
-
~options: idbTransactionOptions=?,
|
|
27
|
-
) => idbTransaction = "transaction"
|
|
23
|
+
~mode: IndexedDbTypes.idbTransactionMode=?,
|
|
24
|
+
~options: IndexedDbTypes.idbTransactionOptions=?,
|
|
25
|
+
) => IndexedDbTypes.idbTransaction = "transaction"
|
|
28
26
|
|
|
29
27
|
/**
|
|
30
28
|
Closes the connection once all running transactions have finished.
|
|
31
29
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBDatabase/close)
|
|
32
30
|
*/
|
|
33
31
|
@send
|
|
34
|
-
external close: idbDatabase => unit = "close"
|
|
32
|
+
external close: IndexedDbTypes.idbDatabase => unit = "close"
|
|
35
33
|
|
|
36
34
|
/**
|
|
37
35
|
Creates a new object store with the given name and options and returns a new IDBObjectStore.
|
|
@@ -41,10 +39,10 @@ Throws a "InvalidStateError" DOMException if not called within an upgrade transa
|
|
|
41
39
|
*/
|
|
42
40
|
@send
|
|
43
41
|
external createObjectStore: (
|
|
44
|
-
idbDatabase,
|
|
42
|
+
IndexedDbTypes.idbDatabase,
|
|
45
43
|
~name: string,
|
|
46
|
-
~options: idbObjectStoreParameters=?,
|
|
47
|
-
) => idbObjectStore = "createObjectStore"
|
|
44
|
+
~options: IndexedDbTypes.idbObjectStoreParameters=?,
|
|
45
|
+
) => IndexedDbTypes.idbObjectStore = "createObjectStore"
|
|
48
46
|
|
|
49
47
|
/**
|
|
50
48
|
Deletes the object store with the given name.
|
|
@@ -53,4 +51,4 @@ Throws a "InvalidStateError" DOMException if not called within an upgrade transa
|
|
|
53
51
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBDatabase/deleteObjectStore)
|
|
54
52
|
*/
|
|
55
53
|
@send
|
|
56
|
-
external deleteObjectStore: (idbDatabase, string) => unit = "deleteObjectStore"
|
|
54
|
+
external deleteObjectStore: (IndexedDbTypes.idbDatabase, string) => unit = "deleteObjectStore"
|
|
@@ -1,24 +1,28 @@
|
|
|
1
|
-
open IndexedDBAPI
|
|
2
|
-
|
|
3
1
|
/**
|
|
4
2
|
Attempts to open a connection to the named database with the current version, or 1 if it does not already exist. If the request is successful request's result will be the connection.
|
|
5
3
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBFactory/open)
|
|
6
4
|
*/
|
|
7
5
|
@send
|
|
8
|
-
external open_: (
|
|
6
|
+
external open_: (
|
|
7
|
+
IndexedDbTypes.idbFactory,
|
|
8
|
+
~name: string,
|
|
9
|
+
~version: int=?,
|
|
10
|
+
) => IndexedDbTypes.idbOpenDBRequest = "open"
|
|
9
11
|
|
|
10
12
|
/**
|
|
11
13
|
Attempts to delete the named database. If the database already exists and there are open connections that don't close in response to a versionchange event, the request will be blocked until all they close. If the request is successful request's result will be null.
|
|
12
14
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBFactory/deleteDatabase)
|
|
13
15
|
*/
|
|
14
16
|
@send
|
|
15
|
-
external deleteDatabase: (idbFactory, string) => idbOpenDBRequest =
|
|
17
|
+
external deleteDatabase: (IndexedDbTypes.idbFactory, string) => IndexedDbTypes.idbOpenDBRequest =
|
|
18
|
+
"deleteDatabase"
|
|
16
19
|
|
|
17
20
|
/**
|
|
18
21
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBFactory/databases)
|
|
19
22
|
*/
|
|
20
23
|
@send
|
|
21
|
-
external databases: idbFactory => promise<array<idbDatabaseInfo>> =
|
|
24
|
+
external databases: IndexedDbTypes.idbFactory => promise<array<IndexedDbTypes.idbDatabaseInfo>> =
|
|
25
|
+
"databases"
|
|
22
26
|
|
|
23
27
|
/**
|
|
24
28
|
Compares two values as keys. Returns -1 if key1 precedes key2, 1 if key2 precedes key1, and 0 if the keys are equal.
|
|
@@ -27,4 +31,4 @@ Throws a "DataError" DOMException if either input is not a valid key.
|
|
|
27
31
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBFactory/cmp)
|
|
28
32
|
*/
|
|
29
33
|
@send
|
|
30
|
-
external cmp: (idbFactory, ~first: JSON.t, ~second: JSON.t) => int = "cmp"
|
|
34
|
+
external cmp: (IndexedDbTypes.idbFactory, ~first: JSON.t, ~second: JSON.t) => int = "cmp"
|
|
@@ -1,6 +1,3 @@
|
|
|
1
|
-
open IndexedDBAPI
|
|
2
|
-
open Prelude
|
|
3
|
-
|
|
4
1
|
/**
|
|
5
2
|
Retrieves the value of the first record matching the given key or key range in query.
|
|
6
3
|
|
|
@@ -8,7 +5,7 @@ If successful, request's result will be the value, or undefined if there was no
|
|
|
8
5
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBIndex/get)
|
|
9
6
|
*/
|
|
10
7
|
@send
|
|
11
|
-
external get: (idbIndex,
|
|
8
|
+
external get: (IndexedDbTypes.idbIndex, unknown) => IndexedDbTypes.idbRequest<JSON.t> = "get"
|
|
12
9
|
|
|
13
10
|
/**
|
|
14
11
|
Retrieves the key of the first record matching the given key or key range in query.
|
|
@@ -17,7 +14,7 @@ If successful, request's result will be the key, or undefined if there was no ma
|
|
|
17
14
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBIndex/getKey)
|
|
18
15
|
*/
|
|
19
16
|
@send
|
|
20
|
-
external getKey: (idbIndex,
|
|
17
|
+
external getKey: (IndexedDbTypes.idbIndex, unknown) => IndexedDbTypes.idbRequest<unknown> = "getKey"
|
|
21
18
|
|
|
22
19
|
/**
|
|
23
20
|
Retrieves the values of the records matching the given key or key range in query (up to count if given).
|
|
@@ -26,7 +23,11 @@ If successful, request's result will be an Array of the values.
|
|
|
26
23
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBIndex/getAll)
|
|
27
24
|
*/
|
|
28
25
|
@send
|
|
29
|
-
external getAll: (
|
|
26
|
+
external getAll: (
|
|
27
|
+
IndexedDbTypes.idbIndex,
|
|
28
|
+
~query: unknown=?,
|
|
29
|
+
~count: int=?,
|
|
30
|
+
) => IndexedDbTypes.idbRequest<array<JSON.t>> = "getAll"
|
|
30
31
|
|
|
31
32
|
/**
|
|
32
33
|
Retrieves the keys of records matching the given key or key range in query (up to count if given).
|
|
@@ -35,8 +36,11 @@ If successful, request's result will be an Array of the keys.
|
|
|
35
36
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBIndex/getAllKeys)
|
|
36
37
|
*/
|
|
37
38
|
@send
|
|
38
|
-
external getAllKeys: (
|
|
39
|
-
|
|
39
|
+
external getAllKeys: (
|
|
40
|
+
IndexedDbTypes.idbIndex,
|
|
41
|
+
~query: unknown=?,
|
|
42
|
+
~count: int=?,
|
|
43
|
+
) => IndexedDbTypes.idbRequest<array<IndexedDbTypes.idbValidKey>> = "getAllKeys"
|
|
40
44
|
|
|
41
45
|
/**
|
|
42
46
|
Retrieves the number of records matching the given key or key range in query.
|
|
@@ -45,7 +49,8 @@ If successful, request's result will be the count.
|
|
|
45
49
|
[Read more on MDN](https://developer.mozilla.org/docs/Web/API/IDBIndex/count)
|
|
46
50
|
*/
|
|
47
51
|
@send
|
|
48
|
-
external count: (idbIndex, ~query:
|
|
52
|
+
external count: (IndexedDbTypes.idbIndex, ~query: unknown=?) => IndexedDbTypes.idbRequest<int> =
|
|
53
|
+
"count"
|
|
49
54
|
|
|
50
55
|
/**
|
|
51
56
|
Opens a cursor over the records matching query, ordered by direction. If query is null, all records in index are matched.
|
|
@@ -55,10 +60,10 @@ If successful, request's result will be an IDBCursorWithValue, or null if there
|
|
|
55
60
|
*/
|
|
56
61
|
@send
|
|
57
62
|
external openCursor: (
|
|
58
|
-
idbIndex,
|
|
59
|
-
~query:
|
|
60
|
-
~direction: idbCursorDirection=?,
|
|
61
|
-
) => idbRequest<
|
|
63
|
+
IndexedDbTypes.idbIndex,
|
|
64
|
+
~query: unknown=?,
|
|
65
|
+
~direction: IndexedDbTypes.idbCursorDirection=?,
|
|
66
|
+
) => IndexedDbTypes.idbRequest<unknown> = "openCursor"
|
|
62
67
|
|
|
63
68
|
/**
|
|
64
69
|
Opens a cursor with key only flag set over the records matching query, ordered by direction. If query is null, all records in index are matched.
|
|
@@ -68,7 +73,7 @@ If successful, request's result will be an IDBCursor, or null if there were no m
|
|
|
68
73
|
*/
|
|
69
74
|
@send
|
|
70
75
|
external openKeyCursor: (
|
|
71
|
-
idbIndex,
|
|
72
|
-
~query:
|
|
73
|
-
~direction: idbCursorDirection=?,
|
|
74
|
-
) => idbRequest<
|
|
76
|
+
IndexedDbTypes.idbIndex,
|
|
77
|
+
~query: unknown=?,
|
|
78
|
+
~direction: IndexedDbTypes.idbCursorDirection=?,
|
|
79
|
+
) => IndexedDbTypes.idbRequest<unknown> = "openKeyCursor"
|