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.