Module Jenga_lib.Path.Abs

type t

Type for absolute paths.

include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
val hash_fold_t : Base.Hash.state ‑> t ‑> Base.Hash.state
val hash : t ‑> Base.Hash.hash_value
val compare : t ‑> t ‑> int
val bin_read_t : t Bin_prot.Read.reader
val __bin_read_t__ : (int ‑> t) Bin_prot.Read.reader
val bin_reader_t : t Bin_prot.Type_class.reader
val bin_size_t : t Bin_prot.Size.sizer
val bin_write_t : t Bin_prot.Write.writer
val bin_writer_t : t Bin_prot.Type_class.writer
val bin_shape_t : Bin_prot.Shape.t
val unix_root : t
val create : string ‑> t
val to_string : t ‑> string

Always has leading /.

val relative : dir:t ‑> string ‑> t

append '/'-separated parts to the path. suppresses the '.' and empty parts and reduces the ".."s

val basename : t ‑> string
val dirname : t ‑> t
val split : t ‑> t * string
val reach_from : dir:t ‑> t ‑> string

reach_from ~dir t = x means relative ~dir x = t

val is_descendant : dir:t ‑> t ‑> bool

is_descendant ~dir t means parts dir is a prefix of parts t. A path is considered a descendant of itself.