@rescript/webapi 0.1.0-alpha-b1d58f9

package/src/media/WebSpeechTypes.res

@@ -0,0 +1,83 @@
+@@warning("-30")
+
+/**
+This Web Speech API interface is the controller interface for the speech service; this can be used to retrieve information about the synthesis voices available on the device, start and pause speech, and other commands besides.
+[See SpeechSynthesis on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesis)
+*/
+@editor.completeFrom(SpeechSynthesis)
+type speechSynthesis = private {
+  ...DOM.eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesis/pending)
+    */
+  pending: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesis/speaking)
+    */
+  speaking: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesis/paused)
+    */
+  paused: bool,
+}
+
+/**
+This Web Speech API interface represents a voice that the system supports. Every SpeechSynthesisVoice has its own relative speech service including information about language, name and URI.
+[See SpeechSynthesisVoice on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisVoice)
+*/
+type speechSynthesisVoice = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisVoice/voiceURI)
+    */
+  voiceURI: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisVoice/name)
+    */
+  name: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisVoice/lang)
+    */
+  lang: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisVoice/localService)
+    */
+  localService: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisVoice/default)
+    */
+  default: bool,
+}
+
+/**
+This Web Speech API interface represents a speech request. It contains the content the speech service should read and information about how to read it (e.g. language, pitch and volume.)
+[See SpeechSynthesisUtterance on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+@editor.completeFrom(SpeechSynthesisUtterance)
+type speechSynthesisUtterance = {
+  ...DOM.eventTarget,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance/text)
+    */
+  mutable text: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance/lang)
+    */
+  mutable lang: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance/voice)
+    */
+  mutable voice: Null.t<speechSynthesisVoice>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance/volume)
+    */
+  mutable volume: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance/rate)
+    */
+  mutable rate: float,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/SpeechSynthesisUtterance/pitch)
+    */
+  mutable pitch: float,
+}

package/src/media/WebVttTypes.res

@@ -0,0 +1,123 @@
+@@warning("-30")
+
+type textTrackKind =
+  | @as("captions") Captions
+  | @as("chapters") Chapters
+  | @as("descriptions") Descriptions
+  | @as("metadata") Metadata
+  | @as("subtitles") Subtitles
+
+type textTrackMode =
+  | @as("disabled") Disabled
+  | @as("hidden") Hidden
+  | @as("showing") Showing
+
+/**
+[See TextTrackCueList on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCueList)
+*/
+@editor.completeFrom(TextTrackCueList)
+type textTrackCueList = private {
+  /**
+    Returns the number of cues in the list.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCueList/length)
+    */
+  length: int,
+}
+
+/**
+TextTrackCues represent a string of text that will be displayed for some duration of time on a TextTrack. This includes the start and end times that the cue will be displayed. A TextTrackCue cannot be used directly, instead one of the derived types (e.g. VTTCue) must be used.
+[See TextTrackCue on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCue)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+@editor.completeFrom(TextTrack)
+type rec textTrackCue = {
+  ...DOM.eventTarget,
+  /**
+    Returns the TextTrack object to which this text track cue belongs, if any, or null otherwise.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCue/track)
+    */
+  track: Null.t<textTrack>,
+  /**
+    Returns the text track cue identifier.
+
+Can be set.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCue/id)
+    */
+  mutable id: string,
+  /**
+    Returns the text track cue start time, in seconds.
+
+Can be set.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCue/startTime)
+    */
+  mutable startTime: float,
+  /**
+    Returns the text track cue end time, in seconds.
+
+Can be set.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCue/endTime)
+    */
+  mutable endTime: float,
+  /**
+    Returns true if the text track cue pause-on-exit flag is set, false otherwise.
+
+Can be set.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrackCue/pauseOnExit)
+    */
+  mutable pauseOnExit: bool,
+}
+
+/**
+This interface also inherits properties from EventTarget.
+[See TextTrack on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack)
+TODO: mark as private once mutating fields of private records is allowed
+*/
+@editor.completeFrom(TextTrack) and textTrack = {
+  ...DOM.eventTarget,
+  /**
+    Returns the text track kind string.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/kind)
+    */
+  kind: textTrackKind,
+  /**
+    Returns the text track label, if there is one, or the empty string otherwise (indicating that a custom label probably needs to be generated from the other attributes of the object if the object is exposed to the user).
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/label)
+    */
+  label: string,
+  /**
+    Returns the text track language string.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/language)
+    */
+  language: string,
+  /**
+    Returns the ID of the given track.
+
+For in-band tracks, this is the ID that can be used with a fragment if the format supports media fragment syntax, and that can be used with the getTrackById() method.
+
+For TextTrack objects corresponding to track elements, this is the ID of the track element.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/id)
+    */
+  id: string,
+  /**
+    Returns the text track in-band metadata track dispatch type string.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/inBandMetadataTrackDispatchType)
+    */
+  inBandMetadataTrackDispatchType: string,
+  /**
+    Returns the text track mode, represented by a string from the following list:
+
+Can be set, to change the mode.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/mode)
+    */
+  mutable mode: textTrackMode,
+  /**
+    Returns the text track list of cues, as a TextTrackCueList object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/cues)
+    */
+  cues: Null.t<textTrackCueList>,
+  /**
+    Returns the text track cues from the text track list of cues that are currently active (i.e. that start before the current playback position and end after it), as a TextTrackCueList object.
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/TextTrack/activeCues)
+    */
+  activeCues: Null.t<textTrackCueList>,
+}

package/src/messaging/ApplicationServerKey.res

@@ -0,0 +1,2 @@
+external fromString: string => PushTypes.applicationServerKey = "%identity"
+external fromUint8Array: Uint8Array.t => PushTypes.applicationServerKey = "%identity"

package/src/messaging/ChannelMessagingTypes.res

@@ -0,0 +1,12 @@
+@@warning("-30")
+
+/**
+This Channel Messaging API interface represents one of the two ports of a MessageChannel, allowing messages to be sent from one port and listening out for them arriving at the other.
+[See MessagePort on MDN](https://developer.mozilla.org/docs/Web/API/MessagePort)
+*/
+@editor.completeFrom(MessagePort)
+type messagePort = private {
+  ...DOM.eventTarget,
+}
+
+type structuredSerializeOptions = {mutable transfer?: array<Dict.t<string>>}

package/src/messaging/CloseEvent.res

@@ -0,0 +1,10 @@
+include Event.Impl({type t = WebSocketsTypes.closeEvent})
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/CloseEvent)
+*/
+@new
+external make: (
+  ~type_: string,
+  ~eventInitDict: WebSocketsTypes.closeEventInit=?,
+) => WebSocketsTypes.closeEvent = "CloseEvent"

package/src/messaging/MessageEvent.res

@@ -0,0 +1,43 @@
+type event = DOM.event
+type eventTarget = DOM.eventTarget
+type messageEventSource = WebSocketsTypes.messageEventSource
+
+type messageEvent<'t> = WebSocketsTypes.messageEvent<'t>
+type messageEventInit<'t> = WebSocketsTypes.messageEventInit<'t>
+
+type t<'t> = messageEvent<'t>
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessageEvent)
+*/
+@new
+external make: (~type_: string, ~eventInitDict: messageEventInit<'t>=?) => t<'t> = "MessageEvent"
+
+external asEvent: t<'t> => event = "%identity"
+/**
+Returns the invocation target objects of event's path (objects on which listeners will be invoked), except for any nodes in shadow trees of which the shadow root's mode is "closed" that are not reachable from event's currentTarget.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/composedPath)
+*/
+@send
+external composedPath: t<'t> => array<eventTarget> = "composedPath"
+
+/**
+When dispatched in a tree, invoking this method prevents event from reaching any objects other than the current object.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/stopPropagation)
+*/
+@send
+external stopPropagation: t<'t> => unit = "stopPropagation"
+
+/**
+Invoking this method prevents event from reaching any registered event listeners after the current one finishes running and, when dispatched in a tree, also prevents event from reaching any other objects.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/stopImmediatePropagation)
+*/
+@send
+external stopImmediatePropagation: t<'t> => unit = "stopImmediatePropagation"
+
+/**
+If invoked when the cancelable attribute value is true, and while executing a listener for the event with passive set to false, signals to the operation that caused event to be dispatched that it needs to be canceled.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Event/preventDefault)
+*/
+@send
+external preventDefault: t<'t> => unit = "preventDefault"

package/src/messaging/MessagePort.res

@@ -0,0 +1,38 @@
+type t = ChannelMessagingTypes.messagePort = private {...ChannelMessagingTypes.messagePort}
+type structuredSerializeOptions = ChannelMessagingTypes.structuredSerializeOptions
+
+include EventTarget.Impl({type t = t})
+
+/**
+Posts a message through the channel. Objects listed in transfer are transferred, not just cloned, meaning that they are no longer usable on the sending side.
+
+Throws a "DataCloneError" DOMException if transfer contains duplicate objects or port, or if message could not be cloned.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessagePort/postMessage)
+*/
+@throws(JsExn) @send
+external postMessage: (t, ~message: JSON.t, ~transfer: array<Dict.t<string>>) => unit =
+  "postMessage"
+
+/**
+Posts a message through the channel. Objects listed in transfer are transferred, not just cloned, meaning that they are no longer usable on the sending side.
+
+Throws a "DataCloneError" DOMException if transfer contains duplicate objects or port, or if message could not be cloned.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessagePort/postMessage)
+*/
+@throws(JsExn) @send
+external postMessage2: (t, ~message: JSON.t, ~options: structuredSerializeOptions=?) => unit =
+  "postMessage"
+
+/**
+Begins dispatching messages received on the port.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessagePort/start)
+*/
+@send
+external start: t => unit = "start"
+
+/**
+Disconnects the port, so that it is no longer active.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/MessagePort/close)
+*/
+@send
+external close: t => unit = "close"

package/src/messaging/Notification.res

@@ -0,0 +1,46 @@
+type t = NotificationTypes.notification = private {...NotificationTypes.notification}
+type notificationDirection = NotificationTypes.notificationDirection
+type notificationPermission = NotificationTypes.notificationPermission
+type notificationAction = NotificationTypes.notificationAction = {
+  ...NotificationTypes.notificationAction,
+}
+type notificationOptions = NotificationTypes.notificationOptions = {
+  ...NotificationTypes.notificationOptions,
+}
+type getNotificationOptions = NotificationTypes.getNotificationOptions = {
+  ...NotificationTypes.getNotificationOptions,
+}
+type notificationPermissionCallback = NotificationTypes.notificationPermissionCallback
+type notificationEvent = NotificationTypes.notificationEvent = {
+  ...NotificationTypes.notificationEvent,
+}
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
+*/
+@throws(JsExn) @new
+external make: (~title: string, ~options: notificationOptions=?) => t = "Notification"
+
+include EventTarget.Impl({type t = t})
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/requestPermission_static)
+*/
+@scope("Notification")
+external requestPermission: (
+  ~deprecatedCallback: notificationPermissionCallback=?,
+) => promise<notificationPermission> = "requestPermission"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/Notification/close)
+*/
+@send
+external close: t => unit = "close"
+
+/**
+[Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/Notification/permission_static)
+*/
+@scope("Notification") @val
+external permission: notificationPermission = "permission"
+
+module Types = NotificationTypes

package/src/messaging/NotificationTypes.res

@@ -0,0 +1,107 @@
+@@warning("-30")
+
+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 WebApiNotification on MDN](https://developer.mozilla.org/docs/Web/API/Notification)
+*/
+@editor.completeFrom(Notification)
+type notification = private {
+  ...DOM.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,
+}
+
+/**
+ An array of actions to display in the notification, for which the default is an empty array.
+ [Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/ServiceWorkerRegistration/showNotification#actions)
+ */
+type notificationAction = {
+  action: string,
+  title: string,
+  icon?: string,
+}
+
+type notificationOptions = {
+  mutable dir?: notificationDirection,
+  mutable lang?: string,
+  mutable body?: string,
+  mutable tag?: string,
+  mutable icon?: string,
+  mutable badge?: string,
+  mutable silent?: Nullable.t<bool>,
+  mutable requireInteraction?: bool,
+  mutable data?: JSON.t,
+  mutable actions?: array<notificationAction>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/ServiceWorkerRegistration/showNotification#vibrate)
+  */
+  mutable vibrate?: array<int>,
+}
+
+type getNotificationOptions = {mutable tag?: string}
+
+type notificationPermissionCallback = notificationPermission => unit
+
+type notificationEvent = {
+  ...DOM.extendableEvent,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/NotificationEvent/action)
+  */
+  action: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/NotificationEvent/notification)
+  */
+  notification: notification,
+}

package/src/messaging/PushEvent.res

@@ -0,0 +1,3 @@
+type t = PushTypes.pushEvent = private {...PushTypes.pushEvent}
+
+include ExtendableEvent.Impl({type t = t})

package/src/messaging/PushManager.res

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

package/src/messaging/PushMessageData.res

@@ -0,0 +1,15 @@
+type t = PushTypes.pushMessageData
+
+/**
+The json() method of the PushMessageData interface extracts push message data by parsing it as a JSON string and returning the result.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushMessageData/json)
+*/
+@send
+external json: t => JSON.t = "json"
+
+/**
+The text() method of the PushMessageData interface extracts push message data as a plain text string.
+[Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushMessageData/text)
+*/
+@send
+external text: t => string = "text"

package/src/messaging/PushSubscription.res

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

package/src/messaging/PushTypes.res

@@ -0,0 +1,88 @@
+@@warning("-30")
+
+type permissionState =
+  | @as("denied") Denied
+  | @as("granted") Granted
+  | @as("prompt") Prompt
+
+type pushEncryptionKeyName =
+  | @as("auth") Auth
+  | @as("p256dh") P256dh
+
+/**
+This WebApiPush API interface provides a way to receive notifications from third-party servers as well as request URLs for push notifications.
+[See PushManager on MDN](https://developer.mozilla.org/docs/Web/API/PushManager)
+*/
+@editor.completeFrom(PushManager)
+type pushManager = private {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushManager/supportedContentEncodings_static)
+    */
+  supportedContentEncodings: array<string>,
+}
+
+type applicationServerKey
+
+/**
+[See PushSubscriptionOptions on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscriptionOptions)
+*/
+type pushSubscriptionOptions = {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscriptionOptions/userVisibleOnly)
+    */
+  userVisibleOnly: bool,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscriptionOptions/applicationServerKey)
+    */
+  applicationServerKey: Null.t<applicationServerKey>,
+}
+
+/**
+This WebApiPush API interface provides a subcription's WebApiURL endpoint and allows unsubscription from a push service.
+[See PushSubscription on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription)
+*/
+@editor.completeFrom(PushSubscription)
+type pushSubscription = private {
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/endpoint)
+    */
+  endpoint: string,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/expirationTime)
+    */
+  expirationTime: Null.t<int>,
+  /**
+    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushSubscription/options)
+    */
+  options: pushSubscriptionOptions,
+}
+
+type pushSubscriptionOptionsInit = {
+  mutable userVisibleOnly?: bool,
+  mutable applicationServerKey?: Nullable.t<applicationServerKey>,
+}
+
+type pushSubscriptionJSONKeys = {
+  /** Base64URL-encoded ArrayBuffer value */
+  p256dh: string,
+  /** Base64URL-encoded ArrayBuffer value */
+  auth: string,
+}
+
+type pushSubscriptionJSON = {
+  mutable endpoint?: string,
+  mutable expirationTime?: Nullable.t<int>,
+  mutable keys?: pushSubscriptionJSONKeys,
+}
+
+@editor.completeFrom(PushMessageData)
+type pushMessageData
+
+@editor.completeFrom(PushEvent)
+type pushEvent = private {
+  ...DOM.extendableEvent,
+  /**
+   [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushEvent/data)
+   */
+  data: Null.t<pushMessageData>,
+}