listDir : Path -> Result FileError (List Path) with FileReadList the entries of a directory (names only, sorted), as paths joined under the directory. listDir (path "src") is Ok [path "src/A.oppi", …].
importPour l'utiliser :
import System.DirectorySystem.Directory — listing and managing directories
Synopsis
listDir : Path -> Result FileError (List Path) with FileReadcreateDir : Path -> Result FileError () with FileWritecreateDirAll : Path -> Result FileError () with FileWriteremoveFile : Path -> Result FileError () with FileWriteremoveDir : Path -> Result FileError () with FileWriteremoveDirAll : Path -> Result FileError () with FileWriterename : Path -> Path -> Result FileError () with FileWritecopyFile : Path -> Path -> Result FileError () with FS
createDir : Path -> Result FileError () with FileWriteCreate a directory. Fails if it already exists or its parent is missing.
createDirAll : Path -> Result FileError () with FileWriteCreate a directory and any missing parents (like mkdir -p).
removeFile : Path -> Result FileError () with FileWriteRemove a file.
removeDir : Path -> Result FileError () with FileWriteRemove an (empty) directory.
removeDirAll : Path -> Result FileError () with FileWriteRemove a directory and everything inside it, recursively (like rm -rf). Used by System.Temp.withTempDir for guaranteed cleanup.
rename : Path -> Path -> Result FileError () with FileWriteRename (move) a path from the first location to the second.
copyFile : Path -> Path -> Result FileError () with FSCopy a file from the first path to the second.