suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add net/http-client to Typed Racket

Browse Source 
original commit: 7ed93e6fba55e4c3360e9a3fae5be9cc871d9aef
This commit is contained in:
Kat Lyons 2014-08-14 21:34:15 -06:00 committed by Sam Tobin-Hochstadt
parent d13aae072f
commit 77c61e5eaf
2 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/libraries.scrbl
View File

@ -57,6 +57,7 @@ The following libraries are included with Typed Racket in the
@defmodule/incl[typed/net/ftp]
@defmodule/incl[typed/net/gifwrite]
@defmodule/incl[typed/net/head]
@defmodule/incl[typed/net/http-client]
@defmodule/incl[typed/net/imap]
@defmodule/incl[typed/net/mime]
@defmodule/incl[typed/net/nntp]

48
pkgs/typed-racket-pkgs/typed-racket-more/typed/net/http-client.rkt Normal file
View File

@ -0,0 +1,48 @@
#lang typed/racket/base
(define-type BString (U Bytes String))
(require (only-in typed/openssl
SSL-Client-Context))
(require/typed/provide net/http-client
[#:opaque HTTP-Connection http-conn?]
[http-conn (-> HTTP-Connection)]
[http-conn-live? (-> HTTP-Connection Boolean)]
[http-conn-open!
(->* [HTTP-Connection BString]
[#:ssl? (U Boolean Symbol SSL-Client-Context) #:port Positive-Integer]
Void)]
[http-conn-open
(->* [BString]
[#:ssl? (U Boolean Symbol SSL-Client-Context) #:port Positive-Integer]
HTTP-Connection)]
[http-conn-close! (-> HTTP-Connection Void)]
[http-conn-abandon! (-> HTTP-Connection Void)]
[http-conn-send!
(->* [HTTP-Connection BString]
[#:version BString #:method (U BString Symbol) #:close? Boolean #:headers (Listof BString)
#:content-decode (Listof Symbol) #:data (Option BString)]
Void)]
[http-conn-recv!
(->* [HTTP-Connection]
[#:content-decode (Listof Symbol) #:close? Boolean]
(values Bytes (Listof Bytes) Input-Port))]
[http-conn-sendrecv!
(->* [HTTP-Connection BString]
[#:version BString #:method (U BString Symbol) #:headers (Listof BString)
#:data (Option BString) #:content-decode (Listof Symbol) #:close? Boolean]
(values Bytes (Listof Bytes) Input-Port))]
[http-sendrecv
(->* [BString BString]
[#:ssl? (U Boolean Symbol SSL-Client-Context) #:port Positive-Integer #:version BString
#:method (U BString Symbol) #:headers (Listof BString) #:data (Option BString)
#:content-decode (Listof Symbol)]
(values Bytes (Listof Bytes) Input-Port))])