Idris2Doc : Web.Raw.Xhr

Web.Raw.Xhr

(source)

Definitions

new' : OptionalHTMLFormElement->JSIOFormData
Totality: total
Visibility: export
new : JSIOFormData
Totality: total
Visibility: export
append : FormData->String->String->JSIO ()
Totality: total
Visibility: export
append1' : {auto0{conArg:3602} : JSTypet3} -> {auto0_ : ElemBlob (Typest3)} ->FormData->String->t3->OptionalString->JSIO ()
Totality: total
Visibility: export
append1 : {auto0{conArg:3646} : JSTypet3} -> {auto0_ : ElemBlob (Typest3)} ->FormData->String->t3->JSIO ()
Totality: total
Visibility: export
delete : FormData->String->JSIO ()
Totality: total
Visibility: export
getAll : FormData->String->JSIO (Array (Union2FileString))
Totality: total
Visibility: export
get : FormData->String->JSIO (Maybe (HSum [File, String]))
Totality: total
Visibility: export
has : FormData->String->JSIOBool
Totality: total
Visibility: export
set : FormData->String->String->JSIO ()
Totality: total
Visibility: export
set1' : {auto0{conArg:3787} : JSTypet3} -> {auto0_ : ElemBlob (Typest3)} ->FormData->String->t3->OptionalString->JSIO ()
Totality: total
Visibility: export
set1 : {auto0{conArg:3831} : JSTypet3} -> {auto0_ : ElemBlob (Typest3)} ->FormData->String->t3->JSIO ()
Totality: total
Visibility: export
new' : {auto0{conArg:3867} : JSTypet2} -> {auto0_ : ElemProgressEventInit (Typest2)} ->String->Optionalt2->JSIOProgressEvent
Totality: total
Visibility: export
new : String->JSIOProgressEvent
Totality: total
Visibility: export
lengthComputable : ProgressEvent->JSIOBool
Totality: total
Visibility: export
loaded : ProgressEvent->JSIOJSBits64
Totality: total
Visibility: export
total_ : ProgressEvent->JSIOJSBits64
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 : JSIOXMLHttpRequest
Totality: total
Visibility: export
onreadystatechange : XMLHttpRequest->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
readyState : XMLHttpRequest->JSIOBits16
Totality: total
Visibility: export
response : XMLHttpRequest->JSIOAny
Totality: total
Visibility: export
responseText : XMLHttpRequest->JSIOString
Totality: total
Visibility: export
responseType : XMLHttpRequest->AttributeTrueidXMLHttpRequestResponseType
Totality: total
Visibility: export
responseURL : XMLHttpRequest->JSIOString
Totality: total
Visibility: export
responseXML : XMLHttpRequest->JSIO (MaybeDocument)
Totality: total
Visibility: export
status : XMLHttpRequest->JSIOBits16
Totality: total
Visibility: export
statusText : XMLHttpRequest->JSIOByteString
Totality: total
Visibility: export
timeout : XMLHttpRequest->AttributeTrueidBits32
Totality: total
Visibility: export
upload : XMLHttpRequest->JSIOXMLHttpRequestUpload
Totality: total
Visibility: export
withCredentials : XMLHttpRequest->AttributeTrueidBool
Totality: total
Visibility: export
abort : XMLHttpRequest->JSIO ()
Totality: total
Visibility: export
getAllResponseHeaders : XMLHttpRequest->JSIOByteString
Totality: total
Visibility: export
getResponseHeader : XMLHttpRequest->ByteString->JSIO (MaybeByteString)
Totality: total
Visibility: export
open_ : XMLHttpRequest->ByteString->String->JSIO ()
Totality: total
Visibility: export
open1' : XMLHttpRequest->ByteString->String->Bool->Optional (MaybeString) ->Optional (MaybeString) ->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 : {auto0{conArg:4430} : JSTypet} -> {auto0_ : ElemXMLHttpRequestEventTarget (Typest)} ->t->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
onerror : {auto0{conArg:4468} : JSTypet} -> {auto0_ : ElemXMLHttpRequestEventTarget (Typest)} ->t->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
onload : {auto0{conArg:4506} : JSTypet} -> {auto0_ : ElemXMLHttpRequestEventTarget (Typest)} ->t->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
onloadend : {auto0{conArg:4544} : JSTypet} -> {auto0_ : ElemXMLHttpRequestEventTarget (Typest)} ->t->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
onloadstart : {auto0{conArg:4582} : JSTypet} -> {auto0_ : ElemXMLHttpRequestEventTarget (Typest)} ->t->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
onprogress : {auto0{conArg:4620} : JSTypet} -> {auto0_ : ElemXMLHttpRequestEventTarget (Typest)} ->t->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
ontimeout : {auto0{conArg:4658} : JSTypet} -> {auto0_ : ElemXMLHttpRequestEventTarget (Typest)} ->t->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
new' : OptionalBool->OptionalJSBits64->OptionalJSBits64->JSIOProgressEventInit
Totality: total
Visibility: export
new : JSIOProgressEventInit
Totality: total
Visibility: export
lengthComputable : {auto0{conArg:4732} : JSTypet} -> {auto0_ : ElemProgressEventInit (Typest)} ->t->AttributeTrueOptionalBool
Totality: total
Visibility: export
loaded : {auto0{conArg:4771} : JSTypet} -> {auto0_ : ElemProgressEventInit (Typest)} ->t->AttributeTrueOptionalJSBits64
Totality: total
Visibility: export
total_ : {auto0{conArg:4812} : JSTypet} -> {auto0_ : ElemProgressEventInit (Typest)} ->t->AttributeTrueOptionalJSBits64
Totality: total
Visibility: export