Google

Structure BasicIO


Identifier index Structure index

(* BasicIO -- non-standard input-output; use BinIO and TextIO instead *)

type instream
type outstream

val std_in        : instream;
val open_in       : string -> instream;
val open_in_bin   : string -> instream;
val input         : instream * int -> string;
val inputc        : instream -> int -> string;
val lookahead     : instream -> string;
val close_in      : instream -> unit;
val end_of_stream : instream -> bool;

val std_out       : outstream;
val std_err       : outstream;
val open_out      : string -> outstream;
val open_out_bin  : string -> outstream;
val output        : outstream * string -> unit;
val outputc       : outstream -> string -> unit;
val close_out     : outstream -> unit;
val flush_out     : outstream -> unit;
val input_line    : instream -> string;
val can_input     : instream * int -> bool;
val open_append   : string -> outstream;

val exit          : int -> 'a
val print         : string -> unit


Identifier index Structure index