License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
IRTS.System
Description
Documentation
getIdrisDataFileByName :: String -> IO FilePath Source #
getLibFlags :: IO [[Char]] Source #
getIdrisDataDir :: IO String Source #
getIdrisLibDir :: IO FilePath Source #
getIdrisDocDir :: IO FilePath Source #
getIdrisCRTSDir :: IO FilePath Source #
getIdrisJSRTSDir :: IO FilePath Source #
getIncFlags :: IO [[Char]] Source #
getEnvFlags :: IO [String] Source #