Idris2Doc : HTTP.API.Client.FFI
Definitions
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 sendFD : XMLHttpRequest -> FormData -> IO1 ()- Totality: total
Visibility: export - Totality: total
Visibility: export - 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