listDir : Path -> Result FileError (List Path) with FileReadListe les entrées d'un répertoire (noms seuls, triés), sous forme de chemins joints sous le répertoire. listDir (path "src") vaut Ok [path "src/A.oppi", …].
importPour l'utiliser :
import System.DirectorySystem.Directory — lister et gérer les répertoires
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 FileWriteCrée un répertoire. Échoue s'il existe déjà ou si son parent est absent.
createDirAll : Path -> Result FileError () with FileWriteCrée un répertoire et tous les parents manquants (comme mkdir -p).
removeFile : Path -> Result FileError () with FileWriteSupprime un fichier.
removeDir : Path -> Result FileError () with FileWriteSupprime un répertoire (vide).
removeDirAll : Path -> Result FileError () with FileWriteSupprime un répertoire et tout son contenu, récursivement (comme rm -rf). Utilisé par System.Temp.withTempDir pour un nettoyage garanti.
rename : Path -> Path -> Result FileError () with FileWriteRenomme (déplace) un chemin du premier emplacement vers le second.
copyFile : Path -> Path -> Result FileError () with FSCopie un fichier du premier chemin vers le second.