Web.Internal.ServiceworkerTypes

Definitions

data ServiceWorkerState : Type

Totality: total
Visibility: public export
Constructors:

Parsed : ServiceWorkerState

Installing : ServiceWorkerState

Installed : ServiceWorkerState

Activating : ServiceWorkerState

Activated : ServiceWorkerState

Redundant : ServiceWorkerState

Hints:

Eq ServiceWorkerState

FromFFI ServiceWorkerState String

Ord ServiceWorkerState

Show ServiceWorkerState

ToFFI ServiceWorkerState String

read : String -> Maybe ServiceWorkerState

Totality: total
Visibility: public export

data ServiceWorkerUpdateViaCache : Type

Totality: total
Visibility: public export
Constructors:

Imports : ServiceWorkerUpdateViaCache

All : ServiceWorkerUpdateViaCache

None : ServiceWorkerUpdateViaCache

Hints:

Eq ServiceWorkerUpdateViaCache

FromFFI ServiceWorkerUpdateViaCache String

Ord ServiceWorkerUpdateViaCache

Show ServiceWorkerUpdateViaCache

ToFFI ServiceWorkerUpdateViaCache String

read : String -> Maybe ServiceWorkerUpdateViaCache

Totality: total
Visibility: public export

data FrameType : Type

Totality: total
Visibility: public export
Constructors:

Auxiliary : FrameType

TopLevel : FrameType

Nested : FrameType

None : FrameType

Hints:

Eq FrameType

FromFFI FrameType String

Ord FrameType

Show FrameType

ToFFI FrameType String

read : String -> Maybe FrameType

Totality: total
Visibility: public export

data ClientType : Type

Totality: total
Visibility: public export
Constructors:

Window : ClientType

Worker : ClientType

Sharedworker : ClientType

All : ClientType

Hints:

Eq ClientType

FromFFI ClientType String

Ord ClientType

Show ClientType

ToFFI ClientType String

read : String -> Maybe ClientType

Totality: total
Visibility: public export

data Cache : Type

Totality: total
Visibility: export
Hints:

FromFFI Cache Cache

JSType Cache

SafeCast Cache

ToFFI Cache Cache

data CacheStorage : Type

Totality: total
Visibility: export
Hints:

FromFFI CacheStorage CacheStorage

JSType CacheStorage

SafeCast CacheStorage

ToFFI CacheStorage CacheStorage

data Client : Type

Totality: total
Visibility: export
Hints:

FromFFI Client Client

JSType Client

SafeCast Client

ToFFI Client Client

data Clients : Type

Totality: total
Visibility: export
Hints:

FromFFI Clients Clients

JSType Clients

SafeCast Clients

ToFFI Clients Clients

data ExtendableEvent : Type

Totality: total
Visibility: export
Hints:

FromFFI ExtendableEvent ExtendableEvent

JSType ExtendableEvent

SafeCast ExtendableEvent

ToFFI ExtendableEvent ExtendableEvent

data ExtendableMessageEvent : Type

Totality: total
Visibility: export
Hints:

FromFFI ExtendableMessageEvent ExtendableMessageEvent

JSType ExtendableMessageEvent

SafeCast ExtendableMessageEvent

ToFFI ExtendableMessageEvent ExtendableMessageEvent

data FetchEvent : Type

Totality: total
Visibility: export
Hints:

FromFFI FetchEvent FetchEvent

JSType FetchEvent

SafeCast FetchEvent

ToFFI FetchEvent FetchEvent

data NavigationPreloadManager : Type

Totality: total
Visibility: export
Hints:

FromFFI NavigationPreloadManager NavigationPreloadManager

JSType NavigationPreloadManager

SafeCast NavigationPreloadManager

ToFFI NavigationPreloadManager NavigationPreloadManager

data ServiceWorker : Type

Totality: total
Visibility: export
Hints:

FromFFI ServiceWorker ServiceWorker

JSType ServiceWorker

SafeCast ServiceWorker

ToFFI ServiceWorker ServiceWorker

data ServiceWorkerContainer : Type

Totality: total
Visibility: export
Hints:

FromFFI ServiceWorkerContainer ServiceWorkerContainer

JSType ServiceWorkerContainer

SafeCast ServiceWorkerContainer

ToFFI ServiceWorkerContainer ServiceWorkerContainer

data ServiceWorkerGlobalScope : Type

Totality: total
Visibility: export
Hints:

FromFFI ServiceWorkerGlobalScope ServiceWorkerGlobalScope

JSType ServiceWorkerGlobalScope

SafeCast ServiceWorkerGlobalScope

ToFFI ServiceWorkerGlobalScope ServiceWorkerGlobalScope

data ServiceWorkerRegistration : Type

Totality: total
Visibility: export
Hints:

FromFFI ServiceWorkerRegistration ServiceWorkerRegistration

JSType ServiceWorkerRegistration

SafeCast ServiceWorkerRegistration

ToFFI ServiceWorkerRegistration ServiceWorkerRegistration

data WindowClient : Type

Totality: total
Visibility: export
Hints:

FromFFI WindowClient WindowClient

JSType WindowClient

SafeCast WindowClient

ToFFI WindowClient WindowClient

data CacheQueryOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI CacheQueryOptions CacheQueryOptions

JSType CacheQueryOptions

ToFFI CacheQueryOptions CacheQueryOptions

data ClientQueryOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI ClientQueryOptions ClientQueryOptions

JSType ClientQueryOptions

ToFFI ClientQueryOptions ClientQueryOptions

data ExtendableEventInit : Type

Totality: total
Visibility: export
Hints:

FromFFI ExtendableEventInit ExtendableEventInit

JSType ExtendableEventInit

ToFFI ExtendableEventInit ExtendableEventInit

data ExtendableMessageEventInit : Type

Totality: total
Visibility: export
Hints:

FromFFI ExtendableMessageEventInit ExtendableMessageEventInit

JSType ExtendableMessageEventInit

ToFFI ExtendableMessageEventInit ExtendableMessageEventInit

data FetchEventInit : Type

Totality: total
Visibility: export
Hints:

FromFFI FetchEventInit FetchEventInit

JSType FetchEventInit

ToFFI FetchEventInit FetchEventInit

data MultiCacheQueryOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI MultiCacheQueryOptions MultiCacheQueryOptions

JSType MultiCacheQueryOptions

ToFFI MultiCacheQueryOptions MultiCacheQueryOptions

data NavigationPreloadState : Type

Totality: total
Visibility: export
Hints:

FromFFI NavigationPreloadState NavigationPreloadState

JSType NavigationPreloadState

ToFFI NavigationPreloadState NavigationPreloadState

data RegistrationOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI RegistrationOptions RegistrationOptions

JSType RegistrationOptions

ToFFI RegistrationOptions RegistrationOptions