idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IRTS.System

Description

 

Documentation

getIdrisDataFileByName :: String -> IO FilePath #

getCC :: IO String #

getLibFlags :: IO [[Char]] #

getIdrisDataDir :: IO String #

getIdrisLibDir :: IO FilePath #

getIdrisDocDir :: IO FilePath #

getIdrisCRTSDir :: IO FilePath #

getIdrisJSRTSDir :: IO FilePath #

getIncFlags :: IO [[Char]] #

getEnvFlags :: IO [String] #

version :: Version #