| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.Info
Description
- getIdrisDataDir :: IO String
- getIdrisCRTSDir :: IO String
- getIdrisJSRTSDir :: IO String
- getIdrisLibDir :: IO String
- getIdrisDocDir :: 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]
- getIdrisDataFileByName :: String -> IO FilePath
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