idris-0.9.14.3: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.System

Documentation

getDataFileName :: FilePath -> IO FilePath Source

getDataDir :: IO FilePath Source

getTargetDir :: IO String Source

getCC :: IO String Source

getLibFlags :: IO [Char] Source

getIdrisLibDir :: IO FilePath Source

getIncFlags :: IO [Char] Source

getMvn :: IO String Source

getExecutablePom :: IO FilePath Source

version :: Version Source