Idris2Doc : HTTP.API.Client.FFI

HTTP.API.Client.FFI

(source)

Definitions

xmlhttpRequest : IO1XMLHttpRequest
Totality: total
Visibility: export
status : XMLHttpRequest->IO1Bits16
Totality: total
Visibility: export
abort : XMLHttpRequest->IO1 ()
Totality: total
Visibility: export
opn : XMLHttpRequest->Method->URI->IO1 ()
Totality: total
Visibility: export
send : XMLHttpRequest->IO1 ()
Totality: total
Visibility: export
sendTxt : XMLHttpRequest->String->IO1 ()
Totality: total
Visibility: export
sendBuffer : XMLHttpRequest->Buffer->IO1 ()
Totality: total
Visibility: export
sendFD : XMLHttpRequest->FormData->IO1 ()
Totality: total
Visibility: export
setRequestHeader : XMLHttpRequest->String->ByteString->IO1 ()
Totality: total
Visibility: export
setRequestHeaderP : XMLHttpRequest-> (String, ByteString) ->IO1 ()
Totality: total
Visibility: export
responseBytes : XMLHttpRequest->IO1ByteString
Totality: total
Visibility: export
newFD : IO1FormData
Totality: total
Visibility: export
appendTxt : FormData->String->String->IO1 ()
Totality: total
Visibility: export
appendBlob : FormData->String->Blob->IO1 ()
Totality: total
Visibility: export
appendFile : FormData->String->File->IO1 ()
Totality: total
Visibility: export
appendBytes : FormData->String->ByteString->IO1 ()
Totality: total
Visibility: export