mkTempFile : Result FileError Path with FileWriteCreate a fresh, empty temporary file and return its path. The caller is responsible for removing it — prefer withTempFile, which always cleans up.
importPour l'utiliser :
import System.TempSystem.Temp — temporary files and directories
Synopsis
mkTempDir : Result FileError Path with FileWriteCreate a fresh temporary directory and return its path. The caller removes it — prefer withTempDir.
withTempFile : (Path -> a with FileSystem) -> Result FileError a with FileSystemCreate a temp file, run use with its path, and ALWAYS remove it afterwards — bracket runs the cleanup on every exit. The callback may do any FileSystem work.
withTempDir : (Path -> a with FileSystem) -> Result FileError a with FileSystemCreate a temp directory, run use with its path, and ALWAYS remove it (and everything inside it) afterwards.