@rescript/webapi 0.1.0-experimental-5bcdadd → 0.1.0-experimental-d10ffec

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rescript/webapi",
-  "version": "0.1.0-experimental-5bcdadd",
+  "version": "0.1.0-experimental-d10ffec",
   "description": "Experimental successor to [rescript-webapi](https://github.com/TheSpyder/rescript-webapi)",
   "homepage": "https://rescript-lang.github.io/experimental-rescript-webapi/",
   "bugs": "https://github.com/rescript-lang/experimental-rescript-webapi/issues",

package/src/EventAPI.res

@@ -226,5 +226,5 @@ The ExtendableEvent interface extends the lifetime of the install and activate e
  */
 @editor.completeFrom(ExtendableEvent)
 type extendableEvent = {
-  ...event
-}
+  ...event,
+}

package/src/NotificationAPI.res

@@ -73,7 +73,7 @@ type notification = {
 type notificationAction = {
   action: string,
   title: string,
-  icon?: string
+  icon?: string,
 }
 
 type notificationOptions = {
@@ -86,7 +86,7 @@ type notificationOptions = {
   mutable silent?: Null.t<bool>,
   mutable requireInteraction?: bool,
   mutable data?: JSON.t,
-  mutable actions?: array<notificationAction>
+  mutable actions?: array<notificationAction>,
 }
 
 type getNotificationOptions = {mutable tag?: string}

package/src/PushAPI/PushEvent.res

@@ -1,5 +1,5 @@
 open PushAPI
 
 include ExtendableEvent.Impl({
-  type t = pushEvent;
-});
+  type t = pushEvent
+})

package/src/PushAPI/PushMessageData.res

@@ -12,4 +12,4 @@ The text() method of the PushMessageData interface extracts push message data as
 [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushMessageData/text)
 */
 @send
-external text: pushMessageData => string = "text"
+external text: pushMessageData => string = "text"

package/src/PushAPI.res

@@ -65,10 +65,17 @@ type pushSubscriptionOptionsInit = {
   mutable applicationServerKey?: applicationServerKey,
 }
 
+type pushSubscriptionJSONKeys = {
+  /** Base64URL-encoded ArrayBuffer value */
+  p256dh: string,
+  /** Base64URL-encoded ArrayBuffer value */
+  auth: string,
+}
+
 type pushSubscriptionJSON = {
   mutable endpoint?: string,
   mutable expirationTime?: Null.t<int>,
-  mutable keys?: any,
+  mutable keys?: pushSubscriptionJSONKeys,
 }
 
 @editor.completeFrom(PushMessageData)
@@ -81,4 +88,4 @@ type pushEvent = {
    [Read more on MDN](https://developer.mozilla.org/docs/Web/API/PushEvent/data)
    */
   data?: pushMessageData,
-}
+}

package/src/ServiceWorkerAPI/ServiceWorkerGlobalScope.res

@@ -2,4 +2,4 @@ open ServiceWorkerAPI
 
 include WorkerGlobalScope.Impl({
   type t = serviceWorkerGlobalScope
-})
+})

package/src/ServiceWorkerAPI.res

@@ -155,4 +155,4 @@ The WindowClient interface of the ServiceWorker API represents the scope of a se
 */
 type windowClient = {
   ...client,
-}
+}

package/src/WebWorkersAPI/WorkerGlobalScope.res

@@ -22,7 +22,7 @@ let response = await self->WorkerGlobalScope.fetch("https://rescript-lang.org")
 
 [Read more on MDN](https://developer.mozilla.org/en-US/docs/Web/API/WorkerGlobalScope/fetch)
 */
-@send
+  @send
   external fetch: (T.t, string, ~init: requestInit=?) => promise<response> = "fetch"
 
   /**