IRTS.System

Documentation

getIdrisDataFileByName :: String -> IO FilePath

getCC :: IO String

getLibFlags :: IO [[Char]]

getIdrisDataDir :: IO String

getIdrisLibDir :: IO FilePath

getIdrisDocDir :: IO FilePath

getIdrisCRTSDir :: IO FilePath

getIdrisJSRTSDir :: IO FilePath

getIncFlags :: IO [[Char]]

getEnvFlags :: IO [String]

version :: Version