This module overrides everything in the Sys
module that might block. Functions do
the same thing as their counterparts in Sys
, but instead return deferreds. For a
description of their semantics see the documentation for the Sys
module.
val file_exists : string ‑> [ `Yes | `No | `Unknown ] Import.Deferred.t
val file_exists_exn : string ‑> bool Import.Deferred.t
val when_file_exists : ?poll_delay:Core.Time.Span.t ‑> string ‑> unit Import.Deferred.t
when_file_exists ?poll_delay file
returns a deferred that becomes determined when
file
exists. The default poll delay is 0.5 seconds. It raises an exception if it
can not check whether the file is there, in the same cases file_exists
returns
`Unknown
.
val when_file_changes : ?poll_delay:Core.Time.Span.t ‑> string ‑> Core.Time.t Import.Pipe.Reader.t
when_file_changes file
polls file
using stat
and writes file
's mtime to the
pipe every time it changes. The first time in the pipe will be file
's current
mtime. To stop polling, close the pipe.
val is_directory : ?follow_symlinks:bool ‑> string ‑> [ `Yes | `No | `Unknown ] Import.Deferred.t
val is_directory_exn : ?follow_symlinks:bool ‑> string ‑> bool Import.Deferred.t
val is_file : ?follow_symlinks:bool ‑> string ‑> [ `Yes | `No | `Unknown ] Import.Deferred.t
val is_file_exn : ?follow_symlinks:bool ‑> string ‑> bool Import.Deferred.t
val remove : string ‑> unit Import.Deferred.t
val rename : string ‑> string ‑> unit Import.Deferred.t
val command : string ‑> int Import.Deferred.t
val command_exn : string ‑> unit Import.Deferred.t
val chdir : string ‑> unit Import.Deferred.t
val getcwd : unit ‑> string Import.Deferred.t
val readdir : string ‑> string array Import.Deferred.t
val ls_dir : string ‑> string list Import.Deferred.t
val home_directory : unit ‑> string Import.Deferred.t
val interactive : bool Core.ref