This package closely wraps the
It does not include the Push API Service Worker Additions. Instead,
it is a dependency of the
rescript-service-worker package. It has not been
npm i rescript-push
- [X] EventInitDict
- [X] EventType
- [X] ExtendableEvent
- [X] PushEvent
- [ ] PushManager
- [X] PushManagerPermissionState
- [X] PushMessageData
- [X] PushSubscription
- [X] SubscriptionOptions
'data is a frequent type parameter. It represents the untyped data object
passed into the eventInitDict of the PushEvent constructor.
There's currently no ReScript
Blob type binding that I'm aware of, so
rather than find a workaround, I'm just leaving that one as an exercise for
This software is available under two licenses.
- an adaptation of the Do No Harm license which I've called the No Violence license.
- the MIT license.
Both are available in this directory.
For further reading
I strongly recommend you check out my catch-all documentation on my projects. It describes how to get in touch with me if you have any questions, how to contribute code, coordinated disclosure of security vulnerabilities, and more. It will be regularly updated with any information I deem relevant to my side projects.