A root path has the form "/some/.../path"

A relative path has the form "some/.../path"

A name is the name of a file or directory, which cannot contain the character '/'

Debugging mode. Debugging mode is set to false by default.

Constructor for creating a root path, if debug is set to true, mk_root will check that input is well-formed. Raise InvalidRootType otherwise

Constructor for creating a relative path, if debug is set to true, mk_rel will check that input is well-formed. Raise InvalidRelType otherwise

Constructor for creating a name, if debug is set to true, mk_name will check that input is well-formed. Raise InvalidNameType otherwise

Convert a root path to a string

Convert a relative path to a string

Convert a name to a string

split path splits a relative path into a list of names

merge root path produces the path root'/'path

merge root names is the same as merge but a relative path is given as a list of names

unroot "/some/.../path" will return ("/", "some/.../path")

add_file_ext ext path wiil add the file extension ext to the leaf of path, that is path'.'ext

remove_file_ext ext path removes the file extension from the file name

Same as remove_file_ext, but for relative paths

strip_root root path will drop the initial substring root from path, thus inversing merge

get_leaf "/some/.../path/leaf" returns the leaf of a path, that is leaf

Same as get_leaf but for relative paths

drop_leaf "/some/.../path/leaf" will return "/some/.../path"

hidden path will return true if the leaf of path is a hidden file, that is starts with '.'

Pretty print path