Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
IRTS.System
Description
Documentation
getIdrisDataFileByName :: String -> IO FilePath #
getLibFlags :: IO [[Char]] #
getIdrisDataDir :: IO String #
getIncFlags :: IO [[Char]] #
getEnvFlags :: IO [String] #