Idris2Doc
: filepath
Index
Default
Alternative
Black & White
Package filepath - Namespaces
Data.FilePath
A small API for working with file and directory paths, with the ability to distinguish between relative and absolute paths at the type level.
Data.FilePath.Body
This provides a more or less reasonable representation for bodies in a file path.
Data.FilePath.File
Relative and absolute file paths, which are guaranteed to consist of a basename plus parent directory.