idris-0.9.15.1: 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