Module Gen.IO
val with_in : ?mode:int -> ?flags:Stdlib.open_flag list -> string -> (char t -> 'a) -> 'a
with_in filename f
opensfilename
and callsf g
, whereg
is a generator of characters from the file. The generator is only valid within the scope in whichf
is called.
val with_lines : ?mode:int -> ?flags:Stdlib.open_flag list -> string -> (string t -> 'a) -> 'a
with_lines filename f
opens filefilename
and callsf g
, whereg
is a generator that iterates on the lines from the file. Do not use the generator outside of the scope off
- since
- 0.4
val write_str : ?mode:int -> ?flags:Stdlib.open_flag list -> ?sep:string -> string -> string t -> unit
write_to filename g
writes all strings fromg
into the given file. It takes care of opening and closing the file. Does not addsep
after the last string.- parameter mode
default
0o644
- parameter flags
used by
open_out_gen
. Default:[Open_creat;Open_wronly]
.
- parameter sep
separator between each string (e.g. newline)
val write : ?mode:int -> ?flags:Stdlib.open_flag list -> string -> char t -> unit
Same as
write_str
but with individual characters
val write_lines : ?mode:int -> ?flags:Stdlib.open_flag list -> string -> string t -> unit
write_lines file g
is similar towrite_str file g ~sep:"\n"
but also adds'\n'
at the end of the file- since
- 0.4