polyml/basis/Socket.sml

22     type ('af,'sock_type) sock
49          val getDEBUG : ('af, 'sock_type) sock -> bool
50          val setDEBUG : ('af, 'sock_type) sock * bool -> unit
51          val getREUSEADDR : ('af, 'sock_type) sock -> bool
52          val setREUSEADDR : ('af, 'sock_type) sock * bool -> unit
53          val getKEEPALIVE : ('af, 'sock_type) sock -> bool
54          val setKEEPALIVE : ('af, 'sock_type) sock * bool -> unit
55          val getDONTROUTE : ('af, 'sock_type) sock -> bool
56          val setDONTROUTE : ('af, 'sock_type) sock * bool -> unit
57          val getLINGER : ('af, 'sock_type) sock -> Time.time option
58          val setLINGER : ('af, 'sock_type) sock * Time.time option -> unit
59          val getBROADCAST : ('af, 'sock_type) sock -> bool
60          val setBROADCAST : ('af, 'sock_type) sock * bool -> unit
61          val getOOBINLINE : ('af, 'sock_type) sock -> bool
62          val setOOBINLINE : ('af, 'sock_type) sock * bool  -> unit
63          val getSNDBUF : ('af, 'sock_type) sock -> int
64          val setSNDBUF : ('af, 'sock_type) sock * int -> unit
65          val getRCVBUF : ('af, 'sock_type) sock -> int
66          val setRCVBUF : ('af, 'sock_type) sock * int -> unit
67          val getTYPE : ('af, 'sock_type) sock -> SOCK.sock_type
68          val getERROR : ('af, 'sock_type) sock -> bool
69          val getPeerName : ('af, 'sock_type) sock -> 'af sock_addr
70          val getSockName : ('af, 'sock_type) sock -> 'af sock_addr
71          val getNREAD : ('af, 'sock_type) sock -> int
72          val getATMARK : ('af, active stream) sock -> bool
78      val bind : ('af, 'sock_type) sock * 'af sock_addr -> unit
79      val listen : ('af, passive stream) sock * int -> unit
80      val accept : ('af, passive stream) sock
81                     -> ('af, active stream) sock * 'af sock_addr
82      val acceptNB : ('af, passive stream) sock
83                     -> (('af, active stream) sock * 'af sock_addr) option
84      val connect : ('af, 'sock_type) sock * 'af sock_addr -> unit
85      val connectNB : ('af, 'sock_type) sock * 'af sock_addr -> bool
86      val close : ('af, 'sock_type) sock -> unit
93      val shutdown : ('af, 'sock_type stream) sock * shutdown_mode -> unit
96      val sockDesc : ('af, 'sock_type) sock -> sock_desc
104      val ioDesc : ('af, 'sock_type) sock -> OS.IO.iodesc
109      val sendVec : ('af, active stream) sock * Word8VectorSlice.slice -> int
110      val sendArr : ('af, active stream) sock * Word8ArraySlice.slice -> int
111      val sendVec' : ('af, active stream) sock * Word8VectorSlice.slice
113      val sendArr' : ('af, active stream) sock * Word8ArraySlice.slice
115      val sendVecNB : ('af, active stream) sock * Word8VectorSlice.slice -> int option
116      val sendArrNB : ('af, active stream) sock * Word8ArraySlice.slice -> int option
117      val sendVecNB' : ('af, active stream) sock * Word8VectorSlice.slice
119      val sendArrNB' : ('af, active stream) sock * Word8ArraySlice.slice
122      val recvVec : ('af, active stream) sock * int -> Word8Vector.vector
123      val recvArr : ('af, active stream) sock  * Word8ArraySlice.slice -> int
124      val recvVec' : ('af, active stream) sock * int * in_flags
126      val recvArr' : ('af, active stream) sock * Word8ArraySlice.slice
128      val recvVecNB : ('af, active stream) sock * int -> Word8Vector.vector option
129      val recvArrNB : ('af, active stream) sock  * Word8ArraySlice.slice -> int option
130      val recvVecNB' : ('af, active stream) sock * int * in_flags
132      val recvArrNB' : ('af, active stream) sock * Word8ArraySlice.slice
135      val sendVecTo : ('af, dgram) sock * 'af sock_addr
137      val sendArrTo : ('af, dgram) sock * 'af sock_addr
139      val sendVecTo' : ('af, dgram) sock * 'af sock_addr
141      val sendArrTo' : ('af, dgram) sock * 'af sock_addr
143      val sendVecToNB : ('af, dgram) sock * 'af sock_addr
145      val sendArrToNB : ('af, dgram) sock * 'af sock_addr
147      val sendVecToNB' : ('af, dgram) sock * 'af sock_addr
149      val sendArrToNB' : ('af, dgram) sock * 'af sock_addr
152      val recvVecFrom : ('af, dgram) sock * int
154      val recvArrFrom : ('af, dgram) sock * Word8ArraySlice.slice
156      val recvVecFrom' : ('af, dgram) sock * int * in_flags
158      val recvArrFrom' : ('af, dgram) sock * Word8ArraySlice.slice
160      val recvVecFromNB : ('af, dgram) sock * int
162      val recvArrFromNB : ('af, dgram) sock * Word8ArraySlice.slice
164      val recvVecFromNB' : ('af, dgram) sock * int * in_flags
166      val recvArrFromNB' : ('af, dgram) sock * Word8ArraySlice.slice
171     where type ('af,'sock_type) sock = ('af,'sock_type) LibraryIOSupport.sock (* So we can use it elsewhere *) =
174     datatype sock = datatype LibraryIOSupport.sock
353     fun sockDesc (SOCK sock) = SOCKDESC sock (* Create a socket descriptor from a socket. *)
365         fun sockDescToDesc(SOCKDESC sock) = sock
509             fun sendNB (SOCK sock, base: address, offset: int, length: int, rt: bool, oob: bool): int option =
510                 nonBlockingCall doSend (sock, base, offset, length, rt, oob)
512             fun send (skt as SOCK sock, base, offset, length, rt, oob) =
517                 doSend (sock, base, offset, length, rt, oob)
527             fun sendToNB (SOCK sock, SOCKADDR addr, base: address, offset, length, rt, oob): bool =
528                 case nonBlockingCall doSend (sock, addr, base, offset, length, rt, oob) of
531             fun sendTo (skt as SOCK sock, SOCKADDR addr, base: address, offset, length, rt, oob): unit =
535                 doSend (sock, addr, base, offset, length, rt, oob);
545             fun recvNB (SOCK sock, base: address, offset: int, length: int, peek: bool, oob: bool): int option =
546                 nonBlockingCall doRecv (sock, base, offset, length, peek, oob)
548             fun recv (skt as SOCK sock, base, offset, length, rt, oob) =
552                 doRecv (sock, base, offset, length, rt, oob)
560             fun recvFromNB (SOCK sock, base, offset, length, peek, oob) =
561                 case nonBlockingCall doRecvFrom (sock, base, offset, length, peek, oob) of
565             fun recvFrom (skt as SOCK sock, base, offset, length, peek, oob) =
569                 case doRecvFrom (sock, base, offset, length, peek, oob) of
574         fun sendVec' (sock, slice: Word8VectorSlice.slice, {don't_route, oob}) =
578             send(sock, LibrarySupport.w8vectorAsAddress v, i + Word.toInt wordSize, length, don't_route, oob)
580         and sendVec (sock, vbuff) = sendVec'(sock, vbuff, nullOut)
582         fun sendVecNB' (sock, slice: Word8VectorSlice.slice, {don't_route, oob}) =
586             sendNB(sock, LibrarySupport.w8vectorAsAddress v, i + Word.toInt wordSize, length, don't_route, oob)
588         and sendVecNB (sock, vbuff) = sendVecNB'(sock, vbuff, nullOut)
590         fun sendArr' (sock, slice: Word8ArraySlice.slice, {don't_route, oob}) =
594             send(sock, v, i, length, don't_route, oob)
596         and sendArr (sock, vbuff) = sendArr'(sock, vbuff, nullOut)
598         fun sendArrNB' (sock, slice: Word8ArraySlice.slice, {don't_route, oob}) =
602             sendNB(sock, v, i, length, don't_route, oob)
604         and sendArrNB (sock, vbuff) = sendArrNB'(sock, vbuff, nullOut)
606         fun sendVecTo' (sock, addr, slice: Word8VectorSlice.slice, {don't_route, oob}) =
610             sendTo(sock, addr, LibrarySupport.w8vectorAsAddress v, i + Word.toInt wordSize, length, don't_route, oob)
612         and sendVecTo (sock, addr, vbuff) = sendVecTo'(sock, addr, vbuff, nullOut)
614         fun sendVecToNB' (sock, addr, slice: Word8VectorSlice.slice, {don't_route, oob}) =
618             sendToNB(sock, addr, LibrarySupport.w8vectorAsAddress v, i + Word.toInt wordSize, length, don't_route, oob)
620         and sendVecToNB (sock, addr, vbuff) = sendVecToNB'(sock, addr, vbuff, nullOut)
622         fun sendArrTo' (sock, addr, slice: Word8ArraySlice.slice, {don't_route, oob}) =
626             sendTo(sock, addr, v, i, length, don't_route, oob)
628         and sendArrTo (sock, addr, vbuff) = sendArrTo'(sock, addr, vbuff, nullOut)
630         fun sendArrToNB' (sock, addr, slice: Word8ArraySlice.slice, {don't_route, oob}) =
634             sendToNB(sock, addr, v, i, length, don't_route, oob)
636         and sendArrToNB (sock, addr, vbuff) = sendArrToNB'(sock, addr, vbuff, nullOut)
638         fun recvArr' (sock, slice: Word8ArraySlice.slice, {peek, oob}) =
642             recv(sock, v, i, length, peek, oob)
644         and recvArr (sock, vbuff) = recvArr'(sock, vbuff, nullIn)
646         fun recvArrNB' (sock, slice: Word8ArraySlice.slice, {peek, oob}) =
650             recvNB(sock, v, i, length, peek, oob)
652         and recvArrNB (sock, vbuff) = recvArrNB'(sock, vbuff, nullIn)
657         fun recvVec' (sock, size, flags) =
660             val recvd = recvArr'(sock, Word8ArraySlice.full arr, flags)
664         and recvVec (sock, size) = recvVec'(sock, size, nullIn)
666         fun recvVecNB' (sock, size, flags) =
670             case recvArrNB'(sock, Word8ArraySlice.full arr, flags) of
674         and recvVecNB (sock, size) = recvVecNB'(sock, size, nullIn)
676         fun recvArrFrom' (sock, slice: Word8ArraySlice.slice, {peek, oob}) =
680             recvFrom(sock, v, i, length, peek, oob)
682         and recvArrFrom (sock, abuff) = recvArrFrom'(sock, abuff, nullIn)
685         fun recvArrFromNB' (sock, slice: Word8ArraySlice.slice, {peek, oob}) =
689             recvFromNB(sock, v, i, length, peek, oob)
691         and recvArrFromNB (sock, abuff) = recvArrFromNB'(sock, abuff, nullIn)
693         fun recvVecFrom' (sock, size, flags) =
697                 recvArrFrom'(sock, Word8ArraySlice.full arr, flags)
701         and recvVecFrom (sock, size) = recvVecFrom'(sock, size, nullIn)
703         fun recvVecFromNB' (sock, size, flags) =
707             case recvArrFromNB'(sock, Word8ArraySlice.full arr, flags) of
712         and recvVecFromNB (sock, size) = recvVecFromNB'(sock, size, nullIn)
724     fun prettySocket _ _ (_: ('a, 'b) Socket.sock) = PolyML.PrettyString "?"