idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | Safe-Inferred
Language | Haskell2010

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 #