basis-library/libs/basis-1997/io/text-io.sig

   1 signature TEXT_IO_1997 =
   2    sig
   3       structure StreamIO: TEXT_STREAM_IO_1997
   4
   5       type vector = StreamIO.vector
   6       type elem = StreamIO.elem
   7       type instream
   8
   9       val canInput: instream * int -> int option
  10       val closeIn: instream -> unit
  11       val endOfStream: instream -> bool
  12       val getInstream: instream -> StreamIO.instream
  13       val input1: instream -> elem option
  14       val input: instream -> vector
  15       val inputAll: instream -> vector
  16       val inputLine: instream -> string
  17       val inputN: instream * int -> vector
  18       val lookahead: instream -> elem option
  19       val mkInstream: StreamIO.instream -> instream
  20       val openIn: string -> instream
  21       val print: string -> unit
  22       val scanStream:
  23          ((Char.char, StreamIO.instream) StringCvt.reader
  24           -> ('a, StreamIO.instream) StringCvt.reader)
  25          -> instream -> 'a option
  26       val setInstream: (instream * StreamIO.instream) -> unit
  27       val stdIn: instream
  28 (*
  29       val openString: string -> instream
  30       val getPosIn: instream -> StreamIO.in_pos
  31       val setPosIn: (instream * StreamIO.in_pos) -> unit
  32 *)
  33
  34       type outstream
  35       val closeOut: outstream -> unit
  36       val flushOut: outstream -> unit
  37       val getOutstream: outstream -> StreamIO.outstream
  38       val getPosOut: outstream -> StreamIO.out_pos
  39       val mkOutstream: StreamIO.outstream -> outstream
  40       val openAppend: string -> outstream
  41       val openOut: string -> outstream
  42       val output1: outstream * elem -> unit
  43       val output: outstream * vector -> unit
  44       val outputSubstr: outstream * substring -> unit
  45       val setOutstream: outstream * StreamIO.outstream -> unit
  46       val stdErr: outstream
  47       val stdOut: outstream
  48 (*
  49       val setPosOut: outstream * StreamIO.out_pos -> unit
  50 *)
  51    end