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

SCM Repository

[smlnj] View of /sml/trunk/src/cml/src/Sockets/cml-socket-sig.sml
ViewVC logotype

View of /sml/trunk/src/cml/src/Sockets/cml-socket-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1381 - (download) (annotate)
Wed Sep 17 21:28:41 2003 UTC (15 years, 11 months ago) by mblume
File size: 1330 byte(s)
various Basis-related changes (see HISTORY)
(* cml-socket-sig.sml
 *
 * COPYRIGHT (c) 1996 AT&T Research.
 *
 * This signature extends the SML Basis SOCKET signature with event
 * constructors for the input operations and accept.
 *)

signature CML_SOCKET =
  sig
    type 'a event = 'a CML.event

    include SOCKET

    val connectEvt : (('a, 'b) sock * 'a sock_addr) -> unit event

    val acceptEvt :
	  ('a, passive stream) sock
	    -> (('a, active stream) sock * 'a sock_addr) event

  (* Sock input event constructors *)
    val recvVecEvt :
	  ('a, active stream) sock * int -> Word8Vector.vector CML.event
    val recvArrEvt :
	  ('a, active stream) sock * Word8ArraySlice.slice -> int CML.event
    val recvVecEvt' :
	  ('a, active stream) sock * int * in_flags
	    -> Word8Vector.vector CML.event
    val recvArrEvt' :
	  ('a, active stream) sock * Word8ArraySlice.slice * in_flags
	    -> int CML.event
    val recvVecFromEvt :
	  ('a, dgram) sock * int
	    -> (Word8Vector.vector * 'b sock_addr) CML.event
    val recvArrFromEvt :
	  ('a, dgram) sock * Word8ArraySlice.slice
	    -> (int * 'a sock_addr) CML.event
    val recvVecFromEvt' :
	  ('a, dgram) sock * int * in_flags
	    -> (Word8Vector.vector * 'b sock_addr) CML.event
    val recvArrFromEvt' :
	  ('a, dgram) sock * Word8ArraySlice.slice * in_flags
	    -> (int * 'a sock_addr) CML.event

  end

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