Idris.Info

Documentation

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

Get the platform-specific, user-specific Idris dir

getIdrisInitScript :: IO FilePath

Locate the platform-specific location for the init script

getIdrisHistoryFile :: IO FilePath

getIdrisInstalledPackages :: IO [String]

getIdrisLoggingCategories :: IO [String]

getIdrisDataFileByName :: String -> IO FilePath