idris-1.1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellSafe
LanguageHaskell2010

IRTS.System

Description

 

Documentation

getIdrisDataFileByName :: String -> IO FilePath Source #

getCC :: IO String Source #

getLibFlags :: IO [[Char]] Source #

getIdrisDataDir :: IO String Source #

getIdrisLibDir :: IO FilePath Source #

getIdrisDocDir :: IO FilePath Source #

getIdrisCRTSDir :: IO FilePath Source #

getIdrisJSRTSDir :: IO FilePath Source #

getIncFlags :: IO [[Char]] Source #

getEnvFlags :: IO [String] Source #

version :: Version Source #