package pvem_lwt_unix

  1. Overview
  2. Docs
val sleep : float -> (unit, [> `System of [> `Sleep of float ] * [> `Exn of exn ] ]) Deferred_result.t
module Shell : sig ... end
val with_timeout : float -> f: (unit -> ('a, [> `System of [> `With_timeout of float ] * [> `Exn of exn ] | `Timeout of float ] as 'b) Deferred_result.t) -> ('a, 'b) Deferred_result.t
val make_new_directory : ?perm:int -> string -> (unit, [> `System of [> `Make_directory of string ] * [> `Already_exists | `Exn of exn | `Wrong_access_rights of int ] ]) Deferred_result.t
val ensure_directory_path : ?perm:int -> string -> (unit, [> `System of [> `Make_directory of string ] * [> `Exn of exn | `Wrong_access_rights of int ] ]) Deferred_result.t
type file_info = [
  1. | `Absent
  2. | `Block_device
  3. | `Character_device
  4. | `Directory
  5. | `Fifo
  6. | `Regular_file of int
  7. | `Socket
]
val file_info_to_string : file_info -> string
val file_info : ?follow_symlink:bool -> string -> (file_info, [> `System of [> `File_info of string ] * [> `Exn of exn ] ]) Deferred_result.t
val list_directory : string -> [ `Stream of unit -> (string option, [> `System of [> `List_directory of string ] * [> `Exn of exn ] ]) Deferred_result.t ]
val remove : string -> (unit, [> `System of [> `File_info of string | `List_directory of string | `Remove of string ] * [> `Exn of exn ] ]) Deferred_result.t
type file_destination = [
  1. | `Into of string
  2. | `Onto of string
]
val copy : ?ignore_strange:bool -> ?symlinks:[ `Fail | `Follow | `Redo ] -> ?buffer_size:int -> ?if_exists:[ `Fail | `Overwrite | `Update ] -> src:string -> file_destination -> (unit, [> `System of [> `Copy of string | `File_info of string | `List_directory of string | `Make_directory of string | `Make_symlink of string * string | `Remove of string ] * [> `Already_exists | `Exn of exn | `File_exists of string | `File_not_found of string | `IO of [> `File_exists of string | `Wrong_path of string ] | `Not_a_directory of string | `Wrong_access_rights of int | `Wrong_file_kind of string * [> `Block_device | `Character_device | `Fifo | `Socket | `Symlink of string ] | `Wrong_path of string ] ]) Deferred_result.t
val move_in_same_device : ?if_exists:[ `Fail | `Overwrite | `Update ] -> src:string -> file_destination -> ([ `Moved | `Must_copy ], [> `System of [> `File_info of string | `Move of string ] * [> `Exn of exn | `File_exists of string ] ]) Deferred_result.t
val move : ?ignore_strange:bool -> ?symlinks:[ `Fail | `Follow | `Redo ] -> ?buffer_size:int -> ?if_exists:[ `Fail | `Overwrite | `Update ] -> src:string -> file_destination -> (unit, [> `System of [> `Copy of string | `File_info of string | `List_directory of string | `Make_directory of string | `Make_symlink of string * string | `Move of string | `Remove of string ] * [> `Already_exists | `Exn of exn | `File_exists of string | `File_not_found of string | `IO of [> `File_exists of string | `Wrong_path of string ] | `Not_a_directory of string | `Wrong_access_rights of int | `Wrong_file_kind of string * [> `Block_device | `Character_device | `Fifo | `Socket | `Symlink of string ] | `Wrong_path of string ] ]) Deferred_result.t
type file_tree = [
  1. | `Leaf of string * file_info
  2. | `Node of string * file_tree list
]
val file_tree : ?follow_symlinks:bool -> string -> (file_tree, [> `System of [> `File_info of string | `File_tree of string | `List_directory of string ] * [> `Exn of exn | `File_not_found of string ] ]) Deferred_result.t
val error_to_string : [< `Shell of string * [< `Exited of int | `Exn of exn | `Signaled of int | `Stopped of int ] | `System of [< `Copy of string | `File_info of string | `File_tree of string | `List_directory of string | `Make_directory of string | `Make_symlink of string * string | `Move of string | `Remove of string ] * [< `Already_exists | `Exn of exn | `File_exists of string | `File_not_found of string | `IO of [< `Exn of exn | `File_exists of string | `Read_file_exn of string * exn | `Write_file_exn of string * exn | `Wrong_path of string ] | `Not_a_directory of string | `Wrong_access_rights of int | `Wrong_file_kind of string * file_info | `Wrong_path of string ] ] -> string