data Handle = MkHandle IntUn handle de fichier ouvert (opaque).
importPour l'utiliser :
import System.File.HandleSystem.File.Handle — accès aux fichiers en flux
Synopsis
data Handle = MkHandle Intdata Mode = Read | Write | AppendopenFile : Path -> Mode -> Result FileError Handle with FShGetLine : Handle -> Result FileError String with FShPutStr : Handle -> String -> Result FileError () with FShClose : Handle -> () with FSwithFile : Path -> Mode -> (Handle -> a with FS) -> Result FileError a with FS
data Mode = Read | Write | AppendComment ouvrir un fichier.
openFile : Path -> Mode -> Result FileError Handle with FSOuvre un fichier dans le mode donné.
hGetLine : Handle -> Result FileError String with FSLit la ligne suivante depuis un handle ouvert en lecture (sans le saut de ligne). Renvoie une erreur en fin de fichier.
hPutStr : Handle -> String -> Result FileError () with FSÉcrit une chaîne dans un handle ouvert en écriture/ajout.
hClose : Handle -> () with FSFerme un handle.
withFile : Path -> Mode -> (Handle -> a with FS) -> Result FileError a with FSOuvre un fichier, exécute une action avec le handle, et le ferme ensuite (que l'action réussisse ou non à produire sa valeur).