Idris2Doc : Web.Raw.Fetch

Web.Raw.Fetch

(source)
Definitions
new' : Optional (HSum [Array (Array ByteString), Record ByteString ByteString]) -> JSIO Headers
  Totality: total
  Visibility: export
new : JSIO Headers
  Totality: total
  Visibility: export
append : Headers -> ByteString -> ByteString -> JSIO ()
  Totality: total
  Visibility: export
delete : Headers -> ByteString -> JSIO ()
  Totality: total
  Visibility: export
get : Headers -> ByteString -> JSIO (Maybe ByteString)
  Totality: total
  Visibility: export
has : Headers -> ByteString -> JSIO Bool
  Totality: total
  Visibility: export
set : Headers -> ByteString -> ByteString -> JSIO ()
  Totality: total
  Visibility: export
new' : {auto 0 {conArg:3686} : JSType t2} -> {auto 0 _ : Elem RequestInit (Types t2)} -> HSum [Request, String] -> Optional t2 -> JSIO Request
  Totality: total
  Visibility: export
new : HSum [Request, String] -> JSIO Request
  Totality: total
  Visibility: export
cache : Request -> JSIO RequestCache
  Totality: total
  Visibility: export
credentials : Request -> JSIO RequestCredentials
  Totality: total
  Visibility: export
destination : Request -> JSIO RequestDestination
  Totality: total
  Visibility: export
headers : Request -> JSIO Headers
  Totality: total
  Visibility: export
integrity : Request -> JSIO String
  Totality: total
  Visibility: export
isHistoryNavigation : Request -> JSIO Bool
  Totality: total
  Visibility: export
isReloadNavigation : Request -> JSIO Bool
  Totality: total
  Visibility: export
keepalive : Request -> JSIO Bool
  Totality: total
  Visibility: export
method : Request -> JSIO ByteString
  Totality: total
  Visibility: export
mode : Request -> JSIO RequestMode
  Totality: total
  Visibility: export
redirect : Request -> JSIO RequestRedirect
  Totality: total
  Visibility: export
referrer : Request -> JSIO String
  Totality: total
  Visibility: export
referrerPolicy : Request -> JSIO ReferrerPolicy
  Totality: total
  Visibility: export
signal : Request -> JSIO AbortSignal
  Totality: total
  Visibility: export
url : Request -> JSIO String
  Totality: total
  Visibility: export
clone : Request -> JSIO Request
  Totality: total
  Visibility: export
new' : {auto 0 {conArg:3917} : JSType t2} -> {auto 0 _ : Elem ResponseInit (Types t2)} -> Optional (Maybe (HSum [ReadableStream, Blob, Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView, ArrayBuffer, FormData, URLSearchParams, String])) -> Optional t2 -> JSIO Response
  Totality: total
  Visibility: export
new : JSIO Response
  Totality: total
  Visibility: export
error : JSIO Response
  Totality: total
  Visibility: export
redirect' : String -> Optional Bits16 -> JSIO Response
  Totality: total
  Visibility: export
redirect : String -> JSIO Response
  Totality: total
  Visibility: export
headers : Response -> JSIO Headers
  Totality: total
  Visibility: export
ok : Response -> JSIO Bool
  Totality: total
  Visibility: export
redirected : Response -> JSIO Bool
  Totality: total
  Visibility: export
status : Response -> JSIO Bits16
  Totality: total
  Visibility: export
statusText : Response -> JSIO ByteString
  Totality: total
  Visibility: export
type : Response -> JSIO ResponseType
  Totality: total
  Visibility: export
url : Response -> JSIO String
  Totality: total
  Visibility: export
clone : Response -> JSIO Response
  Totality: total
  Visibility: export
body : {auto 0 {conArg:4243} : JSType t1} -> {auto 0 _ : Elem Body (Types t1)} -> t1 -> JSIO (Maybe ReadableStream)
  Totality: total
  Visibility: export
bodyUsed : {auto 0 {conArg:4279} : JSType t1} -> {auto 0 _ : Elem Body (Types t1)} -> t1 -> JSIO Bool
  Totality: total
  Visibility: export
arrayBuffer : {auto 0 {conArg:4311} : JSType t1} -> {auto 0 _ : Elem Body (Types t1)} -> t1 -> JSIO (Promise ArrayBuffer)
  Totality: total
  Visibility: export
blob : {auto 0 {conArg:4339} : JSType t1} -> {auto 0 _ : Elem Body (Types t1)} -> t1 -> JSIO (Promise Blob)
  Totality: total
  Visibility: export
formData : {auto 0 {conArg:4368} : JSType t1} -> {auto 0 _ : Elem Body (Types t1)} -> t1 -> JSIO (Promise FormData)
  Totality: total
  Visibility: export
json : {auto 0 {conArg:4396} : JSType t1} -> {auto 0 _ : Elem Body (Types t1)} -> t1 -> JSIO (Promise AnyPtr)
  Totality: total
  Visibility: export
text : {auto 0 {conArg:4424} : JSType t1} -> {auto 0 _ : Elem Body (Types t1)} -> t1 -> JSIO (Promise String)
  Totality: total
  Visibility: export
new' : Optional ByteString -> Optional (HSum [Array (Array ByteString), Record ByteString ByteString]) -> Optional (Maybe (HSum [ReadableStream, Blob, Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView, ArrayBuffer, FormData, URLSearchParams, String])) -> Optional String -> Optional ReferrerPolicy -> Optional RequestMode -> Optional RequestCredentials -> Optional RequestCache -> Optional RequestRedirect -> Optional String -> Optional Bool -> Optional (Maybe AbortSignal) -> Optional Any -> JSIO RequestInit
  Totality: total
  Visibility: export
new : JSIO RequestInit
  Totality: total
  Visibility: export
body : {auto 0 {conArg:4824} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional (Maybe (Union16 ReadableStream Blob Int8Array Int16Array Int32Array UInt8Array UInt8Array UInt8Array UInt8ClampedArray Float32Array Float64Array DataView ArrayBuffer FormData URLSearchParams String))
  Totality: total
  Visibility: export
cache : {auto 0 {conArg:4903} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional RequestCache
  Totality: total
  Visibility: export
credentials : {auto 0 {conArg:4941} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional RequestCredentials
  Totality: total
  Visibility: export
headers : {auto 0 {conArg:4979} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional (Union2 (Array (Array ByteString)) (Record ByteString ByteString))
  Totality: total
  Visibility: export
integrity : {auto 0 {conArg:5024} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional String
  Totality: total
  Visibility: export
keepalive : {auto 0 {conArg:5062} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional Bool
  Totality: total
  Visibility: export
method : {auto 0 {conArg:5100} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional ByteString
  Totality: total
  Visibility: export
mode : {auto 0 {conArg:5138} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional RequestMode
  Totality: total
  Visibility: export
redirect : {auto 0 {conArg:5176} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional RequestRedirect
  Totality: total
  Visibility: export
referrer : {auto 0 {conArg:5214} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional String
  Totality: total
  Visibility: export
referrerPolicy : {auto 0 {conArg:5252} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional ReferrerPolicy
  Totality: total
  Visibility: export
signal : {auto 0 {conArg:5290} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional (Maybe AbortSignal)
  Totality: total
  Visibility: export
window : {auto 0 {conArg:5335} : JSType t} -> {auto 0 _ : Elem RequestInit (Types t)} -> t -> Attribute False Optional Any
  Totality: total
  Visibility: export
new' : Optional Bits16 -> Optional ByteString -> Optional (HSum [Array (Array ByteString), Record ByteString ByteString]) -> JSIO ResponseInit
  Totality: total
  Visibility: export
new : JSIO ResponseInit
  Totality: total
  Visibility: export
headers : {auto 0 {conArg:5440} : JSType t} -> {auto 0 _ : Elem ResponseInit (Types t)} -> t -> Attribute False Optional (Union2 (Array (Array ByteString)) (Record ByteString ByteString))
  Totality: total
  Visibility: export
status : {auto 0 {conArg:5485} : JSType t} -> {auto 0 _ : Elem ResponseInit (Types t)} -> t -> Attribute True Optional Bits16
  Totality: total
  Visibility: export
statusText : {auto 0 {conArg:5526} : JSType t} -> {auto 0 _ : Elem ResponseInit (Types t)} -> t -> Attribute False Optional ByteString
  Totality: total
  Visibility: export