@@ -113,12 +113,14 @@ modeStr ReadAppend = "a+"
113||| Open a file
113||| Open a file
114||| @ f the filename
114||| @ f the filename
115||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
115||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
116openFile : (f : String) -> (m : Mode) -> IO (Either FileError File)
117openFile : (f : String) -> (m : Mode) -> IO (Either FileError File)
117openFile f m = fopen f (modeStr m)
118openFile f m = fopen f (modeStr m)
119||| Open a file using C11 extended modes.
120||| Open a file using C11 extended modes.
120||| @ f the filename
121||| @ f the filename
121||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
122||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
122openFileX : (f : String) -> (m : Mode) -> IO (Either FileError File)
124openFileX : (f : String) -> (m : Mode) -> IO (Either FileError File)
123openFileX f m = fopen f $ modeStr m ++ "x"
125openFileX f m = fopen f $ modeStr m ++ "x"