Path
basename : String -> StringExtract the basename from a filename.
delimiter : StringThe platform-specific path delimiter.
dirname : String -> StringExtract the directory name from a filename.
extname : String -> StringExtract the extension name from a filename.
join : List String -> StringBuild a path from the list of supplied strings
separator : StringThe platform-specific path segment separator.