@@ -88,16 +88,31 @@ validFile (FHandle h) = do x <- nullPtr h
8888 return (not x)
8989
9090||| Modes for opening files
91−data Mode = Read | Write | ReadWrite
91+data Mode = Read | WriteTruncate | Append | ReadWrite | ReadWriteTruncate | ReadAppend
92+
93+Write : Mode
94+Write = WriteTruncate
95+%deprecate Write "Please use WriteTruncate instead."
96+
97+modeStr : Mode -> String
98+modeStr Read = "r"
99+modeStr WriteTruncate = "w"
100+modeStr Append = "a"
101+modeStr ReadWrite = "r+"
102+modeStr ReadWriteTruncate = "w+"
103+modeStr ReadAppend = "a+"
92104
93105||| Open a file
94106||| @ f the filename
95−||| @ m the mode; either Read, Write, or ReadWrite
107+||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
96108openFile : (f : String) -> (m : Mode) -> IO (Either FileError File)
97−openFile f m = fopen f (modeStr m) where
98− modeStr Read = "r"
99− modeStr Write = "w"
100− modeStr ReadWrite = "r+"
109+openFile f m = fopen f (modeStr m)
110+
111+||| Open a file using C11 extended modes.
112+||| @ f the filename
113+||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
114+openFileX : (f : String) -> (m : Mode) -> IO (Either FileError File)
115+openFileX f m = fopen f $ modeStr m ++ "x"
101116
102117do_fclose : Ptr -> IO ()
103118do_fclose h = foreign FFI_C "fileClose" (Ptr -> IO ()) h
@@ -126,10 +141,6 @@ popen f m = do ptr <- do_popen f (modeStr m)
126141 then do err <- getFileError
127142 return (Left err)
128143 else return (Right (FHandle ptr))
129− where
130− modeStr Read = "r"
131− modeStr Write = "w"
132− modeStr ReadWrite = "r+"
133144
134145pclose : File -> IO ()
135146pclose (FHandle h) = foreign FFI_C "pclose" (Ptr -> IO ()) h