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

version :: Version Source