mkTempFile : Result FileError Path with FileWriteCrée un fichier temporaire neuf et vide et renvoie son chemin. L'appelant est responsable de sa suppression — préférez withTempFile, qui nettoie toujours.
importPour l'utiliser :
import System.TempSystem.Temp — fichiers et répertoires temporaires
Synopsis
mkTempDir : Result FileError Path with FileWriteCrée un répertoire temporaire neuf et renvoie son chemin. L'appelant le supprime — préférez withTempDir.
withTempFile : (Path -> a with FileSystem) -> Result FileError a with FileSystemCrée un fichier temporaire, exécute use avec son chemin, et le supprime TOUJOURS ensuite — bracket exécute le nettoyage à chaque sortie. Le callback peut effectuer n'importe quel travail FileSystem.
withTempDir : (Path -> a with FileSystem) -> Result FileError a with FileSystemCrée un répertoire temporaire, exécute use avec son chemin, et le supprime TOUJOURS (avec tout ce qu'il contient) ensuite.