idris-1.0: Functional Programming Language with Dependent Types

Copyright | License : BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell98

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 #