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 given base path. Returns None if the resulting path would not be a descendant of base.