signature MLTON_SOCKET =
   sig
      structure Address:
         sig
            type t = word
         end
      structure Ctl:
         sig
            val getERROR: ('a, 'b) Socket.sock -> (string * int option) option
         end
      structure Host:
         sig
            type t = {name: string}

            val getByAddress: Address.t -> t option
            val getByName: string -> t option
         end
      structure Port:
         sig
            type t = int
         end

      type t

      val accept: t -> Address.t * Port.t * TextIO.instream * TextIO.outstream
      val connect: string * Port.t -> TextIO.instream * TextIO.outstream
      val fdToSock: Posix.FileSys.file_desc -> ('a, 'b) Socket.sock
      val listen: unit -> Port.t * t
      val listenAt: Port.t -> t
      val shutdownRead: TextIO.instream -> unit
      val shutdownWrite: TextIO.outstream -> unit
   end

This module contains a bare minimum of functionality to do TCP/IP programming. This module is implemented on top of the Socket module of the Standard Basis Library. We encourage you to use the standard Socket module, since we may eliminate MLton.Socket some day.

• type Address.t

the type of IP addresses.

• Ctl.getERROR s

like the Basis Library's Socket.Ctl.getERROR, except that it returns more information. NONE means that there was no error, and SOME means that there was an error, and provides the error message and error code, if any.

• Host.getByAddress a

looks up the hostname (using gethostbyaddr) corresponding to a.

• Host.getByName s

looks up the hostname (using gethostbyname) corresponding to s.

• type Port.t

the type of TCP ports.

• type t

the type of sockets.

• accept s

accepts a connection on socket s and return the address and port of the connecting socket, as well as streams corresponding to the connection.

• connect (h, p)

connects to host h on port p, returning the streams corresponding to the connection.

• fdToSock fd

coerces a file descriptor to a socket.

• listen ()

listens to a port chosen by the system. Returns the port and the socket.

• listenAt p

listens to port p. Returns the socket.

• shutdownRead ins

causes the read part of the socket associated with ins to be shutdown.

• shutdownWrite out

causes the write part of the socket associated with out to be shutdown.