Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature BIN_IO_1997 = |
2 | sig | |
3 | structure StreamIO: BIN_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 inputN: instream * int -> vector | |
17 | val lookahead: instream -> elem option | |
18 | val mkInstream: StreamIO.instream -> instream | |
19 | val openIn: string -> instream | |
20 | (* | |
21 | val scanStream: | |
22 | ((Char.char, StreamIO.instream) StringCvt.reader | |
23 | -> ('a, StreamIO.instream) StringCvt.reader) | |
24 | -> instream -> 'a option | |
25 | *) | |
26 | val setInstream: (instream * StreamIO.instream) -> unit | |
27 | (* | |
28 | val getPosIn: instream -> StreamIO.in_pos | |
29 | val setPosIn: (instream * StreamIO.in_pos) -> unit | |
30 | *) | |
31 | ||
32 | type outstream | |
33 | val closeOut: outstream -> unit | |
34 | val flushOut: outstream -> unit | |
35 | val getOutstream: outstream -> StreamIO.outstream | |
36 | val getPosOut: outstream -> StreamIO.out_pos | |
37 | val mkOutstream: StreamIO.outstream -> outstream | |
38 | val openAppend: string -> outstream | |
39 | val openOut: string -> outstream | |
40 | val output1: outstream * elem -> unit | |
41 | val output: outstream * vector -> unit | |
42 | val setOutstream: outstream * StreamIO.outstream -> unit | |
43 | (* | |
44 | val setPosOut: outstream * StreamIO.out_pos -> unit | |
45 | *) | |
46 | end |