Parents: | http.client |
redirects |
Word | Stack effect |
(check-proxy) | ( proxy -- ? ) |
<request-socket> | ( -- stream ) |
?copy-proxy-basic-auth | ( dst-request src-request -- dst-request ) |
?default-proxy | ( request -- request' ) |
?https-tunnel | ( -- ) |
?set-basic-auth | ( header url name -- header ) |
abs-path-uri | ( url -- str ) |
absolute-uri | ( url -- str ) |
authority-uri | ( url -- str ) |
check-proxy | ( request proxy -- request' ) |
default-port? | ( url -- ? ) |
detect-encoding | ( response -- encoding ) |
get-default-proxy | ( request -- default-proxy ) |
get-no-proxy-list | ( -- list ) |
https-tunnel? | ( request -- ? ) |
misparsed-url? | ( url -- url' ) |
no-proxy-match? | ( host-path no-proxy-path -- ? ) |
no-proxy? | ( request -- ? ) |
prepare-redirect | ( response -- response ) |
read-chunk-size | ( -- n ) |
read-chunked | ( quot: ( chunk -- ) -- ) |
read-response | ( -- response ) |
read-response-body | ( quot: ( chunk -- ) response -- ) |
read-response-header | ( response -- response ) |
read-response-line | ( response -- response ) |
redirect-url | ( request url -- request ) |
redirect? | ( response -- ? ) |
request-socket-endpoints | ( request -- physical logical ) |
request-uri | ( request -- str ) |
request-url | ( url -- url' ) |
set-cookie-header | ( header cookies -- header ) |
set-host-header | ( request header -- request header ) |
unparse-host | ( url -- string ) |
upgrade-to-websocket? | ( response -- ? ) |
write-request | ( request -- ) |
write-request-header | ( request -- request ) |
write-request-line | ( request -- request ) |