Idris2Doc : Web.Raw.Xhr

Web.Raw.Xhr

(source)

Definitions

new' : Optional HTMLFormElement -> JSIO FormData
Totality: total
Visibility: export
new : JSIO FormData
Totality: total
Visibility: export
append : FormData -> String -> String -> JSIO ()
Totality: total
Visibility: export
append1' : {auto 0 {conArg:3602} : JSType t3} -> {auto 0 _ : Elem Blob (Types t3)} -> FormData -> String -> t3 -> Optional String -> JSIO ()
Totality: total
Visibility: export
append1 : {auto 0 {conArg:3646} : JSType t3} -> {auto 0 _ : Elem Blob (Types t3)} -> FormData -> String -> t3 -> JSIO ()
Totality: total
Visibility: export
delete : FormData -> String -> JSIO ()
Totality: total
Visibility: export
getAll : FormData -> String -> JSIO (Array (Union2 File String))
Totality: total
Visibility: export
get : FormData -> String -> JSIO (Maybe (HSum [File, String]))
Totality: total
Visibility: export
has : FormData -> String -> JSIO Bool
Totality: total
Visibility: export
set : FormData -> String -> String -> JSIO ()
Totality: total
Visibility: export
set1' : {auto 0 {conArg:3787} : JSType t3} -> {auto 0 _ : Elem Blob (Types t3)} -> FormData -> String -> t3 -> Optional String -> JSIO ()
Totality: total
Visibility: export
set1 : {auto 0 {conArg:3831} : JSType t3} -> {auto 0 _ : Elem Blob (Types t3)} -> FormData -> String -> t3 -> JSIO ()
Totality: total
Visibility: export
new' : {auto 0 {conArg:3867} : JSType t2} -> {auto 0 _ : Elem ProgressEventInit (Types t2)} -> String -> Optional t2 -> JSIO ProgressEvent
Totality: total
Visibility: export
new : String -> JSIO ProgressEvent
Totality: total
Visibility: export
lengthComputable : ProgressEvent -> JSIO Bool
Totality: total
Visibility: export
loaded : ProgressEvent -> JSIO JSBits64
Totality: total
Visibility: export
total_ : ProgressEvent -> JSIO JSBits64
Totality: total
Visibility: export
DONE : Bits16
Totality: total
Visibility: public export
HEADERS_RECEIVED : Bits16
Totality: total
Visibility: public export
LOADING : Bits16
Totality: total
Visibility: public export
OPENED : Bits16
Totality: total
Visibility: public export
UNSENT : Bits16
Totality: total
Visibility: public export
new : JSIO XMLHttpRequest
Totality: total
Visibility: export
onreadystatechange : XMLHttpRequest -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
readyState : XMLHttpRequest -> JSIO Bits16
Totality: total
Visibility: export
response : XMLHttpRequest -> JSIO Any
Totality: total
Visibility: export
responseText : XMLHttpRequest -> JSIO String
Totality: total
Visibility: export
responseType : XMLHttpRequest -> Attribute True id XMLHttpRequestResponseType
Totality: total
Visibility: export
responseURL : XMLHttpRequest -> JSIO String
Totality: total
Visibility: export
responseXML : XMLHttpRequest -> JSIO (Maybe Document)
Totality: total
Visibility: export
status : XMLHttpRequest -> JSIO Bits16
Totality: total
Visibility: export
statusText : XMLHttpRequest -> JSIO ByteString
Totality: total
Visibility: export
timeout : XMLHttpRequest -> Attribute True id Bits32
Totality: total
Visibility: export
upload : XMLHttpRequest -> JSIO XMLHttpRequestUpload
Totality: total
Visibility: export
withCredentials : XMLHttpRequest -> Attribute True id Bool
Totality: total
Visibility: export
abort : XMLHttpRequest -> JSIO ()
Totality: total
Visibility: export
getAllResponseHeaders : XMLHttpRequest -> JSIO ByteString
Totality: total
Visibility: export
getResponseHeader : XMLHttpRequest -> ByteString -> JSIO (Maybe ByteString)
Totality: total
Visibility: export
open_ : XMLHttpRequest -> ByteString -> String -> JSIO ()
Totality: total
Visibility: export
open1' : XMLHttpRequest -> ByteString -> String -> Bool -> Optional (Maybe String) -> Optional (Maybe String) -> JSIO ()
Totality: total
Visibility: export
open1 : XMLHttpRequest -> ByteString -> String -> Bool -> JSIO ()
Totality: total
Visibility: export
overrideMimeType : XMLHttpRequest -> String -> JSIO ()
Totality: total
Visibility: export
send' : XMLHttpRequest -> Optional (Maybe (HSum [Document, Blob, Int8Array, Int16Array, Int32Array, UInt8Array, UInt8Array, UInt8Array, UInt8ClampedArray, Float32Array, Float64Array, DataView, ArrayBuffer, FormData, URLSearchParams, String])) -> JSIO ()
Totality: total
Visibility: export
send : XMLHttpRequest -> JSIO ()
Totality: total
Visibility: export
setRequestHeader : XMLHttpRequest -> ByteString -> ByteString -> JSIO ()
Totality: total
Visibility: export
onabort : {auto 0 {conArg:4430} : JSType t} -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
onerror : {auto 0 {conArg:4468} : JSType t} -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
onload : {auto 0 {conArg:4506} : JSType t} -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
onloadend : {auto 0 {conArg:4544} : JSType t} -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
onloadstart : {auto 0 {conArg:4582} : JSType t} -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
onprogress : {auto 0 {conArg:4620} : JSType t} -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
ontimeout : {auto 0 {conArg:4658} : JSType t} -> {auto 0 _ : Elem XMLHttpRequestEventTarget (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
new' : Optional Bool -> Optional JSBits64 -> Optional JSBits64 -> JSIO ProgressEventInit
Totality: total
Visibility: export
new : JSIO ProgressEventInit
Totality: total
Visibility: export
lengthComputable : {auto 0 {conArg:4732} : JSType t} -> {auto 0 _ : Elem ProgressEventInit (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
loaded : {auto 0 {conArg:4771} : JSType t} -> {auto 0 _ : Elem ProgressEventInit (Types t)} -> t -> Attribute True Optional JSBits64
Totality: total
Visibility: export
total_ : {auto 0 {conArg:4812} : JSType t} -> {auto 0 _ : Elem ProgressEventInit (Types t)} -> t -> Attribute True Optional JSBits64
Totality: total
Visibility: export