4 |
* |
* |
5 |
*) |
*) |
6 |
|
|
|
local |
|
|
structure Socket = SocketImp |
|
|
in |
|
7 |
signature INET_SOCK = |
signature INET_SOCK = |
8 |
sig |
sig |
9 |
|
|
10 |
type inet |
type inet |
11 |
|
|
12 |
type 'a sock = (inet, 'a) Socket.sock |
type 'sock_type sock = (inet, 'sock_type) Socket.sock |
13 |
type 'a stream_sock = 'a Socket.stream sock |
type 'mode stream_sock = 'mode Socket.stream sock |
14 |
type dgram_sock = Socket.dgram sock |
type dgram_sock = Socket.dgram sock |
15 |
|
|
16 |
type sock_addr = inet Socket.sock_addr |
type sock_addr = inet Socket.sock_addr |
17 |
|
|
18 |
val inetAF : Socket.AF.addr_family (* DARPA internet protocols *) |
val inetAF : Socket.AF.addr_family (* DARPA internet protocols *) |
19 |
|
|
20 |
val toAddr : (NetHostDB.in_addr * int) -> sock_addr |
val toAddr : NetHostDB.in_addr * int -> sock_addr |
21 |
val fromAddr : sock_addr -> (NetHostDB.in_addr * int) |
val fromAddr : sock_addr -> NetHostDB.in_addr * int |
22 |
val any : int -> sock_addr |
val any : int -> sock_addr |
23 |
|
|
24 |
structure UDP : sig |
structure UDP : sig |
27 |
end |
end |
28 |
|
|
29 |
structure TCP : sig |
structure TCP : sig |
30 |
val socket : unit -> 'a stream_sock |
val socket : unit -> 'mode stream_sock |
31 |
val socket' : int -> 'a stream_sock |
val socket' : int -> 'mode stream_sock |
32 |
(* tcp control options *) |
(* tcp control options *) |
33 |
val getNODELAY : 'a stream_sock -> bool |
val getNODELAY : 'mode stream_sock -> bool |
34 |
val setNODELAY : ('a stream_sock * bool) -> unit |
val setNODELAY : 'mode stream_sock * bool -> unit |
35 |
end |
end |
36 |
end |
end |
|
end |
|
|
|
|
|
|
|