MLtonIO - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | MLtonIO |
Home Index

    signature MLTON_IO =
       sig
          type instream
          type outstream

          val inFd: instream -> Posix.IO.file_desc
          val mkstemp: string -> string * outstream
          val mkstemps: {prefix: string, suffix: string} -> string * outstream
          val newIn: Posix.IO.file_desc * string -> instream
          val newOut: Posix.IO.file_desc * string -> outstream
          val outFd: outstream -> Posix.IO.file_desc
          val tempPrefix: string -> string
       end

- `inFd ins`
  returns the file descriptor corresponding to `ins`.

- `mkstemp s`
  like the C `mkstemp` function, generates and open a temporary file with prefix `s`.

- `mkstemps {prefix, suffix}`
  like `mkstemp`, except it has both a prefix and suffix.

- `newIn (fd, name)`
  creates a new instream from file descriptor `fd`, with `name` used in any `Io` exceptions later raised.

- `newOut (fd, name)`
  creates a new outstream from file descriptor `fd`, with `name` used in any `Io` exceptions later raised.

- `outFd out`
  returns the file descriptor corresponding to `out`.

- `tempPrefix s`
  adds a suitable system or user specific prefix (directory) for temp files.

Last edited on 2007-08-23 03:44:14 by MatthewFluet.