rescript-push
This package closely wraps the
Push API.
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
exhaustively tested.
Installation
npm i rescript-push
Implemented
- [X] EventInitDict
- [X] EventType
- [X] ExtendableEvent
- [X] PushEvent
- [ ] PushManager
- [X] PushManagerPermissionState
- [X] PushMessageData
- [X] PushSubscription
- [X] SubscriptionOptions
Notes
'data
'data is a frequent type parameter. It represents the untyped data object
passed into the eventInitDict of the PushEvent constructor.
PushMessageData
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
the reader.
License
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.