idris-0.9.15: Functional Programming Language with Dependent Types
Util.System
tempfile :: IO (FilePath, Handle)Source
withTempdir :: String -> (FilePath -> IO a) -> IO aSource
rmFile :: FilePath -> IO ()Source
catchIO :: IO a -> (IOError -> IO a) -> IO aSource