Agda.Utils.FileName
splitFilePath
splitExt
setExtension
splitPath
unsplitPath
dropDirectory
nubFiles
nameChar
name
nonEmptyName
path
pathOfLength