idris-0.12.2: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.System

Description

 

Documentation

getDataFileName :: FilePath -> IO FilePath Source #

getDataDir :: IO FilePath Source #

getTargetDir :: IO String Source #

getCC :: IO String Source #

getLibFlags :: IO [[Char]] Source #

getIdrisLibDir :: IO FilePath Source #

getIncFlags :: IO [[Char]] Source #

getEnvFlags :: IO [String] Source #

version :: Version Source #