@rescript/webapi 0.1.0-alpha-b1d58f9

package/src/messaging/WebSocket.res

@@ -0,0 +1,74 @@
+type t = WebSocketsTypes.webSocket = private {...WebSocketsTypes.webSocket}
+type binaryType = WebSocketsTypes.binaryType
+type messageEvent<'t> = WebSocketsTypes.messageEvent<'t> = {...WebSocketsTypes.messageEvent<'t>}
+type closeEvent = WebSocketsTypes.closeEvent = private {...WebSocketsTypes.closeEvent}
+type messageEventSource = WebSocketsTypes.messageEventSource
+
+/**
+`fromURL(~url: string, ~protocols: string=?)`
+
+Creates a new `WebSocket` from a URL and an optional single protocol.
+
+```res
+let socket = WebSocket.fromURL(~url="wss://example.com/socket")
+```
+
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket)
+*/
+@throws(JsExn) @new
+external fromURL: (~url: string, ~protocols: string=?) => t = "WebSocket"
+
+/**
+`fromURLWithProtocols(~url: string, ~protocols: array<string>)`
+
+Creates a new `WebSocket` from a URL and multiple protocols.
+
+```res
+let socket =
+  WebSocket.fromURLWithProtocols(
+    ~url="wss://example.com/socket",
+    ~protocols=["chat", "superchat"],
+  )
+```
+
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket)
+*/
+@throws(JsExn) @new
+external fromURLWithProtocols: (~url: string, ~protocols: array<string>) => t = "WebSocket"
+
+include EventTarget.Impl({type t = t})
+
+/**
+Closes the WebSocket connection, optionally using code as the the WebSocket connection close code and reason as the the WebSocket connection close reason.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/close)
+*/
+@throws(JsExn) @send
+external close: (t, ~code: int=?, ~reason: string=?) => unit = "close"
+
+/**
+Transmits data using the WebSocket connection. data can be a string, a Blob, an ArrayBuffer, or an ArrayBufferView.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/send)
+*/
+@throws(JsExn) @send
+external send: (t, DataView.t) => unit = "send"
+
+/**
+Transmits data using the WebSocket connection. data can be a string, a Blob, an ArrayBuffer, or an ArrayBufferView.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/send)
+*/
+@throws(JsExn)
+external sendArrayBuffer: (t, ArrayBuffer.t) => unit = "send"
+
+/**
+Transmits data using the WebSocket connection. data can be a string, a Blob, an ArrayBuffer, or an ArrayBufferView.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/send)
+*/
+@throws(JsExn)
+external sendBlob: (t, Blob.t) => unit = "send"
+
+/**
+Transmits data using the WebSocket connection. data can be a string, a Blob, an ArrayBuffer, or an ArrayBufferView.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/send)
+*/
+@throws(JsExn)
+external sendString: (t, string) => unit = "send"

package/src/messaging/WebSocketsTypes.res

@@ -0,0 +1,124 @@
+@@warning("-30")
+
+type binaryType =
+  | @as("arraybuffer") Arraybuffer
+  | @as("blob") Blob
+
+type messageEventSource = unknown
+
+/**
+Provides the API for creating and managing a WebSocket connection to a server, as well as for sending and receiving data on the connection.
+[See WebSocket on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+@editor.completeFrom(WebSocket)
+type webSocket = {
+  ...DOM.eventTarget,
+  /**
+    Returns the WebApiURL that was used to establish the WebSocket connection.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/url)
+    */
+  url: string,
+  /**
+    Returns the state of the WebSocket object's connection. It can have the values described below.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
+    */
+  readyState: int,
+  /**
+    Returns the number of bytes of application data (UTF-8 text and binary data) that have been queued using send() but not yet been transmitted to the network.
+
+If the WebSocket connection is closed, this attribute's value will only increase with each call to the send() method. (The number does not reset to zero once the connection closes.)
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/bufferedAmount)
+    */
+  bufferedAmount: int,
+  /**
+    Returns the extensions selected by the server, if any.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/extensions)
+    */
+  extensions: string,
+  /**
+    Returns the subprotocol selected by the server, if any. It can be used in conjunction with the array form of the constructor's second argument to perform subprotocol negotiation.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/protocol)
+    */
+  protocol: string,
+  /**
+    Returns a string that indicates how binary data from the WebSocket object is exposed to scripts:
+
+Can be set, to change how binary data is returned. The default is "blob".
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/WebSocket/binaryType)
+    */
+  mutable binaryType: binaryType,
+}
+
+/**
+A CloseEvent is sent to clients using WebApiWebSockets when the connection is closed. This is delivered to the listener indicated by the WebSocket object's onclose attribute.
+[See CloseEvent on MDN](https://developer.mozilla.org/docs/Web/API/CloseEvent)
+*/
+@editor.completeFrom(CloseEvent)
+type closeEvent = private {
+  ...DOM.event,
+  /**
+    Returns true if the connection closed cleanly; false otherwise.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CloseEvent/wasClean)
+    */
+  wasClean: bool,
+  /**
+    Returns the WebSocket connection close code provided by the server.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CloseEvent/code)
+    */
+  code: int,
+  /**
+    Returns the WebSocket connection close reason provided by the server.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/CloseEvent/reason)
+    */
+  reason: string,
+}
+
+/**
+A message received by a target object.
+[See MessageEvent on MDN](https://developer.mozilla.org/docs/Web/API/MessageEvent)
+*/
+type messageEvent<'t> = {
+  ...DOM.event,
+  /**
+    Returns the data of the message.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessageEvent/data)
+    */
+  data: 't,
+  /**
+    Returns the origin of the message, for server-sent events and cross-document messaging.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessageEvent/origin)
+    */
+  origin: string,
+  /**
+    Returns the last event ID string, for server-sent events.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessageEvent/lastEventId)
+    */
+  lastEventId: string,
+  /**
+    Returns the WindowProxy of the source window, for cross-document messaging, and the MessagePort being attached, in the connect event fired at SharedWorkerGlobalScope objects.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessageEvent/source)
+    */
+  source: Null.t<messageEventSource>,
+  /**
+    Returns the MessagePort array sent with the message, for cross-document messaging and channel messaging.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessageEvent/ports)
+    */
+  ports: array<ChannelMessagingTypes.messagePort>,
+}
+
+type closeEventInit = {
+  ...Event.eventInit,
+  mutable wasClean?: bool,
+  mutable code?: int,
+  mutable reason?: string,
+}
+
+type messageEventInit<'t> = {
+  ...Event.eventInit,
+  mutable data?: 't,
+  mutable origin?: string,
+  mutable lastEventId?: string,
+  mutable source?: Nullable.t<messageEventSource>,
+  mutable ports?: array<ChannelMessagingTypes.messagePort>,
+}

package/src/navigator/Clipboard.res

@@ -0,0 +1,29 @@
+include EventTarget.Impl({type t = ClipboardTypes.clipboard})
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Clipboard/read)
+*/
+@send
+external read: ClipboardTypes.clipboard => promise<array<ClipboardTypes.clipboardItem>> = "read"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Clipboard/readText)
+*/
+@send
+external readText: ClipboardTypes.clipboard => promise<string> = "readText"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Clipboard/write)
+*/
+@send
+external write: (ClipboardTypes.clipboard, array<ClipboardTypes.clipboardItem>) => promise<unit> =
+  "write"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Clipboard/writeText)
+*/
+@send
+external writeText: (ClipboardTypes.clipboard, string) => promise<unit> = "writeText"
+
+module ClipboardItem = ClipboardItem
+module Types = ClipboardTypes

package/src/navigator/ClipboardItem.res

@@ -0,0 +1,20 @@
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ClipboardItem)
+*/
+@new
+external make: (
+  ~items: unknown,
+  ~options: ClipboardTypes.clipboardItemOptions=?,
+) => ClipboardTypes.clipboardItem = "ClipboardItem"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ClipboardItem/getType)
+*/
+@send
+external getType: (ClipboardTypes.clipboardItem, string) => promise<FileTypes.blob> = "getType"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/ClipboardItem/supports_static)
+*/
+@scope("ClipboardItem")
+external supports: string => bool = "supports"

package/src/navigator/ClipboardTypes.res

@@ -0,0 +1,31 @@
+@@warning("-30")
+
+type presentationStyle =
+  | @as("attachment") Attachment
+  | @as("inline") Inline
+  | @as("unspecified") Unspecified
+
+/**
+[See ClipboardItem on MDN](https://developer.mozilla.org/docs/Web/API/ClipboardItem)
+*/
+@editor.completeFrom(ClipboardItem)
+type clipboardItem = private {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/ClipboardItem/presentationStyle)
+    */
+  presentationStyle: presentationStyle,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/ClipboardItem/types)
+    */
+  types: array<string>,
+}
+
+/**
+[See WebApiClipboard on MDN](https://developer.mozilla.org/docs/Web/API/Clipboard)
+*/
+@editor.completeFrom(WebApiClipboard)
+type clipboard = private {
+  ...DOM.eventTarget,
+}
+
+type clipboardItemOptions = {mutable presentationStyle?: presentationStyle}

package/src/navigator/CredentialManagementTypes.res

@@ -0,0 +1,138 @@
+@@warning("-30")
+
+type authenticatorTransport =
+  | @as("ble") Ble
+  | @as("hybrid") Hybrid
+  | @as("internal") Internal
+  | @as("nfc") Nfc
+  | @as("usb") Usb
+
+type credentialMediationRequirement =
+  | @as("conditional") Conditional
+  | @as("optional") Optional
+  | @as("required") Required
+  | @as("silent") Silent
+
+type publicKeyCredentialType = | @as("public-key") PublicKey
+
+type userVerificationRequirement =
+  | @as("discouraged") Discouraged
+  | @as("preferred") Preferred
+  | @as("required") Required
+
+type authenticatorAttachment =
+  | @as("cross-platform") CrossPlatform
+  | @as("platform") Platform
+
+type residentKeyRequirement =
+  | @as("discouraged") Discouraged
+  | @as("preferred") Preferred
+  | @as("required") Required
+
+type attestationConveyancePreference =
+  | @as("direct") Direct
+  | @as("enterprise") Enterprise
+  | @as("indirect") Indirect
+  | @as("none") None
+
+/**
+[See CredentialsContainer on MDN](https://developer.mozilla.org/docs/Web/API/CredentialsContainer)
+*/
+@editor.completeFrom(CredentialsContainer)
+type credentialsContainer = private {}
+
+/**
+[See Credential on MDN](https://developer.mozilla.org/docs/Web/API/Credential)
+*/
+type credential = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Credential/id)
+    */
+  id: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Credential/type)
+    */
+  @as("type")
+  type_: string,
+}
+
+type publicKeyCredentialDescriptor = {
+  @as("type") mutable type_: publicKeyCredentialType,
+  mutable id: ArrayBufferTypedArrayOrDataView.t,
+  mutable transports?: array<authenticatorTransport>,
+}
+
+type authenticationExtensionsPRFValues = {
+  mutable first: ArrayBufferTypedArrayOrDataView.t,
+  mutable second?: ArrayBufferTypedArrayOrDataView.t,
+}
+
+type authenticationExtensionsPRFInputs = {
+  mutable eval?: authenticationExtensionsPRFValues,
+  mutable evalByCredential?: unknown,
+}
+
+type authenticationExtensionsClientInputs = {
+  mutable minPinLength?: bool,
+  mutable hmacCreateSecret?: bool,
+  mutable appid?: string,
+  mutable credProps?: bool,
+  mutable prf?: authenticationExtensionsPRFInputs,
+}
+
+type publicKeyCredentialRequestOptions = {
+  mutable challenge: ArrayBufferTypedArrayOrDataView.t,
+  mutable timeout?: int,
+  mutable rpId?: string,
+  mutable allowCredentials?: array<publicKeyCredentialDescriptor>,
+  mutable userVerification?: userVerificationRequirement,
+  mutable extensions?: authenticationExtensionsClientInputs,
+}
+
+type credentialRequestOptions = {
+  mutable mediation?: credentialMediationRequirement,
+  mutable signal?: DOM.abortSignal,
+  mutable publicKey?: publicKeyCredentialRequestOptions,
+}
+
+type publicKeyCredentialEntity = {mutable name: string}
+
+type publicKeyCredentialRpEntity = {
+  ...publicKeyCredentialEntity,
+  mutable id?: string,
+}
+
+type publicKeyCredentialUserEntity = {
+  ...publicKeyCredentialEntity,
+  mutable id: ArrayBufferTypedArrayOrDataView.t,
+  mutable displayName: string,
+}
+
+type publicKeyCredentialParameters = {
+  @as("type") mutable type_: publicKeyCredentialType,
+  mutable alg: int,
+}
+
+type authenticatorSelectionCriteria = {
+  mutable authenticatorAttachment?: authenticatorAttachment,
+  mutable residentKey?: residentKeyRequirement,
+  mutable requireResidentKey?: bool,
+  mutable userVerification?: userVerificationRequirement,
+}
+
+type publicKeyCredentialCreationOptions = {
+  mutable rp: publicKeyCredentialRpEntity,
+  mutable user: publicKeyCredentialUserEntity,
+  mutable challenge: ArrayBufferTypedArrayOrDataView.t,
+  mutable pubKeyCredParams: array<publicKeyCredentialParameters>,
+  mutable timeout?: int,
+  mutable excludeCredentials?: array<publicKeyCredentialDescriptor>,
+  mutable authenticatorSelection?: authenticatorSelectionCriteria,
+  mutable attestation?: attestationConveyancePreference,
+  mutable extensions?: authenticationExtensionsClientInputs,
+}
+
+type credentialCreationOptions = {
+  mutable signal?: DOM.abortSignal,
+  mutable publicKey?: publicKeyCredentialCreationOptions,
+}

package/src/navigator/CredentialsContainer.res

@@ -0,0 +1,33 @@
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CredentialsContainer/get)
+*/
+@send
+external get: (
+  CredentialManagementTypes.credentialsContainer,
+  ~options: CredentialManagementTypes.credentialRequestOptions=?,
+) => promise<Null.t<CredentialManagementTypes.credential>> = "get"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CredentialsContainer/store)
+*/
+@send
+external store: (
+  CredentialManagementTypes.credentialsContainer,
+  CredentialManagementTypes.credential,
+) => promise<unit> = "store"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CredentialsContainer/create)
+*/
+@send
+external create: (
+  CredentialManagementTypes.credentialsContainer,
+  ~options: CredentialManagementTypes.credentialCreationOptions=?,
+) => promise<Null.t<CredentialManagementTypes.credential>> = "create"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CredentialsContainer/preventSilentAccess)
+*/
+@send
+external preventSilentAccess: CredentialManagementTypes.credentialsContainer => promise<unit> =
+  "preventSilentAccess"

package/src/navigator/Navigator.res

@@ -0,0 +1,166 @@
+type t = DOM.navigator
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/clipboard)
+    */
+@get external clipboard: t => ClipboardTypes.clipboard = "clipboard"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/credentials)
+    */
+@get external credentials: t => CredentialManagementTypes.credentialsContainer = "credentials"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/geolocation)
+    */
+@get external geolocation: t => GeolocationTypes.geolocation = "geolocation"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/userActivation)
+    */
+@get external userActivation: t => DOM.userActivation = "userActivation"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaCapabilities)
+    */
+@get external mediaCapabilities: t => MediaCapabilitiesTypes.mediaCapabilities = "mediaCapabilities"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaDevices)
+    */
+@get external mediaDevices: t => MediaCaptureAndStreamsTypes.mediaDevices = "mediaDevices"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/mediaSession)
+    */
+@get external mediaSession: t => MediaSessionTypes.mediaSession = "mediaSession"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/permissions)
+    */
+@get external permissions: t => PermissionsTypes.permissions = "permissions"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/maxTouchPoints)
+    */
+@get external maxTouchPoints: t => int = "maxTouchPoints"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/wakeLock)
+    */
+@get external wakeLock: t => ScreenWakeLockTypes.wakeLock = "wakeLock"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/serviceWorker)
+    */
+@get external serviceWorker: t => ServiceWorkerTypes.serviceWorkerContainer = "serviceWorker"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/userAgent)
+    */
+@get external userAgent: t => string = "userAgent"
+
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/language)
+    */
+@get external language: t => string = "language"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/languages)
+    */
+@get external languages: t => array<string> = "languages"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/onLine)
+    */
+@get external onLine: t => bool = "onLine"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/cookieEnabled)
+    */
+@get external cookieEnabled: t => bool = "cookieEnabled"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/pdfViewerEnabled)
+    */
+@get external pdfViewerEnabled: t => bool = "pdfViewerEnabled"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/hardwareConcurrency)
+    */
+@get external hardwareConcurrency: t => int = "hardwareConcurrency"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/storage)
+    */
+@get external storage: t => StorageTypes.storageManager = "storage"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/locks)
+    */
+@get external locks: t => WebLocksTypes.lockManager = "locks"
+/**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/webdriver)
+    */
+@get external webdriver: t => bool = "webdriver"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
+*/
+@send
+external sendBeacon: (t, ~url: string, ~data: FileTypes.readableStream<unit>=?) => bool =
+  "sendBeacon"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
+*/
+@send
+external sendBeacon2: (t, ~url: string, ~data: FileTypes.blob=?) => bool = "sendBeacon"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
+*/
+@send
+external sendBeacon3: (t, ~url: string, ~data: DataView.t=?) => bool = "sendBeacon"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
+*/
+@send
+external sendBeacon4: (t, ~url: string, ~data: ArrayBuffer.t=?) => bool = "sendBeacon"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
+*/
+@send
+external sendBeacon5: (t, ~url: string, ~data: FetchTypes.formData=?) => bool = "sendBeacon"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
+*/
+@send
+external sendBeacon6: (t, ~url: string, ~data: UrlTypes.urlSearchParams=?) => bool = "sendBeacon"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/sendBeacon)
+*/
+@send
+external sendBeacon7: (t, ~url: string, ~data: string=?) => bool = "sendBeacon"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/getGamepads)
+*/
+@throws(JsExn) @send
+external getGamepads: t => array<Null.t<GamepadTypes.gamepad>> = "getGamepads"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/requestMediaKeySystemAccess)
+*/
+@send
+external requestMediaKeySystemAccess: (
+  t,
+  ~keySystem: string,
+  ~supportedConfigurations: array<BaseEncryptedMediaExtensions.mediaKeySystemConfiguration>,
+) => promise<'mediaKeySystemAccess> = "requestMediaKeySystemAccess"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Navigator/requestMIDIAccess)
+*/
+@send
+external requestMIDIAccess: (
+  t,
+  ~options: WebMidiTypes.midiOptions=?,
+) => promise<WebMidiTypes.midiAccess> = "requestMIDIAccess"

package/src/navigator/Permissions.res

@@ -0,0 +1,10 @@
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Permissions/query)
+*/
+@send
+external query: (
+  PermissionsTypes.permissions,
+  PermissionsTypes.permissionDescriptor,
+) => promise<PermissionsTypes.permissionStatus> = "query"
+
+module Types = PermissionsTypes

package/src/navigator/PermissionsTypes.res

@@ -0,0 +1,38 @@
+@@warning("-30")
+
+type permissionName =
+  | @as("geolocation") Geolocation
+  | @as("midi") Midi
+  | @as("notifications") Notifications
+  | @as("persistent-storage") PersistentStorage
+  | @as("push") Push
+  | @as("screen-wake-lock") ScreenWakeLock
+  | @as("storage-access") StorageAccess
+
+type permissionState =
+  | @as("denied") Denied
+  | @as("granted") Granted
+  | @as("prompt") Prompt
+
+/**
+[See WebApiPermissions on MDN](https://developer.mozilla.org/docs/Web/API/Permissions)
+*/
+@editor.completeFrom(WebApiPermissions)
+type permissions = private {}
+
+/**
+[See PermissionStatus on MDN](https://developer.mozilla.org/docs/Web/API/PermissionStatus)
+*/
+type permissionStatus = {
+  ...DOM.eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PermissionStatus/state)
+    */
+  state: permissionState,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PermissionStatus/name)
+    */
+  name: string,
+}
+
+type permissionDescriptor = {mutable name: permissionName}