| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Util.System
Description
- tempfile :: String -> IO (FilePath, Handle)
- withTempdir :: String -> (FilePath -> IO a) -> IO a
- rmFile :: FilePath -> IO ()
- catchIO :: IO a -> (IOError -> IO a) -> IO a
- isWindows :: Bool
- writeSource :: FilePath -> String -> IO ()
- writeSourceText :: FilePath -> Text -> IO ()
- readSource :: FilePath -> IO String
- readSourceStrict :: FilePath -> IO String
- setupBundledCC :: IO ()
- isATTY :: IO Bool
Documentation
tempfile :: String -> IO (FilePath, Handle) Source #
Create a temp file with the extensiom ext (in the format ".xxx")
writeSource :: FilePath -> String -> IO () Source #
Write a source file, same as writeFile except the encoding is set to utf-8
readSource :: FilePath -> IO String Source #
Read a source file, same as readFile but make sure the encoding is utf-8.
readSourceStrict :: FilePath -> IO String Source #
Read a source file, make sure that the it all has been read before exiting the function. | This is useful when we want to write the file again and need it to be closed.
setupBundledCC :: IO () Source #