18 |
*) |
*) |
19 |
|
|
20 |
val from_string : string -> string -> unit |
val from_string : string -> string -> unit |
21 |
(*d [input_file filename str] creates a file named [filename] whose content is |
(*d [input_file filename str] creates a file named [filename] whose content is |
22 |
[str]. *) |
[str]. *) |
23 |
|
|
24 |
val to_string : string -> string |
val to_string : string -> string |
25 |
(*d [to_string filename] returns in a string the content of |
(*d [to_string filename] returns in a string the content of |
26 |
the file [filename]. *) |
the file [filename]. *) |
27 |
|
|
28 |
|
val to_string_alt : string -> Buffer.t |
29 |
|
(*d [to_string_alt filename] returns in a string the content of |
30 |
|
the file using alternative method [filename]. *) |
31 |
|
|
32 |
val iter : (string -> unit) -> string -> unit |
val iter : (string -> unit) -> string -> unit |
33 |
(*d [iter f filename] read [filename] line by line, applying [f] to each |
(*d [iter f filename] read [filename] line by line, applying [f] to each |
34 |
one. *) |
one. *) |
35 |
|
|
36 |
val to_value : string -> 'a |
val to_value : string -> 'a |
37 |
(*d [to_value filename] read a value from [filename] using [input_value] *) |
(*d [to_value filename] read a value from [filename] using [input_value] *) |
38 |
|
|
39 |
val from_value : string -> 'a -> unit |
val from_value : string -> 'a -> unit |
40 |
(*d [to_value filename v] write a value [v] to [filename] using |
(*d [to_value filename v] write a value [v] to [filename] using |
41 |
[output_value] *) |
[output_value] *) |