Bos_os_file (docs.findlib-1.bos.Bos_os

val err_empty_buf : string

val err_invalid_input : string

val err_invalid_output : string

val uerror : Unix.error -> string

val null : Fpath.t

val dash : Fpath.t

val is_dash : Fpath.t -> bool

val exists : Fpath.t -> (bool, [> Rresult.R.msg ]) Rresult.result

val must_exist : Fpath.t -> (Fpath.t, [> Rresult.R.msg ]) Rresult.result

val delete : 
  ?must_exist:bool ->
  Fpath.t ->
  (unit, [> Rresult.R.msg ]) Rresult.result

val truncate : Fpath.t -> int -> (unit, [> Rresult.R.msg ]) Rresult.result

val _is_executable : string -> bool

val is_executable : Fpath.t -> bool

val io_buffer_size : int

val bytes_buf : bytes option -> bytes

type input = unit -> (Bytes.t * int * int) option

val with_input : 
  ?bytes:bytes ->
  Fpath.t ->
  ((unit -> (bytes * int * int) option) -> 'a -> 'b) ->
  'a ->
  ('b, [> Rresult.R.msg ]) Rresult.result

val with_ic : 
  Fpath.t ->
  (in_channel -> 'a -> 'b) ->
  'a ->
  ('b, [> Rresult.R.msg ]) Rresult.result

val read : Fpath.t -> (string, [> Rresult.R.msg ]) Rresult.result

val fold_lines : 
  ('a -> string -> 'a) ->
  'a ->
  Fpath.t ->
  ('a, [> Rresult.R.msg ]) Rresult.result

val read_lines : Fpath.t -> (string list, [> Rresult.R.msg ]) Rresult.result

type tmp_name_pat = (string -> string, Format.formatter, unit, string) format4

val unlink_tmp : Fpath.t -> unit

val tmps : Fpath.set ref

val tmps_add : Fpath.path -> unit

val tmps_rem : Fpath.path -> unit

val unlink_tmps : unit -> unit

val create_tmp_path : 
  Unix.file_perm ->
  Fpath.t ->
  (string -> string, Format.formatter, unit, string) format4 ->
  (Fpath.t * Unix.file_descr, [> Rresult.R.msg ]) Rresult.result

val default_tmp_mode : int

val tmp : 
  ?mode:Unix.file_perm ->
  ?dir:Fpath.t ->
  (string -> string, Format.formatter, unit, string) format4 ->
  (Fpath.path, [> Rresult.R.msg ]) Rresult.result

val with_tmp_oc : 
  ?mode:Unix.file_perm ->
  ?dir:Fpath.t ->
  (string -> string, Format.formatter, unit, string) format4 ->
  (Fpath.path -> out_channel -> 'a -> 'b) ->
  'a ->
  ('b, [> Rresult.R.msg ]) Rresult.result

val with_tmp_output : 
  ?mode:Unix.file_perm ->
  ?dir:Fpath.t ->
  (string -> string, Format.formatter, unit, string) format4 ->
  (Fpath.path -> ((bytes * int * int) option -> unit) -> 'a -> 'b) ->
  'a ->
  ('b, [> Rresult.R.msg ]) Rresult.result

type output = (Bytes.t * int * int) option -> unit

val default_mode : int

val rename : Fpath.t -> Fpath.t -> (unit, [> Rresult.R.msg ]) Rresult.result

val stdout_with_output : 
  (((bytes * int * int) option -> unit) -> 'a -> 'b) ->
  'a ->
  ('b, [> Rresult.R.msg ]) Rresult.result

val with_output : 
  ?mode:Unix.file_perm ->
  Fpath.t ->
  (((bytes * int * int) option -> unit) -> 'a -> ('b, 'c) Rresult.result) ->
  'a ->
  (('b, 'c) Rresult.result, [> Rresult.R.msg ]) Rresult.result

val with_oc : 
  ?mode:Unix.file_perm ->
  Fpath.t ->
  (out_channel -> 'a -> ('b, 'c) Rresult.result) ->
  'a ->
  (('b, 'c) Rresult.result, [> Rresult.R.msg ]) Rresult.result

val write : 
  ?mode:Unix.file_perm ->
  Fpath.t ->
  string ->
  (unit, [> Rresult.R.msg ]) Rresult.result

val writef : 
  ?mode:Unix.file_perm ->
  Fpath.t ->
  ('a, Format.formatter, unit, (unit, [> Rresult.R.msg ]) Rresult.result)
    format4 ->
  'a

val write_lines : 
  ?mode:Unix.file_perm ->
  Fpath.t ->
  string list ->
  (unit, [> Rresult.R.msg ]) Rresult.result