alice
library
manual.
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
Imported implicitly.
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
Like the Standard ML Basis' IMPERATIVE_IO signature and ImperativeIO functor.