| Copyright | 2016 The Idris Community |
|---|---|
| License | BSD3 |
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell98 |
Idris.Info
Description
- getIdrisLibDir :: IO String
- getIdrisFlagsLib :: IO [String]
- getIdrisFlagsInc :: IO [String]
- getIdrisFlagsEnv :: IO [String]
- getIdrisCC :: IO String
- getIdrisVersion :: [Char]
- getIdrisVersionNoGit :: Version
- getIdrisUserDataDir :: IO FilePath
- getIdrisInitScript :: IO FilePath
- getIdrisHistoryFile :: IO FilePath
- getIdrisInstalledPackages :: IO [String]
- getIdrisLoggingCategories :: IO [String]
Documentation
getIdrisFlagsLib :: IO [String] Source #
getIdrisFlagsInc :: IO [String] Source #
getIdrisFlagsEnv :: IO [String] Source #
getIdrisCC :: IO String Source #
getIdrisVersion :: [Char] Source #
getIdrisUserDataDir :: IO FilePath Source #
Get the platform-specific, user-specific Idris dir
getIdrisInitScript :: IO FilePath Source #
Locate the platform-specific location for the init script