Idris2Doc : Web.Internal.FetchTypes

Web.Internal.FetchTypes

(source)
Definitions
data RequestDestination : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Empty : RequestDestination
  
Audio : RequestDestination
  
Audioworklet : RequestDestination
  
Document : RequestDestination
  
Embed : RequestDestination
  
Font : RequestDestination
  
Frame : RequestDestination
  
Iframe : RequestDestination
  
Image : RequestDestination
  
Manifest : RequestDestination
  
Object : RequestDestination
  
Paintworklet : RequestDestination
  
Report : RequestDestination
  
Script : RequestDestination
  
Sharedworker : RequestDestination
  
Style : RequestDestination
  
Track : RequestDestination
  
Video : RequestDestination
  
Worker : RequestDestination
  
Xslt : RequestDestination

  Hints:
  
Eq RequestDestination
  
FromFFI RequestDestination String
  
Ord RequestDestination
  
Show RequestDestination
  
ToFFI RequestDestination String
read : String -> Maybe RequestDestination
  Totality: total
  Visibility: public export
data RequestMode : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Navigate : RequestMode
  
SameOrigin : RequestMode
  
NoCors : RequestMode
  
Cors : RequestMode

  Hints:
  
Eq RequestMode
  
FromFFI RequestMode String
  
Ord RequestMode
  
Show RequestMode
  
ToFFI RequestMode String
read : String -> Maybe RequestMode
  Totality: total
  Visibility: public export
data RequestCredentials : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Omit : RequestCredentials
  
SameOrigin : RequestCredentials
  
Include : RequestCredentials

  Hints:
  
Eq RequestCredentials
  
FromFFI RequestCredentials String
  
Ord RequestCredentials
  
Show RequestCredentials
  
ToFFI RequestCredentials String
read : String -> Maybe RequestCredentials
  Totality: total
  Visibility: public export
data RequestCache : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Default : RequestCache
  
NoStore : RequestCache
  
Reload : RequestCache
  
NoCache : RequestCache
  
ForceCache : RequestCache
  
OnlyIfCached : RequestCache

  Hints:
  
Eq RequestCache
  
FromFFI RequestCache String
  
Ord RequestCache
  
Show RequestCache
  
ToFFI RequestCache String
read : String -> Maybe RequestCache
  Totality: total
  Visibility: public export
data RequestRedirect : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Follow : RequestRedirect
  
Error : RequestRedirect
  
Manual : RequestRedirect

  Hints:
  
Eq RequestRedirect
  
FromFFI RequestRedirect String
  
Ord RequestRedirect
  
Show RequestRedirect
  
ToFFI RequestRedirect String
read : String -> Maybe RequestRedirect
  Totality: total
  Visibility: public export
data ResponseType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Basic : ResponseType
  
Cors : ResponseType
  
Default : ResponseType
  
Error : ResponseType
  
Opaque : ResponseType
  
Opaqueredirect : ResponseType

  Hints:
  
Eq ResponseType
  
FromFFI ResponseType String
  
Ord ResponseType
  
Show ResponseType
  
ToFFI ResponseType String
read : String -> Maybe ResponseType
  Totality: total
  Visibility: public export
data ReferrerPolicy : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Empty : ReferrerPolicy
  
NoReferrer : ReferrerPolicy
  
NoReferrerWhenDowngrade : ReferrerPolicy
  
SameOrigin : ReferrerPolicy
  
Origin : ReferrerPolicy
  
StrictOrigin : ReferrerPolicy
  
OriginWhenCrossOrigin : ReferrerPolicy
  
StrictOriginWhenCrossOrigin : ReferrerPolicy
  
UnsafeUrl : ReferrerPolicy

  Hints:
  
Eq ReferrerPolicy
  
FromFFI ReferrerPolicy String
  
Ord ReferrerPolicy
  
Show ReferrerPolicy
  
ToFFI ReferrerPolicy String
read : String -> Maybe ReferrerPolicy
  Totality: total
  Visibility: public export
data Headers : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Headers Headers
  
JSType Headers
  
SafeCast Headers
  
ToFFI Headers Headers
data Request : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Request Request
  
JSType Request
  
SafeCast Request
  
ToFFI Request Request
data Response : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Response Response
  
JSType Response
  
SafeCast Response
  
ToFFI Response Response
data RequestInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI RequestInit RequestInit
  
JSType RequestInit
  
ToFFI RequestInit RequestInit
data ResponseInit : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI ResponseInit ResponseInit
  
JSType ResponseInit
  
ToFFI ResponseInit ResponseInit
data Body : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Body Body
  
ToFFI Body Body