Idris2Doc : Web.Internal.ServiceworkerPrim

Web.Internal.ServiceworkerPrim

(source)

Definitions

prim__addAll : Cache -> Array (Union2 Request String) -> PrimIO (Promise Undefined)
prim__add : Cache -> Union2 Request String -> PrimIO (Promise Undefined)
prim__delete : Cache -> Union2 Request String -> UndefOr CacheQueryOptions -> PrimIO (Promise Boolean)
prim__keys : Cache -> UndefOr (Union2 Request String) -> UndefOr CacheQueryOptions -> PrimIO (Promise (Array Request))
prim__matchAll : Cache -> UndefOr (Union2 Request String) -> UndefOr CacheQueryOptions -> PrimIO (Promise (Array Response))
prim__match : Cache -> Union2 Request String -> UndefOr CacheQueryOptions -> PrimIO (Promise (Union2 Response Undefined))
prim__put : Cache -> Union2 Request String -> Response -> PrimIO (Promise Undefined)
prim__delete : CacheStorage -> String -> PrimIO (Promise Boolean)
prim__has : CacheStorage -> String -> PrimIO (Promise Boolean)
prim__keys : CacheStorage -> PrimIO (Promise (Array String))
prim__match : CacheStorage -> Union2 Request String -> UndefOr MultiCacheQueryOptions -> PrimIO (Promise (Union2 Response Undefined))
prim__open : CacheStorage -> String -> PrimIO (Promise Cache)
prim__frameType : Client -> PrimIO String
prim__id : Client -> PrimIO String
prim__type : Client -> PrimIO String
prim__url : Client -> PrimIO String
prim__postMessage : Client -> AnyPtr -> Array Object -> PrimIO ()
prim__postMessage1 : Client -> AnyPtr -> UndefOr PostMessageOptions -> PrimIO ()
prim__claim : Clients -> PrimIO (Promise Undefined)
prim__get : Clients -> String -> PrimIO (Promise (Union2 Client Undefined))
prim__matchAll : Clients -> UndefOr ClientQueryOptions -> PrimIO (Promise (Array Client))
prim__openWindow : Clients -> String -> PrimIO (Promise (Nullable WindowClient))
prim__new : String -> UndefOr ExtendableEventInit -> PrimIO ExtendableEvent
prim__waitUntil : ExtendableEvent -> Promise AnyPtr -> PrimIO ()
prim__new : String -> UndefOr ExtendableMessageEventInit -> PrimIO ExtendableMessageEvent
prim__data : ExtendableMessageEvent -> PrimIO AnyPtr
prim__lastEventId : ExtendableMessageEvent -> PrimIO String
prim__origin : ExtendableMessageEvent -> PrimIO String
prim__ports : ExtendableMessageEvent -> PrimIO (Array MessagePort)
prim__source : ExtendableMessageEvent -> PrimIO (Nullable (Union3 Client ServiceWorker MessagePort))
prim__new : String -> FetchEventInit -> PrimIO FetchEvent
prim__clientId : FetchEvent -> PrimIO String
prim__handled : FetchEvent -> PrimIO (Promise Undefined)
prim__preloadResponse : FetchEvent -> PrimIO (Promise AnyPtr)
prim__replacesClientId : FetchEvent -> PrimIO String
prim__request : FetchEvent -> PrimIO Request
prim__resultingClientId : FetchEvent -> PrimIO String
prim__respondWith : FetchEvent -> Promise Response -> PrimIO ()
prim__disable : NavigationPreloadManager -> PrimIO (Promise Undefined)
prim__enable : NavigationPreloadManager -> PrimIO (Promise Undefined)
prim__getState : NavigationPreloadManager -> PrimIO (Promise NavigationPreloadState)
prim__setHeaderValue : NavigationPreloadManager -> ByteString -> PrimIO (Promise Undefined)
prim__onstatechange : ServiceWorker -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnstatechange : ServiceWorker -> Nullable EventHandlerNonNull -> PrimIO ()
prim__scriptURL : ServiceWorker -> PrimIO String
prim__state : ServiceWorker -> PrimIO String
prim__postMessage : ServiceWorker -> AnyPtr -> Array Object -> PrimIO ()
prim__postMessage1 : ServiceWorker -> AnyPtr -> UndefOr PostMessageOptions -> PrimIO ()
prim__controller : ServiceWorkerContainer -> PrimIO (Nullable ServiceWorker)
prim__oncontrollerchange : ServiceWorkerContainer -> PrimIO (Nullable EventHandlerNonNull)
prim__setOncontrollerchange : ServiceWorkerContainer -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onmessage : ServiceWorkerContainer -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnmessage : ServiceWorkerContainer -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onmessageerror : ServiceWorkerContainer -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnmessageerror : ServiceWorkerContainer -> Nullable EventHandlerNonNull -> PrimIO ()
prim__ready : ServiceWorkerContainer -> PrimIO (Promise ServiceWorkerRegistration)
prim__getRegistration : ServiceWorkerContainer -> UndefOr String -> PrimIO (Promise (Union2 ServiceWorkerRegistration Undefined))
prim__getRegistrations : ServiceWorkerContainer -> PrimIO (Promise (Array ServiceWorkerRegistration))
prim__register : ServiceWorkerContainer -> String -> UndefOr RegistrationOptions -> PrimIO (Promise ServiceWorkerRegistration)
prim__startMessages : ServiceWorkerContainer -> PrimIO ()
prim__clients : ServiceWorkerGlobalScope -> PrimIO Clients
prim__onactivate : ServiceWorkerGlobalScope -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnactivate : ServiceWorkerGlobalScope -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onfetch : ServiceWorkerGlobalScope -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnfetch : ServiceWorkerGlobalScope -> Nullable EventHandlerNonNull -> PrimIO ()
prim__oninstall : ServiceWorkerGlobalScope -> PrimIO (Nullable EventHandlerNonNull)
prim__setOninstall : ServiceWorkerGlobalScope -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onmessage : ServiceWorkerGlobalScope -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnmessage : ServiceWorkerGlobalScope -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onmessageerror : ServiceWorkerGlobalScope -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnmessageerror : ServiceWorkerGlobalScope -> Nullable EventHandlerNonNull -> PrimIO ()
prim__registration : ServiceWorkerGlobalScope -> PrimIO ServiceWorkerRegistration
prim__serviceWorker : ServiceWorkerGlobalScope -> PrimIO ServiceWorker
prim__skipWaiting : ServiceWorkerGlobalScope -> PrimIO (Promise Undefined)
prim__active : ServiceWorkerRegistration -> PrimIO (Nullable ServiceWorker)
prim__installing : ServiceWorkerRegistration -> PrimIO (Nullable ServiceWorker)
prim__navigationPreload : ServiceWorkerRegistration -> PrimIO NavigationPreloadManager
prim__onupdatefound : ServiceWorkerRegistration -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnupdatefound : ServiceWorkerRegistration -> Nullable EventHandlerNonNull -> PrimIO ()
prim__scope : ServiceWorkerRegistration -> PrimIO String
prim__updateViaCache : ServiceWorkerRegistration -> PrimIO String
prim__waiting : ServiceWorkerRegistration -> PrimIO (Nullable ServiceWorker)
prim__unregister : ServiceWorkerRegistration -> PrimIO (Promise Boolean)
prim__update : ServiceWorkerRegistration -> PrimIO (Promise Undefined)
prim__ancestorOrigins : WindowClient -> PrimIO (Array String)
prim__focused : WindowClient -> PrimIO Boolean
prim__visibilityState : WindowClient -> PrimIO String
prim__focus : WindowClient -> PrimIO (Promise WindowClient)
prim__navigate : WindowClient -> String -> PrimIO (Promise (Nullable WindowClient))
prim__new : UndefOr Boolean -> UndefOr Boolean -> UndefOr Boolean -> PrimIO CacheQueryOptions
prim__ignoreMethod : CacheQueryOptions -> PrimIO (UndefOr Boolean)
prim__setIgnoreMethod : CacheQueryOptions -> UndefOr Boolean -> PrimIO ()
prim__ignoreSearch : CacheQueryOptions -> PrimIO (UndefOr Boolean)
prim__setIgnoreSearch : CacheQueryOptions -> UndefOr Boolean -> PrimIO ()
prim__ignoreVary : CacheQueryOptions -> PrimIO (UndefOr Boolean)
prim__setIgnoreVary : CacheQueryOptions -> UndefOr Boolean -> PrimIO ()
prim__new : UndefOr Boolean -> UndefOr String -> PrimIO ClientQueryOptions
prim__includeUncontrolled : ClientQueryOptions -> PrimIO (UndefOr Boolean)
prim__setIncludeUncontrolled : ClientQueryOptions -> UndefOr Boolean -> PrimIO ()
prim__type : ClientQueryOptions -> PrimIO (UndefOr String)
prim__setType : ClientQueryOptions -> UndefOr String -> PrimIO ()
prim__new : PrimIO ExtendableEventInit
prim__new : UndefOr AnyPtr -> UndefOr String -> UndefOr String -> UndefOr (Nullable (Union3 Client ServiceWorker MessagePort)) -> UndefOr (Array MessagePort) -> PrimIO ExtendableMessageEventInit
prim__data : ExtendableMessageEventInit -> PrimIO (UndefOr AnyPtr)
prim__setData : ExtendableMessageEventInit -> UndefOr AnyPtr -> PrimIO ()
prim__lastEventId : ExtendableMessageEventInit -> PrimIO (UndefOr String)
prim__setLastEventId : ExtendableMessageEventInit -> UndefOr String -> PrimIO ()
prim__origin : ExtendableMessageEventInit -> PrimIO (UndefOr String)
prim__setOrigin : ExtendableMessageEventInit -> UndefOr String -> PrimIO ()
prim__ports : ExtendableMessageEventInit -> PrimIO (UndefOr (Array MessagePort))
prim__setPorts : ExtendableMessageEventInit -> UndefOr (Array MessagePort) -> PrimIO ()
prim__source : ExtendableMessageEventInit -> PrimIO (UndefOr (Nullable (Union3 Client ServiceWorker MessagePort)))
prim__setSource : ExtendableMessageEventInit -> UndefOr (Nullable (Union3 Client ServiceWorker MessagePort)) -> PrimIO ()
prim__new : Request -> UndefOr (Promise AnyPtr) -> UndefOr String -> UndefOr String -> UndefOr String -> UndefOr (Promise Undefined) -> PrimIO FetchEventInit
prim__clientId : FetchEventInit -> PrimIO (UndefOr String)
prim__setClientId : FetchEventInit -> UndefOr String -> PrimIO ()
prim__handled : FetchEventInit -> PrimIO (UndefOr (Promise Undefined))
prim__setHandled : FetchEventInit -> UndefOr (Promise Undefined) -> PrimIO ()
prim__preloadResponse : FetchEventInit -> PrimIO (UndefOr (Promise AnyPtr))
prim__setPreloadResponse : FetchEventInit -> UndefOr (Promise AnyPtr) -> PrimIO ()
prim__replacesClientId : FetchEventInit -> PrimIO (UndefOr String)
prim__setReplacesClientId : FetchEventInit -> UndefOr String -> PrimIO ()
prim__request : FetchEventInit -> PrimIO Request
prim__setRequest : FetchEventInit -> Request -> PrimIO ()
prim__resultingClientId : FetchEventInit -> PrimIO (UndefOr String)
prim__setResultingClientId : FetchEventInit -> UndefOr String -> PrimIO ()
prim__new : UndefOr String -> PrimIO MultiCacheQueryOptions
prim__cacheName : MultiCacheQueryOptions -> PrimIO (UndefOr String)
prim__setCacheName : MultiCacheQueryOptions -> UndefOr String -> PrimIO ()
prim__new : UndefOr Boolean -> UndefOr ByteString -> PrimIO NavigationPreloadState
prim__enabled : NavigationPreloadState -> PrimIO (UndefOr Boolean)
prim__setEnabled : NavigationPreloadState -> UndefOr Boolean -> PrimIO ()
prim__headerValue : NavigationPreloadState -> PrimIO (UndefOr ByteString)
prim__setHeaderValue : NavigationPreloadState -> UndefOr ByteString -> PrimIO ()
prim__new : UndefOr String -> UndefOr String -> UndefOr String -> PrimIO RegistrationOptions
prim__scope : RegistrationOptions -> PrimIO (UndefOr String)
prim__setScope : RegistrationOptions -> UndefOr String -> PrimIO ()
prim__type : RegistrationOptions -> PrimIO (UndefOr String)
prim__setType : RegistrationOptions -> UndefOr String -> PrimIO ()
prim__updateViaCache : RegistrationOptions -> PrimIO (UndefOr String)
prim__setUpdateViaCache : RegistrationOptions -> UndefOr String -> PrimIO ()