Idris.CmdOptions

runArgParser

pureArgParser

parser

parseFlags

parseVersion

preProcOpts

parseCodegen

parseLogCats

parseConsoleWidth

integerReader

opt

getClient

getPkg

getPkgCheck

getPkgClean

getPkgMkDoc

getPkgREPL

getPkgTest

getPort

getIBCSubDir