Idris2Doc : Web.Raw.Xhr
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 - 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 - Totality: total
Visibility: export - 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 - 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