Module Filename_baseSource

include Ppx_compare_lib.Comparable.S with type t := t
include Ppx_hash_lib.Hashable.S with type t := t
Sourceval hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
include Sexplib0.Sexpable.S with type t := t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval t_sexp_grammar : t Sexplib0.Sexp_grammar.t
include Base.Comparable.S with type t := t with type comparator_witness = Base.String.comparator_witness
include Base.Comparisons.S with type t := t
include Base.Comparisons.Infix with type t := t
Sourceval (>=) : t -> t -> bool
Sourceval (<=) : t -> t -> bool
Sourceval (=) : t -> t -> bool
Sourceval (>) : t -> t -> bool
Sourceval (<) : t -> t -> bool
Sourceval (<>) : t -> t -> bool
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> int

compare t1 t2 returns 0 if t1 is equal to t2, a negative integer if t1 is less than t2, and a positive integer if t1 is greater than t2.

Sourceval min : t -> t -> t
Sourceval max : t -> t -> t
Sourceval ascending : t -> t -> int

ascending is identical to compare. descending x y = ascending y x. These are intended to be mnemonic when used like List.sort ~compare:ascending and List.sort ~cmp:descending, since they cause the list to be sorted in ascending or descending order, respectively.

Sourceval descending : t -> t -> int
Sourceval between : t -> low:t -> high:t -> bool

between t ~low ~high means low <= t <= high

Sourceval clamp_exn : t -> min:t -> max:t -> t

clamp_exn t ~min ~max returns t', the closest value to t such that between t' ~low:min ~high:max is true.

Raises if not (min <= max).

Sourceval clamp : t -> min:t -> max:t -> t Base.Or_error.t

The path of the root.

Pathname resolution

Sourceval is_posix_pathname_component : Base.string -> Base.bool

is_posix_pathname_component f

  • returns

    true if f is a valid path component on a POSIX compliant OS

Note that this checks a path component, and not a full path.

http://www.opengroup.org/onlinepubs/000095399/basedefs/xbd_chap03.html#tag_03_169

Sourceval temp_dir_name : Base.string

The name of the temporary directory:

Under Unix, the value of the TMPDIR environment variable, or "/tmp" if the variable is not set.

Under Windows, the value of the TEMP environment variable, or "." if the variable is not set.

Sourceval current_dir_name : Base.string

The conventional name for the current directory (e.g. . in Unix).

Sourceval parent_dir_name : Base.string

The conventional name for the parent of the current directory (e.g. .. in Unix).

Sourceval dir_sep : Base.string

The directory separator (e.g. / in Unix).

concat p1 p2 returns a path equivalent to p1 ^ "/" ^ p2. In the resulting path p1 (resp. p2) has all its trailing (resp. leading) "." and "/" removed. eg: concat "a/." ".//b" => "a/b" concat "." "b" => "./b" concat "a" "." => "a/." concat "a" "/b" => "a/b"

  • throws

    Failure if p1 is empty.

Sourceval is_relative : Base.string -> Base.bool

Return true if the file name is relative to the current directory, false if it is absolute (i.e. in Unix, starts with /).

Sourceval is_absolute : Base.string -> Base.bool
Sourceval is_implicit : Base.string -> Base.bool

Return true if the file name is relative and does not start with an explicit reference to the current directory (./ or ../ in Unix), false if it starts with an explicit reference to the root directory or the current directory.

Sourceval check_suffix : Base.string -> Base.string -> Base.bool

check_suffix name suff returns true if the filename name ends with the suffix suff.

Sourceval chop_suffix : Base.string -> Base.string -> Base.string

chop_suffix name suff removes the suffix suff from the filename name. The behavior is undefined if name does not end with the suffix suff. chop_suffix_opt is thus recommended instead.

Sourceval chop_suffix_opt : suffix:Base.string -> Base.string -> Base.string Base.option

chop_suffix_opt ~suffix filename removes the suffix from the filename if possible, or returns None if the filename does not end with the suffix.

Sourceval chop_extension : Base.string -> Base.string

Return the given file name without its extension. The extension is the shortest suffix starting with a period and not including a directory separator, .xyz for instance.

Raise Invalid_argument if the given name does not contain an extension.

split_extension fn return the portion of the filename before the extension and the (optional) extension. Example: split_extension "/foo/my_file" = ("/foo/my_file", None) split_extension "/foo/my_file.txt" = ("/foo/my_file", Some "txt") split_extension "/home/c.falls/my_file" = ("/home/c.falls/my_file", None)

Sourceval basename : Base.string -> Base.string

Respects the posix semantic.

Split a file name into directory name / base file name. concat (dirname name) (basename name) returns a file name which is equivalent to name. Moreover, after setting the current directory to dirname name (with Sys.chdir), references to basename name (which is a relative file name) designate the same file as name before the call to Sys.chdir.

The result is not specified if the argument is not a valid file name (for example, under Unix if there is a NUL character in the string).

Sourceval to_absolute_exn : Base.string -> relative_to:Base.string -> Base.string

Returns the absolute path by prepending relative_to if the path is not already absolute.

Using the result of Core_unix.getcwd as relative_to is often a reasonable choice.

Note that to_absolute_exn may return a non-canonical path (e.g. /foo/bar/../baz).

Raises if relative_to is a relative path.

Sourceval of_absolute_exn : Base.string -> relative_to:Base.string -> Base.string

Converts an absolute path to a relative one.

Raises if either argument is a relative path.

split filename returns (dirname filename, basename filename)

parts filename returns a list of path components in order. For instance: /tmp/foo/bar/baz -> "/"; "tmp"; "foo"; "bar"; "baz". The first component is always either "." for relative paths or "/" for absolute ones.

of_parts parts joins a list of path components into a path. It does roughly the opposite of parts, but they fail to be precisely mutually inverse because of ambiguities like multiple consecutive slashes and . components.

Raises an error if given an empty list.

Return a quoted version of a file name, suitable for use as one argument in a command line, escaping all meta-characters. Warning: under Windows, the output is only suitable for use with programs that follow the standard Windows quoting conventions.

See Sys.quote for an alternative implementation that is more human readable but less portable.

Sourceval arg_type : [ `Use_Filename_unix ]
  • deprecated [since 2021-04] Use [Filename_unix]
Sourceval create_arg_type : [ `Use_Filename_unix ]
  • deprecated [since 2021-04] Use [Filename_unix]
Sourceval open_temp_file : [ `Use_Filename_unix ]
  • deprecated [since 2021-04] Use [Filename_unix]
Sourceval open_temp_file_fd : [ `Use_Filename_unix ]
  • deprecated [since 2021-04] Use [Filename_unix]
Sourceval realpath : [ `Use_Filename_unix ]
  • deprecated [since 2021-04] Use [Filename_unix]
Sourceval temp_dir : [ `Use_Filename_unix ]
  • deprecated [since 2021-04] Use [Filename_unix]
Sourceval temp_file : [ `Use_Filename_unix ]
  • deprecated [since 2021-04] Use [Filename_unix]