@@ -40,7 +40,6 @@ getFileError = do MkRaw err <- foreign FFI_C "idris_mkFileError"
4040 return err
4141
4242instance Show FileError where
43− show Success = "Success"
4443 show FileNotFound = "File Not Found"
4544 show PermissionDenied = "Permission Denied"
4645 show (GenericFileError errno) = strError errno
@@ -184,4 +183,11 @@ readFile fn = do Right h <- openFile fn Read
184183 readFile' h (contents ++ l)
185184 else return (Right contents)
186185
187−
186+||| Write a string to a file
187+writeFile : (filepath : String) -> (contents : String) ->
188+ IO (Either FileError ())
189+writeFile fn contents = do
190+ Right h <- openFile fn Write | Left err => return (Left err)
191+ Right () <- fwrite h contents | Left err => return (Left err)
192+ closeFile h
193+ return (Right ())