Overview  Index  Help 
Standard ML Basis Library

UnixSock


structure UnixSock : UNIX_SOCK =
struct
  structure SOCK = Socket.SOCK
  structure Strm =
  struct
    val socket : unit -> 'a stream_sock
    val socket'
    val socketPair : unit -> 'a stream_sock * 'a stream_sock
    val socketPair'
  end
  structure DGrm =
  struct
    val socket : unit -> dgram_sock
    val socket'
    val socketPair : unit -> dgram_sock * dgram_sock
    val socketPair'
  end
  type 'a sock = (unix, 'a) Socket.sock
  type 'a stream_sock = 'a Socket.stream sock
  type dgram_sock = Socket.dgram sock
  type sock_addr = unix Socket.sock_addr
  datatype unix = UNIX
  val sockFn
  val unixAF : Socket.AF.addr_family
  val toAddr : string -> sock_addr
  val fromAddr : sock_addr -> string
end

 
Type detail

sock

type 'a sock = (unix, 'a) Socket.sock


stream_sock

type 'a stream_sock = 'a Socket.stream sock


dgram_sock

type dgram_sock = Socket.dgram sock


sock_addr

type sock_addr = unix Socket.sock_addr

 
Datatype detail

unix

datatype unix = UNIX

 
DataConstructor detail

UNIX

constructor UNIX : unix

 
Value detail

sockFn

val sockFn


unixAF

val unixAF : Socket.AF.addr_family


toAddr

val toAddr : string -> sock_addr


fromAddr

val fromAddr : sock_addr -> string

 


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).