Web.Raw.Serviceworker

(source)

Definitions

addAll : Cache -> Array (Union2 Request String) -> JSIO (Promise Undefined): Totality: total
Visibility: export
add : Cache -> HSum [Request, String] -> JSIO (Promise Undefined): Totality: total
Visibility: export
delete' : {auto 0 {conArg:3622} : JSType t3} -> {auto 0 _ : Elem CacheQueryOptions (Types t3)} -> Cache -> HSum [Request, String] -> Optional t3 -> JSIO (Promise Boolean): Totality: total
Visibility: export
delete : Cache -> HSum [Request, String] -> JSIO (Promise Boolean): Totality: total
Visibility: export
keys' : {auto 0 {conArg:3729} : JSType t3} -> {auto 0 _ : Elem CacheQueryOptions (Types t3)} -> Cache -> Optional (HSum [Request, String]) -> Optional t3 -> JSIO (Promise (Array Request)): Totality: total
Visibility: export
keys : Cache -> JSIO (Promise (Array Request)): Totality: total
Visibility: export
matchAll' : {auto 0 {conArg:3804} : JSType t3} -> {auto 0 _ : Elem CacheQueryOptions (Types t3)} -> Cache -> Optional (HSum [Request, String]) -> Optional t3 -> JSIO (Promise (Array Response)): Totality: total
Visibility: export
matchAll : Cache -> JSIO (Promise (Array Response)): Totality: total
Visibility: export
match' : {auto 0 {conArg:3879} : JSType t3} -> {auto 0 _ : Elem CacheQueryOptions (Types t3)} -> Cache -> HSum [Request, String] -> Optional t3 -> JSIO (Promise (Union2 Response Undefined)): Totality: total
Visibility: export
match : Cache -> HSum [Request, String] -> JSIO (Promise (Union2 Response Undefined)): Totality: total
Visibility: export
put : Cache -> HSum [Request, String] -> Response -> JSIO (Promise Undefined): Totality: total
Visibility: export
delete : CacheStorage -> String -> JSIO (Promise Boolean): Totality: total
Visibility: export
has : CacheStorage -> String -> JSIO (Promise Boolean): Totality: total
Visibility: export
keys : CacheStorage -> JSIO (Promise (Array String)): Totality: total
Visibility: export
match' : {auto 0 {conArg:4053} : JSType t3} -> {auto 0 _ : Elem MultiCacheQueryOptions (Types t3)} -> CacheStorage -> HSum [Request, String] -> Optional t3 -> JSIO (Promise (Union2 Response Undefined)): Totality: total
Visibility: export
match : CacheStorage -> HSum [Request, String] -> JSIO (Promise (Union2 Response Undefined)): Totality: total
Visibility: export
open_ : CacheStorage -> String -> JSIO (Promise Cache): Totality: total
Visibility: export
frameType : {auto 0 {conArg:4167} : JSType t1} -> {auto 0 _ : Elem Client (Types t1)} -> t1 -> JSIO FrameType: Totality: total
Visibility: export
id : {auto 0 {conArg:4199} : JSType t1} -> {auto 0 _ : Elem Client (Types t1)} -> t1 -> JSIO String: Totality: total
Visibility: export
type : {auto 0 {conArg:4227} : JSType t1} -> {auto 0 _ : Elem Client (Types t1)} -> t1 -> JSIO ClientType: Totality: total
Visibility: export
url : {auto 0 {conArg:4259} : JSType t1} -> {auto 0 _ : Elem Client (Types t1)} -> t1 -> JSIO String: Totality: total
Visibility: export
postMessage : {auto 0 {conArg:4287} : JSType t1} -> {auto 0 _ : Elem Client (Types t1)} -> t1 -> Any -> Array Object -> JSIO (): Totality: total
Visibility: export
postMessage1' : {auto 0 {conArg:4326} : JSType t1} -> {auto 0 {conArg:4329} : JSType t3} -> {auto 0 _ : Elem Client (Types t1)} -> {auto 0 _ : Elem PostMessageOptions (Types t3)} -> t1 -> Any -> Optional t3 -> JSIO (): Totality: total
Visibility: export
postMessage1 : {auto 0 {conArg:4385} : JSType t1} -> {auto 0 _ : Elem Client (Types t1)} -> t1 -> Any -> JSIO (): Totality: total
Visibility: export
claim : Clients -> JSIO (Promise Undefined): Totality: total
Visibility: export
get : Clients -> String -> JSIO (Promise (Union2 Client Undefined)): Totality: total
Visibility: export
matchAll' : {auto 0 {conArg:4436} : JSType t2} -> {auto 0 _ : Elem ClientQueryOptions (Types t2)} -> Clients -> Optional t2 -> JSIO (Promise (Array Client)): Totality: total
Visibility: export
matchAll : Clients -> JSIO (Promise (Array Client)): Totality: total
Visibility: export
openWindow : Clients -> String -> JSIO (Promise (Nullable WindowClient)): Totality: total
Visibility: export
new' : {auto 0 {conArg:4482} : JSType t2} -> {auto 0 _ : Elem ExtendableEventInit (Types t2)} -> String -> Optional t2 -> JSIO ExtendableEvent: Totality: total
Visibility: export
new : String -> JSIO ExtendableEvent: Totality: total
Visibility: export
waitUntil : {auto 0 {conArg:4519} : JSType t1} -> {auto 0 _ : Elem ExtendableEvent (Types t1)} -> t1 -> Promise AnyPtr -> JSIO (): Totality: total
Visibility: export
new' : {auto 0 {conArg:4551} : JSType t2} -> {auto 0 _ : Elem ExtendableMessageEventInit (Types t2)} -> String -> Optional t2 -> JSIO ExtendableMessageEvent: Totality: total
Visibility: export
new : String -> JSIO ExtendableMessageEvent: Totality: total
Visibility: export
data_ : ExtendableMessageEvent -> JSIO Any: Totality: total
Visibility: export
lastEventId : ExtendableMessageEvent -> JSIO String: Totality: total
Visibility: export
origin : ExtendableMessageEvent -> JSIO String: Totality: total
Visibility: export
ports : ExtendableMessageEvent -> JSIO (Array MessagePort): Totality: total
Visibility: export
source : ExtendableMessageEvent -> JSIO (Maybe (HSum [Client, ServiceWorker, MessagePort])): Totality: total
Visibility: export
new : {auto 0 {conArg:4692} : JSType t2} -> {auto 0 _ : Elem FetchEventInit (Types t2)} -> String -> t2 -> JSIO FetchEvent: Totality: total
Visibility: export
clientId : FetchEvent -> JSIO String: Totality: total
Visibility: export
handled : FetchEvent -> JSIO (Promise Undefined): Totality: total
Visibility: export
preloadResponse : FetchEvent -> JSIO (Promise AnyPtr): Totality: total
Visibility: export
replacesClientId : FetchEvent -> JSIO String: Totality: total
Visibility: export
request : FetchEvent -> JSIO Request: Totality: total
Visibility: export
resultingClientId : FetchEvent -> JSIO String: Totality: total
Visibility: export
respondWith : FetchEvent -> Promise Response -> JSIO (): Totality: total
Visibility: export
disable : NavigationPreloadManager -> JSIO (Promise Undefined): Totality: total
Visibility: export
enable : NavigationPreloadManager -> JSIO (Promise Undefined): Totality: total
Visibility: export
getState : NavigationPreloadManager -> JSIO (Promise NavigationPreloadState): Totality: total
Visibility: export
setHeaderValue : NavigationPreloadManager -> ByteString -> JSIO (Promise Undefined): Totality: total
Visibility: export
onstatechange : ServiceWorker -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
scriptURL : ServiceWorker -> JSIO String: Totality: total
Visibility: export
state : ServiceWorker -> JSIO ServiceWorkerState: Totality: total
Visibility: export
postMessage : ServiceWorker -> Any -> Array Object -> JSIO (): Totality: total
Visibility: export
postMessage1' : {auto 0 {conArg:4846} : JSType t3} -> {auto 0 _ : Elem PostMessageOptions (Types t3)} -> ServiceWorker -> Any -> Optional t3 -> JSIO (): Totality: total
Visibility: export
postMessage1 : ServiceWorker -> Any -> JSIO (): Totality: total
Visibility: export
controller : ServiceWorkerContainer -> JSIO (Maybe ServiceWorker): Totality: total
Visibility: export
oncontrollerchange : ServiceWorkerContainer -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
onmessage : ServiceWorkerContainer -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
onmessageerror : ServiceWorkerContainer -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
ready : ServiceWorkerContainer -> JSIO (Promise ServiceWorkerRegistration): Totality: total
Visibility: export
getRegistration' : ServiceWorkerContainer -> Optional String -> JSIO (Promise (Union2 ServiceWorkerRegistration Undefined)): Totality: total
Visibility: export
getRegistration : ServiceWorkerContainer -> JSIO (Promise (Union2 ServiceWorkerRegistration Undefined)): Totality: total
Visibility: export
getRegistrations : ServiceWorkerContainer -> JSIO (Promise (Array ServiceWorkerRegistration)): Totality: total
Visibility: export
register' : {auto 0 {conArg:5000} : JSType t3} -> {auto 0 _ : Elem RegistrationOptions (Types t3)} -> ServiceWorkerContainer -> String -> Optional t3 -> JSIO (Promise ServiceWorkerRegistration): Totality: total
Visibility: export
register : ServiceWorkerContainer -> String -> JSIO (Promise ServiceWorkerRegistration): Totality: total
Visibility: export
startMessages : ServiceWorkerContainer -> JSIO (): Totality: total
Visibility: export
clients : ServiceWorkerGlobalScope -> JSIO Clients: Totality: total
Visibility: export
onactivate : ServiceWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
onfetch : ServiceWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
oninstall : ServiceWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
onmessage : ServiceWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
onmessageerror : ServiceWorkerGlobalScope -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
registration : ServiceWorkerGlobalScope -> JSIO ServiceWorkerRegistration: Totality: total
Visibility: export
serviceWorker : ServiceWorkerGlobalScope -> JSIO ServiceWorker: Totality: total
Visibility: export
skipWaiting : ServiceWorkerGlobalScope -> JSIO (Promise Undefined): Totality: total
Visibility: export
active : ServiceWorkerRegistration -> JSIO (Maybe ServiceWorker): Totality: total
Visibility: export
installing : ServiceWorkerRegistration -> JSIO (Maybe ServiceWorker): Totality: total
Visibility: export
navigationPreload : ServiceWorkerRegistration -> JSIO NavigationPreloadManager: Totality: total
Visibility: export
onupdatefound : ServiceWorkerRegistration -> Attribute False Maybe EventHandlerNonNull: Totality: total
Visibility: export
scope : ServiceWorkerRegistration -> JSIO String: Totality: total
Visibility: export
updateViaCache : ServiceWorkerRegistration -> JSIO ServiceWorkerUpdateViaCache: Totality: total
Visibility: export
waiting : ServiceWorkerRegistration -> JSIO (Maybe ServiceWorker): Totality: total
Visibility: export
unregister : ServiceWorkerRegistration -> JSIO (Promise Boolean): Totality: total
Visibility: export
update : ServiceWorkerRegistration -> JSIO (Promise Undefined): Totality: total
Visibility: export
ancestorOrigins : WindowClient -> JSIO (Array String): Totality: total
Visibility: export
focused : WindowClient -> JSIO Bool: Totality: total
Visibility: export
visibilityState : WindowClient -> JSIO VisibilityState: Totality: total
Visibility: export
focus : WindowClient -> JSIO (Promise WindowClient): Totality: total
Visibility: export
navigate : WindowClient -> String -> JSIO (Promise (Nullable WindowClient)): Totality: total
Visibility: export
new' : Optional Bool -> Optional Bool -> Optional Bool -> JSIO CacheQueryOptions: Totality: total
Visibility: export
new : JSIO CacheQueryOptions: Totality: total
Visibility: export
ignoreMethod : {auto 0 {conArg:5334} : JSType t} -> {auto 0 _ : Elem CacheQueryOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
ignoreSearch : {auto 0 {conArg:5372} : JSType t} -> {auto 0 _ : Elem CacheQueryOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
ignoreVary : {auto 0 {conArg:5410} : JSType t} -> {auto 0 _ : Elem CacheQueryOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
new' : Optional Bool -> Optional ClientType -> JSIO ClientQueryOptions: Totality: total
Visibility: export
new : JSIO ClientQueryOptions: Totality: total
Visibility: export
includeUncontrolled : {auto 0 {conArg:5474} : JSType t} -> {auto 0 _ : Elem ClientQueryOptions (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
type : {auto 0 {conArg:5512} : JSType t} -> {auto 0 _ : Elem ClientQueryOptions (Types t)} -> t -> Attribute False Optional ClientType: Totality: total
Visibility: export
new : JSIO ExtendableEventInit: Totality: total
Visibility: export
new' : Optional Any -> Optional String -> Optional String -> Optional (Maybe (HSum [Client, ServiceWorker, MessagePort])) -> Optional (Array MessagePort) -> JSIO ExtendableMessageEventInit: Totality: total
Visibility: export
new : JSIO ExtendableMessageEventInit: Totality: total
Visibility: export
data_ : {auto 0 {conArg:5656} : JSType t} -> {auto 0 _ : Elem ExtendableMessageEventInit (Types t)} -> t -> Attribute True Optional Any: Totality: total
Visibility: export
lastEventId : {auto 0 {conArg:5699} : JSType t} -> {auto 0 _ : Elem ExtendableMessageEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
origin : {auto 0 {conArg:5740} : JSType t} -> {auto 0 _ : Elem ExtendableMessageEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
ports : {auto 0 {conArg:5781} : JSType t} -> {auto 0 _ : Elem ExtendableMessageEventInit (Types t)} -> t -> Attribute False Optional (Array MessagePort): Totality: total
Visibility: export
source : {auto 0 {conArg:5821} : JSType t} -> {auto 0 _ : Elem ExtendableMessageEventInit (Types t)} -> t -> Attribute True Optional (Maybe (HSum [Client, ServiceWorker, MessagePort])): Totality: total
Visibility: export
new' : Request -> Optional (Promise AnyPtr) -> Optional String -> Optional String -> Optional String -> Optional (Promise Undefined) -> JSIO FetchEventInit: Totality: total
Visibility: export
new : Request -> JSIO FetchEventInit: Totality: total
Visibility: export
clientId : {auto 0 {conArg:6022} : JSType t} -> {auto 0 _ : Elem FetchEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
handled : {auto 0 {conArg:6063} : JSType t} -> {auto 0 _ : Elem FetchEventInit (Types t)} -> t -> Attribute False Optional (Promise Undefined): Totality: total
Visibility: export
preloadResponse : {auto 0 {conArg:6103} : JSType t} -> {auto 0 _ : Elem FetchEventInit (Types t)} -> t -> Attribute False Optional (Promise AnyPtr): Totality: total
Visibility: export
replacesClientId : {auto 0 {conArg:6143} : JSType t} -> {auto 0 _ : Elem FetchEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
request : {auto 0 {conArg:6184} : JSType t} -> {auto 0 _ : Elem FetchEventInit (Types t)} -> t -> Attribute True id Request: Totality: total
Visibility: export
resultingClientId : {auto 0 {conArg:6223} : JSType t} -> {auto 0 _ : Elem FetchEventInit (Types t)} -> t -> Attribute True Optional String: Totality: total
Visibility: export
new' : Optional String -> JSIO MultiCacheQueryOptions: Totality: total
Visibility: export
new : JSIO MultiCacheQueryOptions: Totality: total
Visibility: export
cacheName : {auto 0 {conArg:6280} : JSType t} -> {auto 0 _ : Elem MultiCacheQueryOptions (Types t)} -> t -> Attribute False Optional String: Totality: total
Visibility: export
new' : Optional Bool -> Optional ByteString -> JSIO NavigationPreloadState: Totality: total
Visibility: export
new : JSIO NavigationPreloadState: Totality: total
Visibility: export
enabled : {auto 0 {conArg:6343} : JSType t} -> {auto 0 _ : Elem NavigationPreloadState (Types t)} -> t -> Attribute True Optional Bool: Totality: total
Visibility: export
headerValue : {auto 0 {conArg:6381} : JSType t} -> {auto 0 _ : Elem NavigationPreloadState (Types t)} -> t -> Attribute False Optional ByteString: Totality: total
Visibility: export
new' : Optional String -> Optional WorkerType -> Optional ServiceWorkerUpdateViaCache -> JSIO RegistrationOptions: Totality: total
Visibility: export
new : JSIO RegistrationOptions: Totality: total
Visibility: export
scope : {auto 0 {conArg:6455} : JSType t} -> {auto 0 _ : Elem RegistrationOptions (Types t)} -> t -> Attribute False Optional String: Totality: total
Visibility: export
type : {auto 0 {conArg:6493} : JSType t} -> {auto 0 _ : Elem RegistrationOptions (Types t)} -> t -> Attribute False Optional WorkerType: Totality: total
Visibility: export
updateViaCache : {auto 0 {conArg:6532} : JSType t} -> {auto 0 _ : Elem RegistrationOptions (Types t)} -> t -> Attribute False Optional ServiceWorkerUpdateViaCache: Totality: total
Visibility: export