API for accessing hierarchical file systems. Clients use
[[Path]]s to obtain [[Resource]]s representing files or
directories.
`Path` contains many useful operations for manipulating
paths:
value path = parsePath("/Users/Trompon/Documents");
value child = path.childPath("hello.txt");
value sibling = child.siblingPath("goodbye.txt");
value parent = path.parent;
The attribute [[resource|Path.resource]] of `Path` is used
to obtain a `Resource`. It is usually necessary to ...
Version0.3.2compared with
Version Details
| 0.3.1 | 0.3.2 | |
|---|---|---|
| Release date | Feb 13, 2021 | Feb 13, 2021 |
| Licenses | None | None |
| Vulnerabilities | None | None |
No dependency changes compared to the selected version.