Module papyri_lang::utils::relpath
source · Expand description
This module contains helper functions for dealing with relative paths.
Functions
- Returns a list of paths to all Papyri source files (files with a
.papyri
extension) contained recursively in the given base path. The paths returned are relative to the given base path. - Converts the given path
rel
into a normalised relative path using the givenbase
path. ReturnsNone
if the resulting path would not be a descendant ofbase
.