Idris.CmdOptions
runArgParser
pureArgParser
parser
parseFlags
parseVersion
preProcOpts
parseCodegen
parseLogCats
parseConsoleWidth
integerReader
opt
getClient
getPkg
getPkgCheck
getPkgClean
getPkgMkDoc
getPkgREPL
getPkgTest
getPort
getIBCSubDir