Module Gen.IO

module IO: sig .. end

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