idris
Util.System
tempfile :: IO (FilePath, Handle)Source
withTempdir :: String -> (FilePath -> IO a) -> IO aSource
getTargetDir :: IO StringSource
getCC :: IO StringSource
getLibFlags :: IO [Char]Source
getIdrisLibDir :: IO FilePathSource
getIncFlags :: IO [Char]Source
rmFile :: FilePath -> IO ()Source
getMvn :: IO StringSource
getExecutablePom :: IO FilePathSource
catchIO :: IO a -> (IOError -> IO a) -> IO aSource