# idris2-filepath

**Repository Path**: a-alpha/idris2-filepath

## Basic Information

- **Project Name**: idris2-filepath
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: BSD-3-Clause
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-02-28
- **Last Updated**: 2026-02-28

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# idris2-filepath: Unix style file paths in Idris2

This library provides a convenient and safe API for working with
Unix style file paths. There are, however, some limitations:

* At the moment, paths starting with or ending on
  space characters are not supported.
  The following path will therefore not be parsed correctly:
  `"/oh_dear\ "`.

In the end, this should be comparable to `Libraries.Utils.Path`
from the Idris2 compiler API in terms of functionality (with the
big caveat that only Unix style paths are supported). However,
it performs *much* better.