Module Gen.IO

module IO: sig .. end

val with_in : ?mode:int ->
       ?flags:Stdlib.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:Stdlib.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:Stdlib.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:Stdlib.open_flag list -> string -> char Gen.t -> unit

Same as Gen.IO.write_str but with individual characters

val write_lines : ?mode:int -> ?flags:Stdlib.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