package omod

  1. Overview
  2. Docs

Module Private.File

File IO.

val cut_ext : fpath -> string * string

cut_ext f is (fst, snd) the pair that results from cutting the basename of f at the rightmost '.' (not included in the result) before the first Filename.dir_sep. If there is no such character, fst is f and snd is "".

val catch_sys_error : (unit -> ('a, string) result) -> ('a, string) result

catch_sys_error f invokes f () and catches any Sys_error that may be raised and returns its message e as Error e.

val with_open_in : string -> (in_channel -> 'a) -> ('a, string) result

with_open_in file f open a channel on file and gives it to f. Ensures the channel is closed when the function returns and reports any Sys_error or End_of_file as an Error.

val with_open_out : string -> (out_channel -> 'a) -> ('a, string) result

with_open_out file f open a channel on file and gives it to f. Ensures the channel is closed when the function returns and reports any Sys_error or End_of_file as an Error.

val to_string : fpath -> (string, string) result

to_string file reads file file to a string.

val of_string : fpath -> string -> (unit, string) result

of_string file s writes file file with s.

val exists : fpath -> (bool, string) result

exists file is true iff file exists and is not a directory.

val delete : fpath -> (bool, string) result

delete file deletes file file. The boolean indicates whether the file actually existed.