Idris.CmdOptions

Documentation

runArgParser :: IO [Opt]

pureArgParser :: [String] -> [Opt]

parser :: Parser [Opt]

parseFlags :: Parser [Opt]

parseVersion :: Parser (a -> a)

preProcOpts :: [Opt] -> [Opt] -> [Opt]

parseCodegen :: String -> Codegen

parseLogCats :: Monad m => String -> m [LogCat]

parseConsoleWidth :: Monad m => String -> m ConsoleWidth

integerReader :: ReadP Int