Module B00_lines

Parse text lines.

And do it regardless of the platform line ending convention.

Lines

A line is ends either with "\n" or with "\r\n".

val of_string : string -> string list

of_string s are s's lines, including empty ones. In particular, this is [""] on the empty string.

val fold : ?file:B00_std.Fpath.t -> string -> (int -> string -> 'a -> 'a) -> 'a -> ('a, string) result

fold ~file data f acc folds f with acc over the lines of data assuming it came from file. f is given the one-based line number, the line and the accumulator, it may use err to error which turns it in an Error _ for file via err_file.

If data is "" this returns acc.

Parse errors

val err : int -> ('a, Format.formatter, unit, 'b) format4 -> 'a

err n fmt formats an error message for line n as "%d:" ^^ fmt and raises Failure with no trace.

val err_file : ?file:B00_std.Fpath.t -> string -> ('a, string) result

err_file ~file e is the error message e for file file formatted as "%a:%s" Fpath.pp_unquoted f s