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 /cml/trunk/src/Sockets/cml-socket-sig.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2229 - (download) (annotate)
Fri Dec 8 04:30:18 2006 UTC (12 years, 3 months ago) by blume
File size: 1380 byte(s)
added SOCKET fix so that CML compiles again
(* 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 SYNCHRONOUS_SOCKET		(* don't drag in non-blocking ops *)

    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 * 'a 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 * 'a 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