@@ -113,12 +113,14 @@ modeStr ReadAppend = "a+"
113113||| Open a file
114114||| @ f the filename
115115||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
116+export
116117openFile : (f : String) -> (m : Mode) -> IO (Either FileError File)
117118openFile f m = fopen f (modeStr m)
118119
119120||| Open a file using C11 extended modes.
120121||| @ f the filename
121122||| @ m the mode; either Read, WriteTruncate, Append, ReadWrite, ReadWriteTruncate, or ReadAppend
123+export
122124openFileX : (f : String) -> (m : Mode) -> IO (Either FileError File)
123125openFileX f m = fopen f $ modeStr m ++ "x"
124126