import System.Filedata FileErrorioError : String -> FileErrorclassify : Path -> String -> FileErrorreadFile : Path -> Result FileError String with FileReadwriteFile : Path -> String -> Result FileError () with FileWriteappendFile : Path -> String -> Result FileError () with FileWriteexists : Path -> Bool with FileReadisFile : Path -> Bool with FileReadisDir : Path -> Bool with FileReadfileSize : Path -> Result FileError Nat with FileReadreadLines : Path -> Result FileError (List String) with FileReadwriteLines : Path -> List String -> Result FileError () with FileWritereadFileOr : String -> Path -> String with FileReaddata FileError
= NotFound Path
| PermissionDenied Path
| AlreadyExists Path
| NotAFile Path
| IOError Stringfichier attendu, autre chose trouvé
NotFoundfichier attendu, autre chose trouvé
PermissionDeniedfichier attendu, autre chose trouvé
AlreadyExistsfichier attendu, autre chose trouvé
NotAFilefichier attendu, autre chose trouvé
IOErrortoute autre erreur, avec un message
ioError : String -> FileErrorUne simple erreur IO issue d'un message (sans chemin), pour les opérations fondées sur un handle.
classify : Path -> String -> FileErrorreadFile : Path -> Result FileError String with FileReadLit un fichier entier sous forme de chaîne. readFile (path "notes.txt") vaut Ok "<contents>", ou Error (NotFound …).
writeFile : Path -> String -> Result FileError () with FileWriteÉcrit une chaîne dans un fichier, en remplaçant tout contenu existant.
appendFile : Path -> String -> Result FileError () with FileWriteAjoute une chaîne à la fin d'un fichier (en le créant si nécessaire).
exists : Path -> Bool with FileReadCe chemin existe-t-il ?
isFile : Path -> Bool with FileReadCe chemin existe-t-il et est-ce un fichier ordinaire ?
isDir : Path -> Bool with FileReadCe chemin existe-t-il et est-ce un répertoire ?
fileSize : Path -> Result FileError Nat with FileReadLa taille d'un fichier en octets.
readLines : Path -> Result FileError (List String) with FileReadLit un fichier et le découpe en lignes.
writeLines : Path -> List String -> Result FileError () with FileWriteÉcrit une liste de lignes dans un fichier, une par ligne (chacune suivie d'un saut de ligne).
readFileOr : String -> Path -> String with FileReadLit un fichier, avec repli sur une chaîne par défaut s'il ne peut pas être lu. Une commodité pour quand on ne veut pas gérer l'erreur explicitement.