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

getEnvFlags :: IO [String] Source

getMvn :: IO String Source

getExecutablePom :: IO FilePath Source

version :: Version Source