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.navigationPreloadManager`Source

method enable : unit Ezjs_min.Promise.promise Ezjs_min.t Ezjs_min.meth

method disable : unit Ezjs_min.Promise.promise Ezjs_min.t Ezjs_min.meth

method setHeaderValue : Ezjs_min.js_string Ezjs_min.t ->
  unit Ezjs_min.Promise.promise Ezjs_min.t Ezjs_min.meth

method getState : navigationPreloadState Ezjs_min.t Ezjs_min.Promise.promise
                    Ezjs_min.t
                    Ezjs_min.meth