package ezjs_push

You can search for identifiers within the package.

in-package search v0.2.0

package ezjs_push

ezjs_push
- CHANGES
- LICENSE
- README
- Library ezjs_push
  - Ezjs_push
    
    extendableEvent
    
    notification_action
    
    notification_options
    
    notification_static
    
    notification_instance
    
    notificationEvent
    
    subscription_options
    
    pushSubscription
    
    pushManager
    
    pushMessageData
    
    pushEvent
    
    serviceWorker
    
    navigationPreloadState
    
    navigationPreloadManager
    
    sync_register_options
    
    syncRegistration
    
    syncManager
    
    contentIndex
    
    get_notification_options
    
    serviceWorkerRegistration
    
    registration_options
    
    serviceWorkerContainer
    
    navigator
    
    serviceWorkerGlobalScope
- Sources
  - ezjs_push
    
    ezjs_push.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class type `Ezjs_push.contentIndex`Source

method add : 'a -> unit Ezjs_min.meth

method delete : 'a -> unit Ezjs_min.meth

method getAll : 'a Ezjs_min.js_array Ezjs_min.t Ezjs_min.Promise.promise
                  Ezjs_min.t
                  Ezjs_min.meth