Idris2Doc : HTTP.API.Client.FFI

HTTP.API.Client.FFI

(source)

Definitions

bubbles : Event -> Bool
cancelable : Event -> Bool
xmlhttpRequest : IO1 XMLHttpRequest
Totality: total
Visibility: export
status : XMLHttpRequest -> IO1 Bits16
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
sendBlob : XMLHttpRequest -> Blob -> 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 -> IO1 ByteString
Totality: total
Visibility: export
newFD : IO1 FormData
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
addEventListener : EventTarget -> String -> (Event -> IO1 ()) -> IO1 ()
Totality: total
Visibility: export
preventDefault : Event -> IO1 ()
Totality: total
Visibility: export
stopPropagation : Event -> IO1 ()
Totality: total
Visibility: export