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