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 651 - (download) (annotate)
Thu Jun 1 18:34:03 2000 UTC (20 years, 2 months ago) by monnier
File size: 1368 byte(s)
bring revisions from the vendor branch to the trunk
(* 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 * Word8Array.array buf) -> int CML.event
    val recvVecEvt' :
	  (('a, active stream) sock * int * in_flags)
	    -> Word8Vector.vector CML.event
    val recvArrEvt' :
	  (('a, active stream) sock * Word8Array.array buf * in_flags)
	    -> int CML.event
    val recvVecFromEvt :
	  (('a, dgram) sock * int)
	    -> (Word8Vector.vector * 'b sock_addr) CML.event
    val recvArrFromEvt :
	  (('a, dgram) sock * {buf : Word8Array.array, i : int})
	    -> (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 * {buf : Word8Array.array, i : int} * in_flags)
	    -> (int * 'a sock_addr) CML.event

  end

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