Constructs a new path using the given path string.
Constructs a new path using the given path string.
Path construction entails removal of extraneous /
characters, including those at the end of path
so long as path
itself is not equivalent to "/"
.
the path string
a new path with the given path
string
Used in pattern matching to deconstruct a path.
Used in pattern matching to deconstruct a path.
selector value
a Some
containing the parts of path
or None
if path
is null
Constructs and deconstructs Path values.