Diff of /sml/trunk/src/system/Basis/Implementation/Sockets/inet-sock.sig

Parent Directory | Revision Log | Patch

	revision 1393, Fri Sep 26 17:00:32 2003 UTC	revision 1394, Fri Sep 26 19:56:20 2003 UTC
#	Line 4	Line 4
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
#	Line 30	Line 27
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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1393   changed lines   Added in v.1394

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0