@rescript/webapi 0.1.0-experimental-29b94b3

package/src/NotificationAPI/Notification.res

@@ -0,0 +1,102 @@
+open EventAPI
+open NotificationAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
+*/
+@new
+external make: (~title: string, ~options: notificationOptions=?) => notification = "Notification"
+
+external asEventTarget: notification => eventTarget = "%identity"
+/**
+Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
+
+The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
+
+When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
+
+When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
+
+When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
+
+If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
+
+The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
+*/
+@send
+external addEventListener: (
+  notification,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: addEventListenerOptions=?,
+) => unit = "addEventListener"
+
+/**
+Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
+
+The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
+
+When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
+
+When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
+
+When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
+
+If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
+
+The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
+*/
+@send
+external addEventListener2: (
+  notification,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: bool=?,
+) => unit = "addEventListener"
+
+/**
+Removes the event listener in target's event listener list with the same type, callback, and options.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
+*/
+@send
+external removeEventListener: (
+  notification,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: eventListenerOptions=?,
+) => unit = "removeEventListener"
+
+/**
+Removes the event listener in target's event listener list with the same type, callback, and options.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
+*/
+@send
+external removeEventListener2: (
+  notification,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: bool=?,
+) => unit = "removeEventListener"
+
+/**
+Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
+*/
+@send
+external dispatchEvent: (notification, event) => bool = "dispatchEvent"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/requestPermission_static)
+*/
+@scope("Notification")
+external requestPermission: (
+  ~deprecatedCallback: notificationPermissionCallback=?,
+) => Promise.t<notificationPermission> = "requestPermission"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/close)
+*/
+@send
+external close: notification => unit = "close"

package/src/NotificationAPI.res

@@ -0,0 +1,82 @@
+@@warning("-30")
+
+open Prelude
+open EventAPI
+
+type notificationDirection =
+  | @as("auto") Auto
+  | @as("ltr") Ltr
+  | @as("rtl") Rtl
+
+type notificationPermission =
+  | @as("default") Default
+  | @as("denied") Denied
+  | @as("granted") Granted
+
+/**
+This Notifications API interface is used to configure and display desktop notifications to the user.
+[See Notification on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
+*/
+type notification = {
+  ...eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/permission_static)
+    */
+  permission: notificationPermission,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/title)
+    */
+  title: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/dir)
+    */
+  dir: notificationDirection,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/lang)
+    */
+  lang: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/body)
+    */
+  body: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/tag)
+    */
+  tag: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/icon)
+    */
+  icon: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/badge)
+    */
+  badge: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/silent)
+    */
+  silent: Null.t<bool>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/requireInteraction)
+    */
+  requireInteraction: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/data)
+    */
+  data: JSON.t,
+}
+
+type notificationOptions = {
+  mutable dir?: notificationDirection,
+  mutable lang?: string,
+  mutable body?: string,
+  mutable tag?: string,
+  mutable icon?: string,
+  mutable badge?: string,
+  mutable silent?: Null.t<bool>,
+  mutable requireInteraction?: bool,
+  mutable data?: JSON.t,
+}
+
+type getNotificationOptions = {mutable tag?: string}
+
+type notificationPermissionCallback = notificationPermission => unit

package/src/PerformanceAPI/Performance.res

@@ -0,0 +1,169 @@
+open EventAPI
+open PerformanceAPI
+
+external asEventTarget: performance => eventTarget = "%identity"
+/**
+Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
+
+The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
+
+When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
+
+When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
+
+When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
+
+If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
+
+The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
+*/
+@send
+external addEventListener: (
+  performance,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: addEventListenerOptions=?,
+) => unit = "addEventListener"
+
+/**
+Appends an event listener for events whose type attribute value is type. The callback argument sets the callback that will be invoked when the event is dispatched.
+
+The options argument sets listener-specific options. For compatibility this can be a boolean, in which case the method behaves exactly as if the value was specified as options's capture.
+
+When set to true, options's capture prevents callback from being invoked when the event's eventPhase attribute value is BUBBLING_PHASE. When false (or not present), callback will not be invoked when event's eventPhase attribute value is CAPTURING_PHASE. Either way, callback will be invoked if event's eventPhase attribute value is AT_TARGET.
+
+When set to true, options's passive indicates that the callback will not cancel the event by invoking preventDefault(). This is used to enable performance optimizations described in § 2.8 Observing event listeners.
+
+When set to true, options's once indicates that the callback will only be invoked once after which the event listener will be removed.
+
+If an AbortSignal is passed for options's signal, then the event listener will be removed when signal is aborted.
+
+The event listener is appended to target's event listener list and is not appended if it has the same type, callback, and capture.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/addEventListener)
+*/
+@send
+external addEventListener2: (
+  performance,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: bool=?,
+) => unit = "addEventListener"
+
+/**
+Removes the event listener in target's event listener list with the same type, callback, and options.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
+*/
+@send
+external removeEventListener: (
+  performance,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: eventListenerOptions=?,
+) => unit = "removeEventListener"
+
+/**
+Removes the event listener in target's event listener list with the same type, callback, and options.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/removeEventListener)
+*/
+@send
+external removeEventListener2: (
+  performance,
+  ~type_: eventType,
+  ~callback: eventListener<'event>,
+  ~options: bool=?,
+) => unit = "removeEventListener"
+
+/**
+Dispatches a synthetic event event to target and returns true if either event's cancelable attribute value is false or its preventDefault() method was not invoked, and false otherwise.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/EventTarget/dispatchEvent)
+*/
+@send
+external dispatchEvent: (performance, event) => bool = "dispatchEvent"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/now)
+*/
+@send
+external now: performance => float = "now"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/toJSON)
+*/
+@send
+external toJSON: performance => Dict.t<string> = "toJSON"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntries)
+*/
+@send
+external getEntries: performance => performanceEntryList = "getEntries"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntriesByType)
+*/
+@send
+external getEntriesByType: (performance, string) => performanceEntryList = "getEntriesByType"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/getEntriesByName)
+*/
+@send
+external getEntriesByName: (performance, ~name: string, ~type_: string=?) => performanceEntryList =
+  "getEntriesByName"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearResourceTimings)
+*/
+@send
+external clearResourceTimings: performance => unit = "clearResourceTimings"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/setResourceTimingBufferSize)
+*/
+@send
+external setResourceTimingBufferSize: (performance, int) => unit = "setResourceTimingBufferSize"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/mark)
+*/
+@send
+external mark: (
+  performance,
+  ~markName: string,
+  ~markOptions: performanceMarkOptions=?,
+) => performanceMark = "mark"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearMarks)
+*/
+@send
+external clearMarks: (performance, ~markName: string=?) => unit = "clearMarks"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/measure)
+*/
+@send
+external measure: (
+  performance,
+  ~measureName: string,
+  ~startOrMeasureOptions: string=?,
+  ~endMark: string=?,
+) => performanceMeasure = "measure"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/measure)
+*/
+@send
+external measure2: (
+  performance,
+  ~measureName: string,
+  ~startOrMeasureOptions: performanceMeasureOptions=?,
+  ~endMark: string=?,
+) => performanceMeasure = "measure"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/clearMeasures)
+*/
+@send
+external clearMeasures: (performance, ~measureName: string=?) => unit = "clearMeasures"

package/src/PerformanceAPI/PerformanceEntry.res

@@ -0,0 +1,7 @@
+open PerformanceAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/toJSON)
+*/
+@send
+external toJSON: performanceEntry => Dict.t<string> = "toJSON"

package/src/PerformanceAPI/PerformanceMark.res

@@ -0,0 +1,15 @@
+open PerformanceAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMark)
+*/
+@new
+external make: (~markName: string, ~markOptions: performanceMarkOptions=?) => performanceMark =
+  "PerformanceMark"
+
+external asPerformanceEntry: performanceMark => performanceEntry = "%identity"
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/toJSON)
+*/
+@send
+external toJSON: performanceMark => Dict.t<string> = "toJSON"

package/src/PerformanceAPI.res

@@ -0,0 +1,86 @@
+@@warning("-30")
+
+open Prelude
+open EventAPI
+
+/**
+[See EventCounts on MDN](https://developer.mozilla.org/docs/Web/API/EventCounts)
+*/
+type eventCounts = {}
+
+/**
+Provides access to performance-related information for the current page. It's part of the High Resolution Time API, but is enhanced by the Performance Timeline API, the Navigation Timing API, the User Timing API, and the Resource Timing API.
+[See Performance on MDN](https://developer.mozilla.org/docs/Web/API/Performance)
+*/
+type performance = {
+  ...eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/timeOrigin)
+    */
+  timeOrigin: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/Performance/eventCounts)
+    */
+  eventCounts: eventCounts,
+}
+
+/**
+Encapsulates a single performance metric that is part of the performance timeline. A performance entry can be directly created by making a performance mark or measure (for example by calling the mark() method) at an explicit point in an application. Performance entries are also created in indirect ways such as loading a resource (such as an image).
+[See PerformanceEntry on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry)
+*/
+type performanceEntry = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/entryType)
+    */
+  entryType: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/startTime)
+    */
+  startTime: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceEntry/duration)
+    */
+  duration: float,
+}
+
+/**
+PerformanceMark is an abstract interface for PerformanceEntry objects with an entryType of "mark". Entries of this type are created by calling performance.mark() to add a named DOMHighResTimeStamp (the mark) to the browser's performance timeline.
+[See PerformanceMark on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMark)
+*/
+type performanceMark = {
+  ...performanceEntry,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMark/detail)
+    */
+  detail: JSON.t,
+}
+
+/**
+PerformanceMeasure is an abstract interface for PerformanceEntry objects with an entryType of "measure". Entries of this type are created by calling performance.measure() to add a named DOMHighResTimeStamp (the measure) between two marks to the browser's performance timeline.
+[See PerformanceMeasure on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMeasure)
+*/
+type performanceMeasure = {
+  ...performanceEntry,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PerformanceMeasure/detail)
+    */
+  detail: JSON.t,
+}
+
+type performanceEntryList = any
+
+type performanceMarkOptions = {
+  mutable detail?: JSON.t,
+  mutable startTime?: float,
+}
+
+type performanceMeasureOptions = {
+  mutable detail?: JSON.t,
+  mutable start?: unknown,
+  mutable duration?: float,
+  mutable end?: unknown,
+}

package/src/PermissionsAPI/Permissions.res

@@ -0,0 +1,7 @@
+open PermissionsAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Permissions/query)
+*/
+@send
+external query: (permissions, permissionDescriptor) => Promise.t<permissionStatus> = "query"

package/src/PermissionsAPI.res

@@ -0,0 +1,39 @@
+@@warning("-30")
+
+open EventAPI
+
+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 Permissions on MDN](https://developer.mozilla.org/docs/Web/API/Permissions)
+*/
+type permissions = {}
+
+/**
+[See PermissionStatus on MDN](https://developer.mozilla.org/docs/Web/API/PermissionStatus)
+*/
+type permissionStatus = {
+  ...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}

package/src/PictureInPicture.res

@@ -0,0 +1,18 @@
+@@warning("-30")
+
+open EventAPI
+
+/**
+[See PictureInPictureWindow on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow)
+*/
+type pictureInPictureWindow = {
+  ...eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow/width)
+    */
+  width: int,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow/height)
+    */
+  height: int,
+}

package/src/PictureInPictureAPI.res

@@ -0,0 +1,18 @@
+@@warning("-30")
+
+open EventAPI
+
+/**
+[See PictureInPictureWindow on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow)
+*/
+type pictureInPictureWindow = {
+  ...eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow/width)
+    */
+  width: int,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PictureInPictureWindow/height)
+    */
+  height: int,
+}

package/src/Prelude/DOMException.res

@@ -0,0 +1,7 @@
+open Prelude
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMException)
+*/
+@new
+external make: (~message: string=?, ~name: string=?) => domException = "DOMException"

package/src/Prelude/DOMStringList.res

@@ -0,0 +1,15 @@
+open Prelude
+
+/**
+Returns the string with index index from strings.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMStringList/item)
+*/
+@send
+external item: (domStringList, int) => string = "item"
+
+/**
+Returns true if strings contains string, and false otherwise.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMStringList/contains)
+*/
+@send
+external contains: (domStringList, string) => bool = "contains"

package/src/Prelude.res

@@ -0,0 +1,39 @@
+@@warning("-30")
+type any = {}
+
+external unsafeConversation: 'tinput => 'toutput = "%identity"
+
+type bufferSource = any
+
+type bodyInit = any
+
+type sharedArrayBuffer = any
+
+type float64Array = any
+
+/**
+An abnormal event (called an exception) which occurs as a result of calling a method or accessing a property of a web API.
+[See DOMException on MDN](https://developer.mozilla.org/docs/Web/API/DOMException)
+*/
+type domException = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMException/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMException/message)
+    */
+  message: string,
+}
+
+/**
+A type returned by some APIs which contains a list of DOMString (strings).
+[See DOMStringList on MDN](https://developer.mozilla.org/docs/Web/API/DOMStringList)
+*/
+type domStringList = {
+  /**
+    Returns the number of strings in strings.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/DOMStringList/length)
+    */
+  length: int,
+}

package/src/PushManagerAPI/PushManager.res

@@ -0,0 +1,25 @@
+open PushManagerAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/subscribe)
+*/
+@send
+external subscribe: (
+  pushManager,
+  ~options: pushSubscriptionOptionsInit=?,
+) => Promise.t<pushSubscription> = "subscribe"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/getSubscription)
+*/
+@send
+external getSubscription: pushManager => Promise.t<pushSubscription> = "getSubscription"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/permissionState)
+*/
+@send
+external permissionState: (
+  pushManager,
+  ~options: pushSubscriptionOptionsInit=?,
+) => Promise.t<permissionState> = "permissionState"

package/src/PushManagerAPI/PushSubscription.res

@@ -0,0 +1,19 @@
+open PushManagerAPI
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/getKey)
+*/
+@send
+external getKey: (pushSubscription, pushEncryptionKeyName) => ArrayBuffer.t = "getKey"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/unsubscribe)
+*/
+@send
+external unsubscribe: pushSubscription => Promise.t<bool> = "unsubscribe"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/toJSON)
+*/
+@send
+external toJSON: pushSubscription => pushSubscriptionJSON = "toJSON"