Idris.CmdOptions

runArgParser

pureArgParser

parser

parseFlags

parseVersion

preProcOpts

parseCodegen