Idris.Info

Description

Synopsis

• 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