alice
library
manual.

Home
Tour
Language
Library
Tools
Site Map

The IMPERATIVE_IO signature

^________ Synopsis ^{____________________________________________________}

    signature IMPERATIVE_IO
    functor ImperativeIO (structure StreamIO : STREAM_IO
                          structure Vector :   MONO_VECTOR
			                       where type vector = StreamIO.vector
                                                 and type elem   = StreamIO.elem) :
            IMPERATIVE_IO where StreamIO = StreamIO
  

The Standard ML Basis' IMPERATIVE_IO signature and ImperativeIO functor.

See also: PRIM_IO, STREAM_IO, MONO_VECTOR, BinIO, TextIO

^________ Import ^{______________________________________________________}

Imported implicitly.

^________ Interface ^{___________________________________________________}

    signature IMPERATIVE_IO =
    sig
	structure StreamIO : STREAM_IO

	type vector = StreamIO.vector
	type elem   = StreamIO.elem
	type instream
	type outstream

	val input :        instream -> vector
	val input1 :       instream -> elem option
	val inputN :       instream * int -> vector
	val inputAll :     instream -> vector
	val canInput :     instream * int -> int option
	val lookahead :    instream -> elem option
	val closeIn :      instream -> unit
	val endOfStream :  instream -> bool
	val mkInstream :   StreamIO.instream -> instream
	val getInstream :  instream -> StreamIO.instream
	val setInstream :  instream * StreamIO.instream -> unit

	val output :       outstream * vector -> unit
	val output1 :      outstream * elem -> unit
	val flushOut :     outstream -> unit
	val closeOut :     outstream -> unit
	val mkOutstream :  StreamIO.outstream -> outstream
	val getOutstream : outstream -> StreamIO.outstream
	val setOutstream : outstream * StreamIO.outstream -> unit
	val getPosOut :    outstream -> StreamIO.out_pos
	val setPosOut :    outstream * StreamIO.out_pos -> unit
    end
  

^________ Description ^{_________________________________________________}

Like the Standard ML Basis' IMPERATIVE_IO signature and ImperativeIO functor.