Idris.CmdOptions

runArgParser

pureArgParser

parser

parseFlags

parseVersion

preProcOpts

parseCodegen

parseLogCats

parseConsoleWidth

integerReader