0 | module Web.Internal.ServiceworkerPrim
3 | import Web.Internal.Types
15 | %foreign "browser:lambda:(x,a)=>x.addAll(a)"
18 | -> Array (Union2 Request String)
19 | -> PrimIO (Promise Undefined)
23 | %foreign "browser:lambda:(x,a)=>x.add(a)"
24 | prim__add : Cache -> Union2 Request String -> PrimIO (Promise Undefined)
28 | %foreign "browser:lambda:(x,a,b)=>x.delete(a,b)"
31 | -> Union2 Request String
32 | -> UndefOr CacheQueryOptions
33 | -> PrimIO (Promise Boolean)
37 | %foreign "browser:lambda:(x,a,b)=>x.keys(a,b)"
40 | -> UndefOr (Union2 Request String)
41 | -> UndefOr CacheQueryOptions
42 | -> PrimIO (Promise (Array Request))
46 | %foreign "browser:lambda:(x,a,b)=>x.matchAll(a,b)"
49 | -> UndefOr (Union2 Request String)
50 | -> UndefOr CacheQueryOptions
51 | -> PrimIO (Promise (Array Response))
55 | %foreign "browser:lambda:(x,a,b)=>x.match(a,b)"
58 | -> Union2 Request String
59 | -> UndefOr CacheQueryOptions
60 | -> PrimIO (Promise (Union2 Response Undefined))
64 | %foreign "browser:lambda:(x,a,b)=>x.put(a,b)"
67 | -> Union2 Request String
69 | -> PrimIO (Promise Undefined)
73 | namespace CacheStorage
76 | %foreign "browser:lambda:(x,a)=>x.delete(a)"
77 | prim__delete : CacheStorage -> String -> PrimIO (Promise Boolean)
81 | %foreign "browser:lambda:(x,a)=>x.has(a)"
82 | prim__has : CacheStorage -> String -> PrimIO (Promise Boolean)
86 | %foreign "browser:lambda:x=>x.keys()"
87 | prim__keys : CacheStorage -> PrimIO (Promise (Array String))
91 | %foreign "browser:lambda:(x,a,b)=>x.match(a,b)"
94 | -> Union2 Request String
95 | -> UndefOr MultiCacheQueryOptions
96 | -> PrimIO (Promise (Union2 Response Undefined))
100 | %foreign "browser:lambda:(x,a)=>x.open(a)"
101 | prim__open : CacheStorage -> String -> PrimIO (Promise Cache)
108 | %foreign "browser:lambda:x=>x.frameType"
109 | prim__frameType : Client -> PrimIO String
113 | %foreign "browser:lambda:x=>x.id"
114 | prim__id : Client -> PrimIO String
118 | %foreign "browser:lambda:x=>x.type"
119 | prim__type : Client -> PrimIO String
123 | %foreign "browser:lambda:x=>x.url"
124 | prim__url : Client -> PrimIO String
128 | %foreign "browser:lambda:(x,a,b)=>x.postMessage(a,b)"
129 | prim__postMessage : Client -> AnyPtr -> Array Object -> PrimIO ()
133 | %foreign "browser:lambda:(x,a,b)=>x.postMessage(a,b)"
134 | prim__postMessage1 :
137 | -> UndefOr PostMessageOptions
145 | %foreign "browser:lambda:x=>x.claim()"
146 | prim__claim : Clients -> PrimIO (Promise Undefined)
150 | %foreign "browser:lambda:(x,a)=>x.get(a)"
151 | prim__get : Clients -> String -> PrimIO (Promise (Union2 Client Undefined))
155 | %foreign "browser:lambda:(x,a)=>x.matchAll(a)"
158 | -> UndefOr ClientQueryOptions
159 | -> PrimIO (Promise (Array Client))
163 | %foreign "browser:lambda:(x,a)=>x.openWindow(a)"
167 | -> PrimIO (Promise (Nullable WindowClient))
171 | namespace ExtendableEvent
174 | %foreign "browser:lambda:(a,b)=> new ExtendableEvent(a,b)"
175 | prim__new : String -> UndefOr ExtendableEventInit -> PrimIO ExtendableEvent
179 | %foreign "browser:lambda:(x,a)=>x.waitUntil(a)"
180 | prim__waitUntil : ExtendableEvent -> Promise AnyPtr -> PrimIO ()
184 | namespace ExtendableMessageEvent
187 | %foreign "browser:lambda:(a,b)=> new ExtendableMessageEvent(a,b)"
190 | -> UndefOr ExtendableMessageEventInit
191 | -> PrimIO ExtendableMessageEvent
195 | %foreign "browser:lambda:x=>x.data"
196 | prim__data : ExtendableMessageEvent -> PrimIO AnyPtr
200 | %foreign "browser:lambda:x=>x.lastEventId"
201 | prim__lastEventId : ExtendableMessageEvent -> PrimIO String
205 | %foreign "browser:lambda:x=>x.origin"
206 | prim__origin : ExtendableMessageEvent -> PrimIO String
210 | %foreign "browser:lambda:x=>x.ports"
211 | prim__ports : ExtendableMessageEvent -> PrimIO (Array MessagePort)
215 | %foreign "browser:lambda:x=>x.source"
217 | ExtendableMessageEvent
218 | -> PrimIO (Nullable (Union3 Client ServiceWorker MessagePort))
222 | namespace FetchEvent
225 | %foreign "browser:lambda:(a,b)=> new FetchEvent(a,b)"
226 | prim__new : String -> FetchEventInit -> PrimIO FetchEvent
230 | %foreign "browser:lambda:x=>x.clientId"
231 | prim__clientId : FetchEvent -> PrimIO String
235 | %foreign "browser:lambda:x=>x.handled"
236 | prim__handled : FetchEvent -> PrimIO (Promise Undefined)
240 | %foreign "browser:lambda:x=>x.preloadResponse"
241 | prim__preloadResponse : FetchEvent -> PrimIO (Promise AnyPtr)
245 | %foreign "browser:lambda:x=>x.replacesClientId"
246 | prim__replacesClientId : FetchEvent -> PrimIO String
250 | %foreign "browser:lambda:x=>x.request"
251 | prim__request : FetchEvent -> PrimIO Request
255 | %foreign "browser:lambda:x=>x.resultingClientId"
256 | prim__resultingClientId : FetchEvent -> PrimIO String
260 | %foreign "browser:lambda:(x,a)=>x.respondWith(a)"
261 | prim__respondWith : FetchEvent -> Promise Response -> PrimIO ()
265 | namespace NavigationPreloadManager
268 | %foreign "browser:lambda:x=>x.disable()"
269 | prim__disable : NavigationPreloadManager -> PrimIO (Promise Undefined)
273 | %foreign "browser:lambda:x=>x.enable()"
274 | prim__enable : NavigationPreloadManager -> PrimIO (Promise Undefined)
278 | %foreign "browser:lambda:x=>x.getState()"
280 | NavigationPreloadManager
281 | -> PrimIO (Promise NavigationPreloadState)
285 | %foreign "browser:lambda:(x,a)=>x.setHeaderValue(a)"
286 | prim__setHeaderValue :
287 | NavigationPreloadManager
289 | -> PrimIO (Promise Undefined)
293 | namespace ServiceWorker
296 | %foreign "browser:lambda:x=>x.onstatechange"
297 | prim__onstatechange : ServiceWorker -> PrimIO (Nullable EventHandlerNonNull)
302 | %foreign "browser:lambda:(x,v)=>{x.onstatechange = v}"
303 | prim__setOnstatechange :
305 | -> Nullable EventHandlerNonNull
311 | %foreign "browser:lambda:x=>x.scriptURL"
312 | prim__scriptURL : ServiceWorker -> PrimIO String
316 | %foreign "browser:lambda:x=>x.state"
317 | prim__state : ServiceWorker -> PrimIO String
321 | %foreign "browser:lambda:(x,a,b)=>x.postMessage(a,b)"
322 | prim__postMessage : ServiceWorker -> AnyPtr -> Array Object -> PrimIO ()
326 | %foreign "browser:lambda:(x,a,b)=>x.postMessage(a,b)"
327 | prim__postMessage1 :
330 | -> UndefOr PostMessageOptions
335 | namespace ServiceWorkerContainer
338 | %foreign "browser:lambda:x=>x.controller"
339 | prim__controller : ServiceWorkerContainer -> PrimIO (Nullable ServiceWorker)
343 | %foreign "browser:lambda:x=>x.oncontrollerchange"
344 | prim__oncontrollerchange :
345 | ServiceWorkerContainer
346 | -> PrimIO (Nullable EventHandlerNonNull)
351 | %foreign "browser:lambda:(x,v)=>{x.oncontrollerchange = v}"
352 | prim__setOncontrollerchange :
353 | ServiceWorkerContainer
354 | -> Nullable EventHandlerNonNull
360 | %foreign "browser:lambda:x=>x.onmessage"
362 | ServiceWorkerContainer
363 | -> PrimIO (Nullable EventHandlerNonNull)
368 | %foreign "browser:lambda:(x,v)=>{x.onmessage = v}"
369 | prim__setOnmessage :
370 | ServiceWorkerContainer
371 | -> Nullable EventHandlerNonNull
377 | %foreign "browser:lambda:x=>x.onmessageerror"
378 | prim__onmessageerror :
379 | ServiceWorkerContainer
380 | -> PrimIO (Nullable EventHandlerNonNull)
385 | %foreign "browser:lambda:(x,v)=>{x.onmessageerror = v}"
386 | prim__setOnmessageerror :
387 | ServiceWorkerContainer
388 | -> Nullable EventHandlerNonNull
394 | %foreign "browser:lambda:x=>x.ready"
396 | ServiceWorkerContainer
397 | -> PrimIO (Promise ServiceWorkerRegistration)
401 | %foreign "browser:lambda:(x,a)=>x.getRegistration(a)"
402 | prim__getRegistration :
403 | ServiceWorkerContainer
405 | -> PrimIO (Promise (Union2 ServiceWorkerRegistration Undefined))
409 | %foreign "browser:lambda:x=>x.getRegistrations()"
410 | prim__getRegistrations :
411 | ServiceWorkerContainer
412 | -> PrimIO (Promise (Array ServiceWorkerRegistration))
416 | %foreign "browser:lambda:(x,a,b)=>x.register(a,b)"
418 | ServiceWorkerContainer
420 | -> UndefOr RegistrationOptions
421 | -> PrimIO (Promise ServiceWorkerRegistration)
425 | %foreign "browser:lambda:x=>x.startMessages()"
426 | prim__startMessages : ServiceWorkerContainer -> PrimIO ()
430 | namespace ServiceWorkerGlobalScope
433 | %foreign "browser:lambda:x=>x.clients"
434 | prim__clients : ServiceWorkerGlobalScope -> PrimIO Clients
438 | %foreign "browser:lambda:x=>x.onactivate"
440 | ServiceWorkerGlobalScope
441 | -> PrimIO (Nullable EventHandlerNonNull)
446 | %foreign "browser:lambda:(x,v)=>{x.onactivate = v}"
447 | prim__setOnactivate :
448 | ServiceWorkerGlobalScope
449 | -> Nullable EventHandlerNonNull
455 | %foreign "browser:lambda:x=>x.onfetch"
457 | ServiceWorkerGlobalScope
458 | -> PrimIO (Nullable EventHandlerNonNull)
463 | %foreign "browser:lambda:(x,v)=>{x.onfetch = v}"
465 | ServiceWorkerGlobalScope
466 | -> Nullable EventHandlerNonNull
472 | %foreign "browser:lambda:x=>x.oninstall"
474 | ServiceWorkerGlobalScope
475 | -> PrimIO (Nullable EventHandlerNonNull)
480 | %foreign "browser:lambda:(x,v)=>{x.oninstall = v}"
481 | prim__setOninstall :
482 | ServiceWorkerGlobalScope
483 | -> Nullable EventHandlerNonNull
489 | %foreign "browser:lambda:x=>x.onmessage"
491 | ServiceWorkerGlobalScope
492 | -> PrimIO (Nullable EventHandlerNonNull)
497 | %foreign "browser:lambda:(x,v)=>{x.onmessage = v}"
498 | prim__setOnmessage :
499 | ServiceWorkerGlobalScope
500 | -> Nullable EventHandlerNonNull
506 | %foreign "browser:lambda:x=>x.onmessageerror"
507 | prim__onmessageerror :
508 | ServiceWorkerGlobalScope
509 | -> PrimIO (Nullable EventHandlerNonNull)
514 | %foreign "browser:lambda:(x,v)=>{x.onmessageerror = v}"
515 | prim__setOnmessageerror :
516 | ServiceWorkerGlobalScope
517 | -> Nullable EventHandlerNonNull
523 | %foreign "browser:lambda:x=>x.registration"
524 | prim__registration :
525 | ServiceWorkerGlobalScope
526 | -> PrimIO ServiceWorkerRegistration
530 | %foreign "browser:lambda:x=>x.serviceWorker"
531 | prim__serviceWorker : ServiceWorkerGlobalScope -> PrimIO ServiceWorker
535 | %foreign "browser:lambda:x=>x.skipWaiting()"
536 | prim__skipWaiting : ServiceWorkerGlobalScope -> PrimIO (Promise Undefined)
540 | namespace ServiceWorkerRegistration
543 | %foreign "browser:lambda:x=>x.active"
544 | prim__active : ServiceWorkerRegistration -> PrimIO (Nullable ServiceWorker)
548 | %foreign "browser:lambda:x=>x.installing"
550 | ServiceWorkerRegistration
551 | -> PrimIO (Nullable ServiceWorker)
555 | %foreign "browser:lambda:x=>x.navigationPreload"
556 | prim__navigationPreload :
557 | ServiceWorkerRegistration
558 | -> PrimIO NavigationPreloadManager
562 | %foreign "browser:lambda:x=>x.onupdatefound"
563 | prim__onupdatefound :
564 | ServiceWorkerRegistration
565 | -> PrimIO (Nullable EventHandlerNonNull)
570 | %foreign "browser:lambda:(x,v)=>{x.onupdatefound = v}"
571 | prim__setOnupdatefound :
572 | ServiceWorkerRegistration
573 | -> Nullable EventHandlerNonNull
579 | %foreign "browser:lambda:x=>x.scope"
580 | prim__scope : ServiceWorkerRegistration -> PrimIO String
584 | %foreign "browser:lambda:x=>x.updateViaCache"
585 | prim__updateViaCache : ServiceWorkerRegistration -> PrimIO String
589 | %foreign "browser:lambda:x=>x.waiting"
590 | prim__waiting : ServiceWorkerRegistration -> PrimIO (Nullable ServiceWorker)
594 | %foreign "browser:lambda:x=>x.unregister()"
595 | prim__unregister : ServiceWorkerRegistration -> PrimIO (Promise Boolean)
599 | %foreign "browser:lambda:x=>x.update()"
600 | prim__update : ServiceWorkerRegistration -> PrimIO (Promise Undefined)
604 | namespace WindowClient
607 | %foreign "browser:lambda:x=>x.ancestorOrigins"
608 | prim__ancestorOrigins : WindowClient -> PrimIO (Array String)
612 | %foreign "browser:lambda:x=>x.focused"
613 | prim__focused : WindowClient -> PrimIO Boolean
617 | %foreign "browser:lambda:x=>x.visibilityState"
618 | prim__visibilityState : WindowClient -> PrimIO String
622 | %foreign "browser:lambda:x=>x.focus()"
623 | prim__focus : WindowClient -> PrimIO (Promise WindowClient)
627 | %foreign "browser:lambda:(x,a)=>x.navigate(a)"
631 | -> PrimIO (Promise (Nullable WindowClient))
641 | namespace CacheQueryOptions
644 | %foreign "browser:lambda:(a,b,c)=> ({ignoreSearch: a,ignoreMethod: b,ignoreVary: c})"
649 | -> PrimIO CacheQueryOptions
653 | %foreign "browser:lambda:x=>x.ignoreMethod"
654 | prim__ignoreMethod : CacheQueryOptions -> PrimIO (UndefOr Boolean)
659 | %foreign "browser:lambda:(x,v)=>{x.ignoreMethod = v}"
660 | prim__setIgnoreMethod : CacheQueryOptions -> UndefOr Boolean -> PrimIO ()
665 | %foreign "browser:lambda:x=>x.ignoreSearch"
666 | prim__ignoreSearch : CacheQueryOptions -> PrimIO (UndefOr Boolean)
671 | %foreign "browser:lambda:(x,v)=>{x.ignoreSearch = v}"
672 | prim__setIgnoreSearch : CacheQueryOptions -> UndefOr Boolean -> PrimIO ()
677 | %foreign "browser:lambda:x=>x.ignoreVary"
678 | prim__ignoreVary : CacheQueryOptions -> PrimIO (UndefOr Boolean)
683 | %foreign "browser:lambda:(x,v)=>{x.ignoreVary = v}"
684 | prim__setIgnoreVary : CacheQueryOptions -> UndefOr Boolean -> PrimIO ()
689 | namespace ClientQueryOptions
692 | %foreign "browser:lambda:(a,b)=> ({includeUncontrolled: a,type: b})"
693 | prim__new : UndefOr Boolean -> UndefOr String -> PrimIO ClientQueryOptions
697 | %foreign "browser:lambda:x=>x.includeUncontrolled"
698 | prim__includeUncontrolled : ClientQueryOptions -> PrimIO (UndefOr Boolean)
703 | %foreign "browser:lambda:(x,v)=>{x.includeUncontrolled = v}"
704 | prim__setIncludeUncontrolled :
712 | %foreign "browser:lambda:x=>x.type"
713 | prim__type : ClientQueryOptions -> PrimIO (UndefOr String)
718 | %foreign "browser:lambda:(x,v)=>{x.type = v}"
719 | prim__setType : ClientQueryOptions -> UndefOr String -> PrimIO ()
724 | namespace ExtendableEventInit
727 | %foreign "browser:lambda:()=> ({})"
728 | prim__new : PrimIO ExtendableEventInit
732 | namespace ExtendableMessageEventInit
735 | %foreign "browser:lambda:(a,b,c,d,e)=> ({data: a,origin: b,lastEventId: c,source: d,ports: e})"
740 | -> UndefOr (Nullable (Union3 Client ServiceWorker MessagePort))
741 | -> UndefOr (Array MessagePort)
742 | -> PrimIO ExtendableMessageEventInit
746 | %foreign "browser:lambda:x=>x.data"
747 | prim__data : ExtendableMessageEventInit -> PrimIO (UndefOr AnyPtr)
752 | %foreign "browser:lambda:(x,v)=>{x.data = v}"
753 | prim__setData : ExtendableMessageEventInit -> UndefOr AnyPtr -> PrimIO ()
758 | %foreign "browser:lambda:x=>x.lastEventId"
759 | prim__lastEventId : ExtendableMessageEventInit -> PrimIO (UndefOr String)
764 | %foreign "browser:lambda:(x,v)=>{x.lastEventId = v}"
765 | prim__setLastEventId :
766 | ExtendableMessageEventInit
773 | %foreign "browser:lambda:x=>x.origin"
774 | prim__origin : ExtendableMessageEventInit -> PrimIO (UndefOr String)
779 | %foreign "browser:lambda:(x,v)=>{x.origin = v}"
780 | prim__setOrigin : ExtendableMessageEventInit -> UndefOr String -> PrimIO ()
785 | %foreign "browser:lambda:x=>x.ports"
787 | ExtendableMessageEventInit
788 | -> PrimIO (UndefOr (Array MessagePort))
793 | %foreign "browser:lambda:(x,v)=>{x.ports = v}"
795 | ExtendableMessageEventInit
796 | -> UndefOr (Array MessagePort)
802 | %foreign "browser:lambda:x=>x.source"
804 | ExtendableMessageEventInit
805 | -> PrimIO (UndefOr (Nullable (Union3 Client ServiceWorker MessagePort)))
810 | %foreign "browser:lambda:(x,v)=>{x.source = v}"
812 | ExtendableMessageEventInit
813 | -> UndefOr (Nullable (Union3 Client ServiceWorker MessagePort))
819 | namespace FetchEventInit
822 | %foreign "browser:lambda:(a,b,c,d,e,f)=> ({request: a,preloadResponse: b,clientId: c,resultingClientId: d,replacesClientId: e,handled: f})"
825 | -> UndefOr (Promise AnyPtr)
829 | -> UndefOr (Promise Undefined)
830 | -> PrimIO FetchEventInit
834 | %foreign "browser:lambda:x=>x.clientId"
835 | prim__clientId : FetchEventInit -> PrimIO (UndefOr String)
840 | %foreign "browser:lambda:(x,v)=>{x.clientId = v}"
841 | prim__setClientId : FetchEventInit -> UndefOr String -> PrimIO ()
846 | %foreign "browser:lambda:x=>x.handled"
847 | prim__handled : FetchEventInit -> PrimIO (UndefOr (Promise Undefined))
852 | %foreign "browser:lambda:(x,v)=>{x.handled = v}"
853 | prim__setHandled : FetchEventInit -> UndefOr (Promise Undefined) -> PrimIO ()
858 | %foreign "browser:lambda:x=>x.preloadResponse"
859 | prim__preloadResponse : FetchEventInit -> PrimIO (UndefOr (Promise AnyPtr))
864 | %foreign "browser:lambda:(x,v)=>{x.preloadResponse = v}"
865 | prim__setPreloadResponse :
867 | -> UndefOr (Promise AnyPtr)
873 | %foreign "browser:lambda:x=>x.replacesClientId"
874 | prim__replacesClientId : FetchEventInit -> PrimIO (UndefOr String)
879 | %foreign "browser:lambda:(x,v)=>{x.replacesClientId = v}"
880 | prim__setReplacesClientId : FetchEventInit -> UndefOr String -> PrimIO ()
885 | %foreign "browser:lambda:x=>x.request"
886 | prim__request : FetchEventInit -> PrimIO Request
891 | %foreign "browser:lambda:(x,v)=>{x.request = v}"
892 | prim__setRequest : FetchEventInit -> Request -> PrimIO ()
897 | %foreign "browser:lambda:x=>x.resultingClientId"
898 | prim__resultingClientId : FetchEventInit -> PrimIO (UndefOr String)
903 | %foreign "browser:lambda:(x,v)=>{x.resultingClientId = v}"
904 | prim__setResultingClientId : FetchEventInit -> UndefOr String -> PrimIO ()
909 | namespace MultiCacheQueryOptions
912 | %foreign "browser:lambda:(a)=> ({cacheName: a})"
913 | prim__new : UndefOr String -> PrimIO MultiCacheQueryOptions
917 | %foreign "browser:lambda:x=>x.cacheName"
918 | prim__cacheName : MultiCacheQueryOptions -> PrimIO (UndefOr String)
923 | %foreign "browser:lambda:(x,v)=>{x.cacheName = v}"
924 | prim__setCacheName : MultiCacheQueryOptions -> UndefOr String -> PrimIO ()
929 | namespace NavigationPreloadState
932 | %foreign "browser:lambda:(a,b)=> ({enabled: a,headerValue: b})"
935 | -> UndefOr ByteString
936 | -> PrimIO NavigationPreloadState
940 | %foreign "browser:lambda:x=>x.enabled"
941 | prim__enabled : NavigationPreloadState -> PrimIO (UndefOr Boolean)
946 | %foreign "browser:lambda:(x,v)=>{x.enabled = v}"
947 | prim__setEnabled : NavigationPreloadState -> UndefOr Boolean -> PrimIO ()
952 | %foreign "browser:lambda:x=>x.headerValue"
953 | prim__headerValue : NavigationPreloadState -> PrimIO (UndefOr ByteString)
958 | %foreign "browser:lambda:(x,v)=>{x.headerValue = v}"
959 | prim__setHeaderValue :
960 | NavigationPreloadState
961 | -> UndefOr ByteString
967 | namespace RegistrationOptions
970 | %foreign "browser:lambda:(a,b,c)=> ({scope: a,type: b,updateViaCache: c})"
975 | -> PrimIO RegistrationOptions
979 | %foreign "browser:lambda:x=>x.scope"
980 | prim__scope : RegistrationOptions -> PrimIO (UndefOr String)
985 | %foreign "browser:lambda:(x,v)=>{x.scope = v}"
986 | prim__setScope : RegistrationOptions -> UndefOr String -> PrimIO ()
991 | %foreign "browser:lambda:x=>x.type"
992 | prim__type : RegistrationOptions -> PrimIO (UndefOr String)
997 | %foreign "browser:lambda:(x,v)=>{x.type = v}"
998 | prim__setType : RegistrationOptions -> UndefOr String -> PrimIO ()
1003 | %foreign "browser:lambda:x=>x.updateViaCache"
1004 | prim__updateViaCache : RegistrationOptions -> PrimIO (UndefOr String)
1009 | %foreign "browser:lambda:(x,v)=>{x.updateViaCache = v}"
1010 | prim__setUpdateViaCache : RegistrationOptions -> UndefOr String -> PrimIO ()