data Handle = MkHandle IntAn open file handle (opaque).
importPour l'utiliser :
import System.File.HandleSystem.File.Handle — streaming file access
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 | AppendHow to open a file.
openFile : Path -> Mode -> Result FileError Handle with FSOpen a file in the given mode.
hGetLine : Handle -> Result FileError String with FSRead the next line from a handle opened for reading (without the newline). Returns an error at end of file.
hPutStr : Handle -> String -> Result FileError () with FSWrite a string to a handle opened for writing/appending.
hClose : Handle -> () with FSClose a handle.
withFile : Path -> Mode -> (Handle -> a with FS) -> Result FileError a with FSOpen a file, run an action with the handle, and close it afterwards (whether or not the action succeeds in producing its value).