Add unique ids to each Hack build, and handle sigint
[hiphop-php.git] / hphp / hack / src / utils / path.mli
blobf59d120a4afc5f2697dbc88926b11ce04c0ac581
1 (**
2 * Copyright (c) 2014, Facebook, Inc.
3 * All rights reserved.
5 * This source code is licensed under the BSD-style license found in the
6 * LICENSE file in the "hack" directory of this source tree. An additional grant
7 * of patent rights can be found in the PATENTS file in the same directory.
9 *)
12 type t = private string
14 val dummy_path: t
15 val null_path: t
16 val temp_dir_name: t
17 val expanduser: string -> t
18 val make: string -> t
19 val to_string: t -> string
20 val file_exists: t -> bool
21 val is_directory: t -> bool
22 val compare: t -> t -> int
23 val concat: t -> string -> t
24 val chdir: t -> unit
25 val dirname: t -> t
26 val getcwd: unit -> t
27 val output: out_channel -> t -> unit
28 val remove: t -> unit
29 val parent: t -> t
30 val executable_name: t
31 val cat: t -> string
33 val slash_escaped_string_of_path: t -> string
34 val path_of_slash_escaped_string: string -> t