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

reference: simplify some contractcs

Browse Source
This commit is contained in:
Matthew Flatt 2013-04-10 08:29:42 -06:00
parent 7a1ef9b0cc
commit 7c0f35e138
1 changed files with 11 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
collects/scribblings/reference/networking.scrbl
View File

@ -13,8 +13,7 @@
For information about TCP in general, see @italic{TCP/IP Illustrated, For information about TCP in general, see @italic{TCP/IP Illustrated,
Volume 1} by W. Richard Stevens. Volume 1} by W. Richard Stevens.
@defproc[(tcp-listen [port-no (and/c exact-nonnegative-integer? @defproc[(tcp-listen [port-no (integer-in 0 65535)]
(integer-in 0 65535))]
[max-allow-wait exact-nonnegative-integer? 4] [max-allow-wait exact-nonnegative-integer? 4]
[reuse? any/c #f] [reuse? any/c #f]
[hostname (or/c string? #f) #f]) [hostname (or/c string? #f) #f])
@ -68,12 +67,9 @@ A TCP listener is @tech{ready for synchronization} when
@defproc[(tcp-connect [hostname string?] @defproc[(tcp-connect [hostname string?]
[port-no (and/c exact-nonnegative-integer? [port-no (integer-in 1 65535)]
(integer-in 1 65535))]
[local-hostname (or/c string? #f) #f] [local-hostname (or/c string? #f) #f]
[local-port-no (or/c (and/c exact-nonnegative-integer? [local-port-no (or/c (integer-in 1 65535) #f)
(integer-in 1 65535))
#f)
#f]) #f])
(values input-port? output-port?)]{ (values input-port? output-port?)]{
@ -125,12 +121,9 @@ If a connection cannot be established by @racket[tcp-connect], the
@exnraise[exn:fail:network].} @exnraise[exn:fail:network].}
@defproc[(tcp-connect/enable-break [hostname string?] @defproc[(tcp-connect/enable-break [hostname string?]
[port-no (and/c exact-nonnegative-integer? [port-no (integer-in 1 65535)]
(integer-in 1 65535))]
[local-hostname (or/c string? #f) #f] [local-hostname (or/c string? #f) #f]
[local-port-no (or/c (and/c exact-nonnegative-integer? [local-port-no (or/c (integer-in 1 65535) #f)])
(integer-in 1 65535))
#f)])
(values input-port? output-port?)]{ (values input-port? output-port?)]{
Like @racket[tcp-connect], but breaking is enabled (see Like @racket[tcp-connect], but breaking is enabled (see
@ -292,8 +285,7 @@ non-@racket[#f], then the socket's protocol family is IPv4.}
@defproc[(udp-bind! [udp-socket udp?] @defproc[(udp-bind! [udp-socket udp?]
[hostname-string (or/c string? #f)] [hostname-string (or/c string? #f)]
[port-no (and/c exact-nonnegative-integer? [port-no (integer-in 0 65535)]
(integer-in 0 65535))]
[reuse? any/c #f]) [reuse? any/c #f])
void?]{ void?]{
@ -335,8 +327,7 @@ machine when using UDP multicast.}
@defproc[(udp-connect! [udp-socket udp?] @defproc[(udp-connect! [udp-socket udp?]
[hostname-string (or/c string? #f)] [hostname-string (or/c string? #f)]
[port-no (or/c (and/c exact-nonnegative-integer? [port-no (or/c (integer-in 1 65535)
(integer-in 1 65535))
#f)]) #f)])
void?]{ void?]{
@ -360,8 +351,7 @@ If @racket[udp-socket] is closed, the @exnraise[exn:fail:network].}
@defproc[(udp-send-to [udp-socket udp?] @defproc[(udp-send-to [udp-socket udp?]
[hostname string?] [hostname string?]
[port-no (and/c exact-nonnegative-integer? [port-no (integer-in 1 65535)]
(integer-in 1 65535))]
[bstr bytes?] [bstr bytes?]
[start-pos exact-nonnegative-integer? 0] [start-pos exact-nonnegative-integer? 0]
[end-pos exact-nonnegative-integer? (bytes-length bstr)]) [end-pos exact-nonnegative-integer? (bytes-length bstr)])
@ -395,8 +385,7 @@ connected, and the datagram goes to the connection target. If
@defproc[(udp-send-to* [udp-socket udp?] @defproc[(udp-send-to* [udp-socket udp?]
[hostname string?] [hostname string?]
[port-no (and/c exact-nonnegative-integer? [port-no (integer-in 1 65535)]
(integer-in 1 65535))]
[bstr bytes?] [bstr bytes?]
[start-pos exact-nonnegative-integer? 0] [start-pos exact-nonnegative-integer? 0]
[end-pos exact-nonnegative-integer? (bytes-length bstr)]) [end-pos exact-nonnegative-integer? (bytes-length bstr)])
@ -417,8 +406,7 @@ never blocks and returns @racket[#f] or @racket[#t].}
@defproc[(udp-send-to/enable-break [udp-socket udp?] @defproc[(udp-send-to/enable-break [udp-socket udp?]
[hostname string?] [hostname string?]
[port-no (and/c exact-nonnegative-integer? [port-no (integer-in 1 65535)]
(integer-in 1 65535))]
[bstr bytes?] [bstr bytes?]
[start-pos exact-nonnegative-integer? 0] [start-pos exact-nonnegative-integer? 0]
[end-pos exact-nonnegative-integer? (bytes-length bstr)]) [end-pos exact-nonnegative-integer? (bytes-length bstr)])
@ -533,8 +521,7 @@ would block.}
@defproc[(udp-send-to-evt [udp-socket udp?] @defproc[(udp-send-to-evt [udp-socket udp?]
[hostname string?] [hostname string?]
[port-no (and/c exact-nonnegative-integer? [port-no (integer-in 1 65535)]
(integer-in 1 65535))]
[bstr bytes?] [bstr bytes?]
[start-pos exact-nonnegative-integer? 0] [start-pos exact-nonnegative-integer? 0]
[end-pos exact-nonnegative-integer? (bytes-length bstr)]) [end-pos exact-nonnegative-integer? (bytes-length bstr)])