push_api library Null safety

Push API

https://w3c.github.io/push-api/

Classes

PushEvent
PushEventInit
PushManager
PushMessageData
PushPermissionDescriptor
PushSubscription
PushSubscriptionChangeEvent
PushSubscriptionChangeEventInit
PushSubscriptionJSON
PushSubscriptionOptions
PushSubscriptionOptionsInit

Extensions

PropsPushEvent
PropsPushEventInit
PropsPushManager
PropsPushMessageData
PropsPushPermissionDescriptor
PropsPushSubscription
PropsPushSubscriptionChangeEvent
PropsPushSubscriptionChangeEventInit
PropsPushSubscriptionJSON
PropsPushSubscriptionOptions
PropsPushSubscriptionOptionsInit

Enums

PushEncryptionKeyName