Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch/src/system/Basis/Implementation/Sockets/inet-sock.sig
ViewVC logotype

Diff of /sml/branches/primop-branch/src/system/Basis/Implementation/Sockets/inet-sock.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1470, Mon Mar 29 22:45:55 2004 UTC revision 1471, Mon Mar 29 22:45:55 2004 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  
   
   

Legend:
Removed from v.1470  
changed lines
  Added in v.1471

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