Bos_os_path (docs.findlib-49.bos.Bos_os

val uerror : Unix.error -> string

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

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

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

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

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

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

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

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

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

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

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

module Mode : sig ... end

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

val link : 
  ?force:bool ->
  target:Fpath.t ->
  Fpath.t ->
  (unit, [> Rresult.R.msg ]) Rresult.result

val symlink : 
  ?force:bool ->
  target:Fpath.t ->
  Fpath.t ->
  (unit, [> Rresult.R.msg ]) Rresult.result

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

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

val match_segment : 
  bool ->
  env:string Astring.String.Map.t option ->
  (string * string Astring.String.Map.t option) list ->
  string ->
  Bos_pat.lexeme list ->
  ((string * string Astring.String.Map.t option) list, [> Rresult.R.msg ])
    Rresult.result

val match_path : 
  ?dotfiles:bool ->
  env:string Astring.String.Map.t option ->
  Fpath.t ->
  ((string * string Astring.String.Map.t option) list, [> Rresult.R.msg ])
    Rresult.result

val matches : 
  ?dotfiles:bool ->
  Fpath.t ->
  (Fpath.t list, [> Rresult.R.msg ]) Rresult.result

val query : 
  ?dotfiles:bool ->
  ?init:string Astring.String.Map.t ->
  Fpath.t ->
  ((Fpath.t * string Astring.String.Map.t) list, [> Rresult.R.msg ])
    Rresult.result

type 'a res = ('a, Rresult.R.msg) Rresult.result

type traverse = [

| `Any
| `None
| `Sat of Fpath.t -> bool res

]

type elements = [

| `Any
| `Files
| `Dirs
| `Sat of Fpath.t -> bool res

]

type 'a fold_error = Fpath.t -> 'a res -> unit res

val log_fold_error : 
  level:Logs.level ->
  'a ->
  ('b, [< `Msg of string ]) Rresult.result ->
  (unit, 'c) Rresult.result

exception Fold_stop of Rresult.R.msg

val err_fun : 
  ('a -> ('b, 'c) Rresult.result -> (unit, Rresult.R.msg) Rresult.result) ->
  ('a -> ('d, 'c) Rresult.result) ->
  backup_value:'d ->
  'a ->
  'd

val err_predicate_fun : 
  ('a -> ('b, 'c) Rresult.result -> (unit, Rresult.R.msg) Rresult.result) ->
  ('a -> (bool, 'c) Rresult.result) ->
  'a ->
  bool

val do_traverse_fun : 
  ('a -> ('b, 'c) Rresult.result -> (unit, Rresult.R.msg) Rresult.result) ->
  [< `Any | `None | `Sat of 'a -> (bool, 'c) Rresult.result ] ->
  'a ->
  bool

val is_element_fun : 
  (Fpath.t ->
    ('a, [> Rresult.R.msg ] as 'b) Rresult.result ->
    (unit, Rresult.R.msg) Rresult.result) ->
  [< `Any | `Dirs | `Files | `Sat of Fpath.t -> (bool, 'b) Rresult.result ] ->
  Fpath.t ->
  bool

val is_dir_fun : 
  (Fpath.t ->
    ('a, [> Rresult.R.msg ]) Rresult.result ->
    (unit, Rresult.R.msg) Rresult.result) ->
  Fpath.t ->
  bool

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

val fold : 
  ?err:
    (Fpath.t ->
      ('a, Rresult.R.msg) Rresult.result ->
      (unit, Rresult.R.msg) Rresult.result) ->
  ?dotfiles:bool ->
  ?elements:
    [< `Any
    | `Dirs
    | `Files
    | `Sat of Fpath.t -> (bool, Rresult.R.msg) Rresult.result Any ] ->
  ?traverse:
    [< `Any
    | `None
    | `Sat of Fpath.t -> (bool, Rresult.R.msg) Rresult.result Any ] ->
  (Fpath.t -> 'b -> 'b) ->
  'b ->
  Fpath.t list ->
  ('b, [> `Msg of string ]) Rresult.result