Type Members

1.  sealed trait PushEncryptionKeyName extends Any

   This represents a JavaScript enumeration representing the various keys you an request from a PushSubscription as described here: http://www.w3.org/TR/push-api/#idl-def-PushEncryptionKeyName

   This represents a JavaScript enumeration representing the various keys you an request from a PushSubscription as described here: http://www.w3.org/TR/push-api/#idl-def-PushEncryptionKeyName

   Annotations

   @JSType() @native()

2.  trait PushEvent extends ExtendableEvent

   The PushEvent interface of the Push API represents a push message that has been received.

   The PushEvent interface of the Push API represents a push message that has been received. This event is sent to the global scope of a ServiceWorker. It contains the information sent from an application server to a PushSubscription.

   MDN

   Annotations

   @JSType() @native()

3.  trait PushManager extends Object

   The PushManager interface of the Push API provides a way to receive notifications from third-party servers as well as request URLs for push notifications.

   The PushManager interface of the Push API provides a way to receive notifications from third-party servers as well as request URLs for push notifications.

   This interface is accessed via the ServiceWorkerRegistration.pushManager property.

   MDN

   The Push API is currently specified here: https://www.w3.org/TR/2018/WD-push-api-20181026/

   Annotations

   @JSType() @native()

4.  trait PushMessageData extends Object

   The PushMessageData interface of the Push API provides methods which let you retrieve the push data sent by a server in various formats.

   The PushMessageData interface of the Push API provides methods which let you retrieve the push data sent by a server in various formats.

   Unlike the similar methods in the Fetch API, which only allow the method to be invoked once, these methods can be called multiple times.

   MDN

   Annotations

   @JSType() @native()

5.  sealed trait PushPermissionState extends Any

   This represents a JavaScript enumeration describing the state of permissions for pushing described here: http://www.w3.org/TR/push-api/#idl-def-PushPermissionState

   This represents a JavaScript enumeration describing the state of permissions for pushing described here: http://www.w3.org/TR/push-api/#idl-def-PushPermissionState

   Annotations

   @JSType() @native()

6.  trait PushServiceWorkerGlobalScope extends Any

   A trait used for patching Push API support onto ServiceWorkerGlobalScope.

   A trait used for patching Push API support onto ServiceWorkerGlobalScope.

   Annotations

   @JSType() @native()

7.  trait PushServiceWorkerRegistration extends Any

   A trait used for patching Push API support onto ServiceWorkerRegistration.

   A trait used for patching Push API support onto ServiceWorkerRegistration.

   Annotations

   @JSType() @native()

8.  trait PushSubscription extends Object

   The PushSubscription interface of the Push API provides a subcription's URL endpoint and allows unsubscription from a push service.

   The PushSubscription interface of the Push API provides a subcription's URL endpoint and allows unsubscription from a push service.

   An instance of this interface can be serialized.

   MDN

   Annotations

   @JSType() @native()

9.  trait PushSubscriptionJSON extends Object

   A PushSubscriptionJSON dictionary represents the JSON type of a PushSubscription.

   A PushSubscriptionJSON dictionary represents the JSON type of a PushSubscription. In ECMAScript this can be converted into a JSON string through the JSON.stringify function.

   MDN

   Annotations

   @JSType() @native()

10.  trait PushSubscriptionOptions extends Object

    A PushSubscriptionOptions object represents additional options associated with a push subscription.

    A PushSubscriptionOptions object represents additional options associated with a push subscription.

    The userVisibleOnly option, when set to true, indicates that the push subscription will only be used for push messages whose effect is made visible to the user, for example by displaying a Web Notification.

    The applicationServerKey option defines the public key your application server uses for sending messages to clients via a push server endpoint.

    Annotations

    @JSType()